Abstract is missing.
- A Refinement Theory for Concurrent Object Oriented LanguagesPaulo Borba. 39-55 [doi]
- Real Time Formal Specification using VDM++Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk. 57-72 [doi]
- On Deriving Statecharts Supervision Models from SDL Specifications Using SSMAntonio Mendes da Silva Filho. 73-83 [doi]
- Recuperação de Componentes em Bibliotecas de Software: Uma Abordagem ConexionistaMárcio de Oliveira Barros, Cláudia Maria Lima Werner, Luiz Pereira Calôba. 87-102 [doi]
- De occam para o transputer: compilação via reescrita de termosRenata Spencer, Augusto Sampaio. 103-118 [doi]
- A Construção de um Gerador de Programas Aplicativos segundo Conceitos de Análise de DomíniosRenato Fileto, Carlos Alberto Alves Meira, Clevan Ricardo Costa, Silvia Maria Fonseca Silveira Masshurá. 119-135 [doi]
- Editores Gráficos para Estruturas com ComposiçõesDébora C. Muchaluat, Luiz Fernando Gomes Soares, Marco Antonio Casanova. 139-151 [doi]
- Um Framework Reflexivo para Ferramentas de Visualização de SoftwareMarcelo R. Campo, Roberto Tom Price. 153-169 [doi]
- Desenvolvimento de Sistemas Orientados a Objetos Utilizando o Sistema Transformacional Draco-PucUlf Bergmann, Antônio Francisco do Prado, Julio César Sampaio do Prado Leite. 173-188 [doi]
- Towards an Environment to Support Requirements FormalisationJaelson Freire Brelaz De Castro, Christian J. Gautreau, Marco Antonio Toranzo Céspedes. 189-205 [doi]
- Ambiente para Representação de Múltiplas Visões de Requisitos: O Metamodelo e Uma Linguagem de TransformaçãoTereza Gonçalves Kirner, Antônio Francisco do Prado, Maria Adriana Vidigal de Lima, Rogéria Cristiane Gratão. 207-222 [doi]
- Evaluating User Disorientation: A Comparison of Hypertext and Continuous Zooming InterfacesJosé Bezerra da Silva Filho, Linda B. Páez, Gary Marchionini. 225-240 [doi]
- Extensões ao HMBS para Especificação de Apresentações HipermídiaFabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira. 241-256 [doi]
- Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOSRicardo Ferreira Martins, Murilo Silva de Camargo, Jean-Marie Farines. 259-274 [doi]
- Proposta de uma Ferramenta para Elaboração e Monitoração de Aplicações DistribuídasRonaldo Augusto de Lara Gonçalves, Durval Makoto Akamatu, Itana Maria de Souza Gimenes. 275-290 [doi]
- Software Design Baseado em Subsistemas Autônomos - Focalizando o ReusoMaria Luiza d'Almeida Sanchez, Bruno Maffeo. 291-306 [doi]
- Task Allocation Strategies: A Study with a Multi-Agents System in Fully Distributed Information SystemsFélix F. Ramos Corchado, Liming Chen 0002, Marc Bui, Didier Donsez, Pascal Faudemay. 307-321 [doi]
- Em direção a uma metodologia para o desenvolvimento de frameworks de aplicação orientados a objetosRicardo Pereira e Silva, Roberto Tom Price. 325-340 [doi]
- Contextual Coordination between ObjectsMathieu Buffo, Didier Buchs. 341-356 [doi]
- Um Ambiente para Sonorização Não Intrusiva de Aplicações Orientadas a ObjetosAndré Luiz Costa Ballista, Roberto Tom Price. 357-370 [doi]
- Uma Avaliação das Arquiteturas para Interoperabilidade entre ObjetosRenato Cerqueira, Roberto Ierusalimschy. 371-386 [doi]