Abstract is missing.
- Tradução de Tipos de Especificação para ProtótipoPaulo H. M. Borba, Silvio R. L. Meira. 1-13 [doi]
- Modelo de Referência para Especificação Formal de Sistemas Operacionais DistribuídosTânia Saraiva de Melo Pinheiro, Paulo Roberto Freire Cunha. 14-29 [doi]
- O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de ProgramaçãoAlberto Pardo, Silvio Romero Lemos de Meira. 30-43 [doi]
- Especificação Formal de Instâncias ExcepcionaisAna Paula Ambrósio, Décio Fonseca. 44-57 [doi]
- Uma Ferramenta Incremental para Apoiar a Geração de SoftwareEduardo Alberto Dermargos Namur, João José Neto. 58-69 [doi]
- O Uso de Gramática de Atributos na Formatação de Notações DiagramáticasEloi L. Favero, L. G. Silva Esperança, R. Tom Price. 70-83 [doi]
- GRAEDIUS: Uma proposta para Definição de Interfaces Baseada em Gramática de AtributosEdson Gellert Schubert, Marcelo Soares Pimenta, Roberto Tom Price. 84-95 [doi]
- Modelagem de Dados de Aplicações Não Convencionais: Um Estudo de CasoCláudio Newton Ferreira Trotta, Guilherme Horta Travassos, Jano Moreira de Souza. 96-109 [doi]
- Modelagem de Sistemas de Software com Redes de Petri EstocásticasGuy Barroso, Virgílio Almeida 0001. 110-123 [doi]
- Redes de Petri HierárquicasUlrich Schiel. 124-133 [doi]
- O Uso de Hipertexto na Elicitação de Linguagens da AplicaçãoJulio César Sampaio do Prado Leite, Ana Paula M. Franco. 134-149 [doi]
- An Experience in Building an Object-Oriented Prototype of an Advanced Hypertext SystemSilvio Meira 0001, Carlos Eduardo Albuquerque da Cunha, José Fernando Tepedino. 150-168 [doi]
- Ambiente de Apoio ao Teste Estrutural de ProgramasAna Maria de Alencar Price, Avelino Francisco Zorzo. 169-182 [doi]
- Uma metodologia para cálculo da complexidade de algoritmosLaira Vieira Toscani, Paulo A. S. Veloso. 183-192 [doi]
- Um Meta-editor de EstruturasArndt von Staa. 193-202 [doi]
- Apoio por Computador à Criação de Especificações OperacionaisMaritza Rodríguez, Paulo César Masiero. 203-217 [doi]
- Um dicionário de dados para um editor diagramático generalizadoFlávio Roberto Freire Mrack, Mônica Spotorno da Silva, Roberto Tom Price. 218-230 [doi]
- Especificação de uma Ferramenta de Apoio a Reutilização de Software no Desenvolvimento Orientado a ObjetosMaria del Rosario Girardi, Roberto Tom Price. 231-244 [doi]