14 registros retornados

• Thiago H. Braga,  Marcelo de A. Maia,  Roberto da S. Bigonha.  Recovering and checking software architectural properties based on execution tree analysis.  10 - 23

• Ricardo Terra,  Marco Tulio Valente.  Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência.  24 - 37

• Éberton S. Marinho,  Thaís Batista,  Flávia C. Delicato,  Paulo F. Pires.  Uma Estratégia para Integração de Restrições Arquiteturais em Design Rules.  38 - 41

• Flavio Oquendo.  ?-ADL for WS-Composition: A Service-Oriented Architecture Description Language for the Formal Development of Dynamic Web Service Compositions.  52 - 66

• Fernando Raposo da Camara Silva,  Eduardo Santana de Almeida,  Silvio Romero de Lemos Meira.  Towards an Effective Component Testing Approach Supported by a CASE Tool.  68 - 81

• Ricardo Perrone,  Raimundo Macedo,  George Lima,  Veronica Lima.  Uma Abordagem para Estimar Tempos de Execu¸c~ao em Sistemas de Tempo Real baseados em Componentes.  82 - 95

• Eduardo Fonseca,  Sand Correa,  Renato Cerqueira.  Experimenting Middleware-Level Monitoring Facilities to Observe Component-based Applications.  96 - 106

• Ely Edison Matos,  Fernanda Campos,  Regina Braga.  CelOWS: uma arquitetura orientada a serviços para definição, pesquisa e reuso de modelos biológicos.  107 - 120

• Camila Nunes,  Uirá Kulesza,  Cláudio Sant'Anna,  Ingrid Nunes,  Carlos Lucena.  On the Modularity Assessment of Aspect-Oriented Multi-Agent Systems Product Lines: a Quantitative Study.  122 - 135

• Jaguaraci Batista Silva,  Luciano Porto Barreto.  Separação e Validação de Regras de Negócio MDA através de Ontologias e Orientação à Aspectos.  136 - 149

• Kleinner Oliveira,  Marcos Silva,  Toacy Oliveira,  Paulo Alencar.  Uma Abordagem Flexí?vel para Comparação de Modelos UML.  150 - 163

• Alexandre C. Martins,  Vinicius C. Garcia,  Eduardo S. Almeida,  Silvio R. L. Meira.  Enhancing Components Search in a Reuse Environment Using Discovered Knowledge Techniques.  165 - 178

• Gustavo Fortes Tondello,  Frank Siqueira.  Um Mecanismo Semântico de Busca de Componentes de Software Baseado em Qualidade de Serviço.  179 - 192

• Vinicius Cardoso Garcia,  Liana Barachisio Lisboa,  Frederico Araujo Durao,  Eduardo Santana de Almeida,  Silvio Romero de Lemos Meira.  A Lightweight Technology Change Management Approach to Facilitating Reuse Adoption.  193 - 206