Abstract is missing.
- Apoio Automatizado à Elicitação de Requisitos: Proposta e Protótipo de FerramentaStanley Loh, Cesar Roberto Poeta, José M. V. de Castilho. 35-49 [doi]
- The Role of Opportunistic Behaviour in Specification ComprehensionFrancisco Simplicio Filho. 51-61 [doi]
- Programação Super-Estruturada e o Gerador de Programas I-M-EV. W. Setzer. 65-80 [doi]
- Estratégia Data-Driven no Desenvolvimento de SoftwareDaltro José Nunes. 81-95 [doi]
- Software Design Cooperativo: Um Estudo de CasoRenato C. Duarte, Hugo Fuks, Carlos J. P. Lucena. 97-113 [doi]
- Draco-PUC, Experiências e Resultados de Re-Engenharia de SoftwareJulio César Sampaio do Prado Leite, Antônio Francisco do Prado, Marcelo Sant'Anna. 115-128 [doi]
- A Classification of Object-Oriented Development MethodologiesLuiz Fernando Capretz, Peter A. Lee. 129-141 [doi]
- Execução Exaustiva de StatechartsInês A. G. Boaventura, Paulo César Masiero. 143-150 [doi]
- Árvore de Alcançabilidade para Redes Predicado\Transição: um método de redução que preserva as propriedades de análiseMarcos Moecke, Jean-Marie Farines. 157-170 [doi]
- A Semântica de Ações de Vírus de ComputadorLin Tse Min, Silvio Romero de Lemos Meira. 171-186 [doi]
- Geração Automática de Especificações de Implementação a partir de Especificações AbstratasEílson Barbosa Medeiros, Maurício Ferreira Magalhães, Wanderley Lopes de Souza. 187-201 [doi]
- Smalltracer: Um verificador de tipos e condições para SmalltalkSilvio R. L. Meira, Paulo H. C. Lisboa. 203-211 [doi]
- Especificação de Requisitos: Utilizando um Modelo Temporal Orientado a ObjetosNina Edelweiss, José Palazzo M. de Oliveira, José Mauro Volkmer de Castilho, Barbara Pernici. 213-228 [doi]
- SIMILE - Um Sistema Orientado a Objetos para Simulações de Redes Locais: Projeto, Implementação e Comparações com Simuladores TradicionaisMaria Madalena Dias, José Antão Beltrão Moura, Maria Izabel Cavalcanti Cabral, Marcos Antonio Gonçalves Brasileiro. 229-242 [doi]
- Um Ambiente para o Desenvolvimento baseado na Composição de AplicaçõesCláudia M. L. Werner, Flavio Araujo de Mattos. 243-257 [doi]
- Construção de Ferramentas de Apoio a Projetos Utilizando um Gerenciador de Bases de Dados com Suporte de Esquemas SuplementaresLuiz Camolesi Júnior, Caetano Traina Júnior. 259-272 [doi]
- GOD - Um Gerenciador de Objetos Distribuídos para Ambientes de Desenvolvimento de SoftwareSilvio R. L. Meira, Jorge H. C. Fernandes. 273-291 [doi]
- A Base DELTA e as outras Bases de Software de um Ambiente de Desenvolvimento de Software Cooperativo, Distribuído e RealCarlos A. M. Pietrobon, Arndt von Staa. 293-307 [doi]
- OMNI: Sistema de Suporte a Aplicações DistribuídasRogério Drummond, Cassius Di Cianni. 309-324 [doi]
- Um Ambiente Distribuído para Suporte à Configuração DinâmicaJorge de Araújo Lima Filho, Paulo Roberto Freire Cunha. 325-342 [doi]
- Caminhos Não Executáveis na Automação das Atividades de TesteSilvia R. Vergilio, José Carlos Maldonado, Mário Jino. 343-356 [doi]
- Critérios Potenciais Usos: Análise da Aplicação de um BenchmarkJosé Carlos Maldonado, Silvia Regina Vergilio, Marcos Lordello Chaim, Mário Jino. 357-371 [doi]