Abstract is missing.
- Formal Development of Concurrent Systems using Algebraic High-Level Nets and TransformationsLeila Ribeiro 0001, Hartmut Ehrig, Julia Padberg. 1-16 [doi]
- Sobre o Teorema da Modularização: Importância e uma Prova por QuocienteHaydée Werneck Poubel, Paulo Augusto Silva Veloso. 17-29 [doi]
- Semântica Denotacional LegívelJosé Leite da Silva Júnior, Roberto da Silva Bigonha. 30-45 [doi]
- Uma Experiência na Implementação de um Sistema de Tipos Fortes e PolimórficosWalace de Almeida Rodrigues, Roberto da Silva Bigonha. 46-61 [doi]
- Finite Sets: A Case Study on Formal Program Development in the Extended ML FrameworkCláudia J. A. da Silva, Fabio Q. B. da Silva. 62-76 [doi]
- Um Processo de Re-engenharia Econômico e EficazLuiz Carlos Castro Guedes, Arndt von Staa. 77-91 [doi]
- Análise da Adoção de Novas Tecnologias no Processo de Desenvolvimento de Software da PetrobrásPaulo Eustáquio Duarte Pinto, Fátima Janine Gaio. 92-106 [doi]
- Sistema de Controle de Alteração e ConfiguraçãoAndré Villas-Boas, Edésio Costa e Silva, Júlio Cardoso Pereira. 107-120 [doi]
- The Astra User Interface LibraryCarlos A. Furuti. 121-133 [doi]
- Gerência de Projeto Baseado em Design Orientado a Encapsulamento de Dados e a Troca de Mensagens entre Subsistemas AutônomosMaria Luiza d'Almeida Sanchez, Bruno Maffeo. 135-150 [doi]
- Execução Programada de StatechartsJoão W. L. Cangussu, Paulo César Masiero, José Carlos Maldonado. 151-165 [doi]
- Uma Abordagem Para Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas DistribuídasPaulo Roberto Pierri Tepedino, Tereza Gonçalves Kirner. 166-180 [doi]
- Sobre o Comportamento de ObjetosSergio Eduardo Rodrigues de Carvalho. 181-195 [doi]
- Os processos de compilação e execução em AURORALuiz Carlos Zancanella, Philippe O. A. Navaux. 196-207 [doi]
- Programação Centrada em Instâncias em SMALLTALKPaulo H. C. Lisboa, José Fernando Tepedino, Silvio Romero de Lemos Meira. 208-222 [doi]
- A Rationale for Both Nesting and Inheritance in Object-Oriented DesignLuiza Maria F. Carneiro, Donald D. Cowan, Carlos J. P. Lucena. 223-237 [doi]
- Os Métodos Formais na Análise de Orientação por ObjectosAna M. D. Moreira, Robert G. Clark. 238-252 [doi]
- Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de EsforçoGustavo H. M. B. Motta, Silvio R. L. Meira, Luis C. Carvalho. 253-267 [doi]
- Utilização da Metodologia OMT na Construção de Ferramentas CASERenato Silva Cabral, Sandra de Albuquerque Jansen, Patrícia Porto Carreiro, Jaelson Brelaz de Castro. 268-281 [doi]
- Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a ObjetosNoemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel. 282-294 [doi]
- A Process Model for Quality guided Programming: An Approach to Making Quantitative Evaluation of Software Systems Useful for PractitionersStefan Biffl, Thomas Grechenig. 295-305 [doi]
- Uma Estratégia para Geração de Dados de TesteSilvia Regina Vergilio, José Carlos Maldonado, Mário Jino. 306-319 [doi]
- Evaluation of The Cost of Alternate Mutation StrategiesAditya P. Mathur, Weichen E. Wong. 320-334 [doi]
- HyFor - Uma ferramenta de apoio a manutenção de software científicoCarla Gama Alves, Marcos R. S. Borges. 336-350 [doi]
- Uma Metodologia para Projeto de Sistemas de Informações GeográficasFatima Pires, Claudia Bauzer Medeiros. 351-364 [doi]