Abstract is missing.
- Apresentação e OrganizaçãoSilvio Meira 0001. [doi]
- LegoShell: Linguagem de ComputaçõesRogério Drummond. 2-16 [doi]
- Simulação de Especificações LOTOS Usando Linguagens FuncionaisCarlos A. G. Ferraz, Paulo R. F. Cunha, Silvio R. L. Meira. 17-30 [doi]
- Experience in Parallelizing Large Application ProgramsMario Juaçaba Teixeira. 31-41 [doi]
- A Linguagem de Programação CHILLMárcio Machado Pereira. 42-70 [doi]
- O Uso de Pontos de Vista na Elicitação de RequisitosJulio César Sampaio do Prado Leite. 71-85 [doi]
- Especificação de Sistemas de Informação de Escritórios: a metodologia T.A.& AJosé Palazzo Moreira de Oliveira, Duncan Dubugras A. Ruiz, Norberto Hoppen. 86-97 [doi]
- Representação Gráfica para LOTOSMaria Teresa Silva de Moura, Paulo Roberto Freire Cunha. 98-112 [doi]
- Meta-modelos para Ferramentas Genéricas Integráveis ao Ambiente SIPSFábio Nauras Akhras, Márcia Cristina de Carvalho Costa. 113-122 [doi]
- LindA: Uma Linguagem de Autoria Automática para HipertextoJudith Kelner, Ana Lúcia Cavalcante, Alberto Pardo. 124-136 [doi]
- Um Editor Hibrido (Texto e Diagramas) Orientado por Estruturas (do Tipo Grafo e Arvore)Roberto Tom Price, Eloi Luiz Favero. 137-151 [doi]
- Hipertexto: O Projeto do Sistema HSilvio Meira 0001, Judith Kelner, Carlos Eduardo Albuquerque da Cunha, José Martins, Ana C. V. de Melo, Alexandre M. L. de Vasconcelos. 152-170 [doi]
- Protótipos Funcionais a partir de Especificações Formais em VDMPaulo Henrique Monteiro Borba, Silvio Romero de Lemos Meira. 171-184 [doi]
- Especificação de um Programa de Matrículas Utilizando VDMLeila Ribeiro 0001, Daltro José Nunes. 185-200 [doi]
- Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDENRaul César B. Martins, Gustavo de O. Annarumma, Luiza Maria F. Carneiro, Arnaldo Hilário Viegas de Lima, Paschoal Molinari No., Elisabete M. B. de la Quintana, Ronaldo Stern. 201-213 [doi]
- SAES - Sistema de Apoio à Especificação de SistemasCarlos Miguel Tobar Toledo, Claudia Bauzer Medeiros. 214-227 [doi]
- Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação FormalLaira Vieira Toscani, Paulo A. S. Veloso. 228-238 [doi]
- Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de DadosMarcos Lordello Chaim, José Carlos Maldonado, Mário Jino. 239-251 [doi]
- Uma Ferramenta para Auxílio na Reutilização de SoftwareMário Márcio Ramos Teixeira, Flávio Roberto Dias Velasco. 253-268 [doi]
- Mecanismo de gerenciamento de versões e configurações do A_HANDEliane Zambon Victorelli, Geovane Cayres Magalhães, Rogério Drummond. 269-280 [doi]
- Um Sistema de Gerenciamento de Projetos de SoftwareLucio Dimas dos Santos Mendes. 281-295 [doi]
- Modelagem dos Dados de um Ambiente de Desenvolvimento de SoftwareJavan de Castro Machado, Roberto Tom Price. 296-310 [doi]
- Uma formalização em IMC: o modelo DODMMarcelo Soares Pimenta, Carlos Alberto Heuser. 311-324 [doi]
- Especificação de um Gerenciador Orientado a ObjetosMarcus Aurélio de Carvalho Macêdo, Décio Fonseca. 325-339 [doi]
- Aspectos de Epistemologia do SoftwareGilberto Câmara. 340-348 [doi]