Navegação Computação por Autor "Nunes, Daltro Jose"
Resultados 1-20 de 28
-
Uma abordagem flexível para execução de processos de software evolutivos
Reis, Carla Alessandra Lima (2003) [Tese]Buscando aumentar a qualidade de software, a área de Engenharia de Software tem produzido ferramentas para auxílio ao desenvolvimento de software assim como tem estudado e produzido formas de controlar o processo de ... -
APSEE-Global : um modelo de gerência de processos distribuídos de software
Freitas, Ana Vitoria Piaggio de (2005) [Dissertação]Desde o início dos anos 90, uma tendência no desenvolvimento de software tem despertado a atenção dos pesquisadores: a distribuição do desenvolvimento. Esse fenômeno é um reflexo de mudanças sociais e econômicas, que têm ... -
APSEE-Metrics : um modelo para mensuração em processos de software
Garcia Júnior, Paulo Roberto (2006) [Dissertação]A avaliação e melhoria de um processo de software requer um grande esforço por parte de gerentes e desenvolvedores, uma vez que a obtenção de dados para tomada de decisão, acerca da evolução do processo nem sempre é trivial. ... -
APSEE-Monitor: um mecanismo de apoio a visualização de modelos de processos de software
Sousa, Abraham Lincoln Rabelo de (2004) [Dissertação]A tecnologia de processos de desenvolvimento de software ´e uma importante área de estudo e pesquisas na Engenharia de Software que envolve a construção de ferramentas e ambientes para modelagem, execução, simulação e ... -
APSEE-Reuse : um meta-modelo para apoiar a reutilização de processos de software
Reis, Rodrigo Quites (2002) [Tese]Dentre as principais áreas que constituem a Ciência da Computação, uma das que mais influenciam o mundo atual é a Engenharia de Software, envolvida nos aspectos tecnológicos e gerenciais do processo de desenvolvimento de ... -
APSEE-Tail : um modelo de apoio à adaptação de processos de software
Maia, Anderson Baia (2005) [Dissertação]O crescimento experimentado pela indústria do software nas últimas décadas, trouxe consigo o aumento das exigências do mercado. É exigido das organizações de software, que os sistemas sejam construídos de acordo com prazo ... -
Avaliação quantitativa de refatorações orientadas a aspectos
Pagliari, Luiza Figueiredo (2007) [Dissertação]Diversas refatorações têm sido propostas nos últimos anos para os mais variados paradigmas de programação, dentre eles o orientado a objetos e o orientado a aspecto. Seus impactos em atributos de qualidade são diversos, ... -
Calculus semantic with values passing in the denotational approach
Galli, Jaqueline Klein (2020) [Dissertação]In the last recent years, there was a noticeable increase in the use of formal verification by the industry, and the reason for that is because the formal languages are each time more enhanced, and the tools that support ... -
Componentes de percepção para o ambiente PROSOFT cooperativo
Nunes, Isabel Dillmann (2001) [Dissertação]A Engenharia de Software tornou-se uma das principais áreas de concentração do mundo da Ciência da Computação, pois ela abrange métodos para construir sistemas, ferramentas que fornecem apoio a construção e os procedimentos ... -
Especificação formal de uma ferramenta de reutilização de especificações de requisitos
Pimenta, Alexandre (1998) [Dissertação]A Engenharia de Software vem, ao longo das últimas décadas, merecendo cada vez mais atenção da comunidade cientifica. A capacidade de construir software com qualidade, dentro dos prazos e orçamentos, atendendo a demanda ... -
Um estudo sobre redes de comunicacao de dados
Tarouco, Liane Margarida Rockenbach (1976) [Dissertação]A implantação de grandes redes de comunicação de dados, como instrumento de disseminação da utilização da computação, e o surgimento, no Brasil, das primeiras ideias e experiências com redes de comunicação de dados, ... -
Evaluation of code-based information to architectural module identification
Zapalowski, Vanius (2014) [Dissertação]Software architecture plays an important role in the software development, and when explicitly documented, it allows understanding an implemented system and reasoning about how non-functional requirements are addressed. ... -
Inference rules for generic code migration of aspect-oriented programs
Rubbo, Fernando Barden (2009) [Dissertação]The latest versions of AspectJ { the most popular aspect oriented extension for Java { must cope with complex changes that occurred in the Java type system, specially with the parametric polymorphism which aims to improve ... -
Larch : uma alternativa para especificação formal
Castro Vera, Ausberto Silverio (1990) [Dissertação]Pesquisas recentes na área de especificação são enfáticas no use pratico de especificações formais no projeto de programas. Uma maneira de satisfazer isto, e providenciando linguagens de especificação que sejam acessíveis ... -
Lop : uma abordagem unificada de especificação algébrica, orientação a objetos e processos
Castro Vera, Ausberto Silverio (1995) [Tese]A especificação abstrata de tipos de dados, a hoje um dos conceitos mais importantes, aceitos e compreendidos da Ciência da Computação, que permite descrever as principais entidades de um sistema baseado em computador ... -
Um método de refatoração para modularização de interesses transversais
Silva, Bruno Carreiro da (2009) [Dissertação]Sistemas de software bem modularizados podem trazer diversos benefícios como reu- sabilidade, compreensão, adaptabilidade, manutenibilidade, entre outros. O conceito de separação de interesses está diretamente ligado à ... -
Um Modelo de simulação de processos de software baseado em conhecimento para o ambiente PROSOFT
Silva, Fabio Augusto das Dores (2001) [Dissertação]Construção de software com qualidade tem motivado diversas pesquisas na área de Engenharia de Software. Problemas como a grande complexidade requerida pelas aplicações atuais e a necessidade de gerenciamento de um número ... -
Um modelo de simulador para ambientes de desenvolvimento de processos de software utilizando a análise da sensibilidade
Dertzbacher, Juliano (2011) [Dissertação]A construção de um software envolve alto grau de risco e exige do gerente muito planejamento para atender as estimativas orçamentárias e cumprir os prazos estipulados. No contexto dos processos de software, são escassos ... -
Um modelo para processo de curso
Dahmer, Alessandra (2006) [Tese]A Educação a Distância (EAD) vem recebendo atenção dos pesquisadores de várias áreas, na busca de modelos e ferramentas que possam aumentar a eficiência desta modalidade de educação. Mas, ferramentas tecnologicamente ... -
Modern code review : from foundational studies to proposed approaches and their evaluation
Davila, Nicole da Costa (2020) [Dissertação]Modern Code Review (MCR) has gained increasing popularity both in academia and industry as a static verification technique that can promote improved product and code quality as well as knowledge sharing and learning. This ...