Abstract is missing.
- FRAME_BD - Uma Infra-estrutura para Construção de Ambientes lntegrados para Projeto de SoftwareJoão Gualberto Rizzo Araujo, Décio Fonseca. 43-58 [doi]
- Gramáticas de Grafos e Objetos para Suporte a Notações Diagramáticas em Ambientes de Desenvolvimento de SoftwareElisiane Andreatta Ferreira De Macedo, Ana Maria de Alencar Price. 59-74 [doi]
- Visando o Reuso Formalmente Justificado de EspecificaçõesJoão J. C. Gondim. 77-90 [doi]
- Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança CríticaSimone C. dos Santos, Fabio Q. B. da Silva. 91-106 [doi]
- Uma abordagem para especificação e verificação de sistemas dependentes do tempoMurilo S. de Camargo, Jean-Marie Farines. 107-122 [doi]
- Uma Arquitetura para Interfaces Inteligentes e AmigáveisOtaviano C. Wanderley Neto, Décio Fonseca. 125-141 [doi]
- Modelo de Objetos para Construção de Interfaces Visuais DinâmicasJuliano Lopes de Oliveira, Cleida Queiroz Cunha, Geovane Cayres Magalhães. 143-158 [doi]
- Exception Handling in a Strongly Typed Object Oriented LanguageNoemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel. 161-174 [doi]
- O Uso de Técnicas Visuais e Navegacionais para a Compreensão de Frameworks Orientados a ObjetosMarcelo Campo, R. Tom Price. 175-190 [doi]
- Modelagem Dinâmica OO: Uma Análise Comparativa de TécnicasGuillermo Bustos Reinoso, Carlos A. Heuser. 191-207 [doi]
- Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de CritériosSilvia Regina Vergilio, José Carlos Maldonado, Mário Jino. 211-222 [doi]
- Integrando injeção de falhas e testes formais na validação da tolerância a falhasEliane Martins. 223-239 [doi]
- A G-Net Based Environment for Logical and Timing Analysis of Software SystemsAngelo Perkusich, Jorge C. A. de Figueiredo. 241-256 [doi]
- Concurrency and Synchronisation in ActelZair Abdelouahab, Peter M. Dew. 259-273 [doi]
- O Método KADS-estendidoVera Maria Benjamim Werneck, Ana Regina Cavalcanti da Rocha, Álvaro Rabelo Jr.. 277-292 [doi]
- R-Cycle: Um Molde para o Processo de Produção, Disponibillzação e Evolução de SoftwareLuiz Mauricio Martins, J. Antão B. Moura, Álvaro F. C. Medeiros. 295-309 [doi]
- Aspectos não Tecnológicos Envolvidos no Desenvolvimento de Software: Um Estudo de CasosArnaldo Dias Belchior, Fátima Janine Gaio. 311-326 [doi]
- Estudo das Interações Humanas no Processo de Desenvolvimento de SoftwareCirano Iochpe, Elza Marisa Paiva de Figueiredo. 327-341 [doi]
- Engenharia Reversa Orientada a Objetos do Ambiente StatSim: método utilizado e resultados obtidosRosângela A. D. Penteado, Fernão Stella R. Germano, Paulo César Masiero. 345-360 [doi]
- The Development of Multimedia Hypermedia Applications as Evolutionary, Prototyping-Based Requirements EngineeringKarin Sequerra-Breitman, Daniel M. Berry. 363-378 [doi]
- Integrando Processos de Negócio à Elicitação de RequisitosSoeli T. Fiorini, Julio César Sampaio do Prado Leite, T. Diana L. v. A. de Macedo-Soares. 379-394 [doi]
- O Uso do Paradigma Transformacional no Porte de Programas CobolJulio César Sampaio do Prado Leite, Marcelo Sant'Anna, Felipe Gouveia de Freitas, Antônio Francisco do Prado. 397-413 [doi]
- Reutilização de Modelos de Requisitos por Analogia: Experimentação e ConclusõesSérgio Felipe Zirbes. 415-430 [doi]