![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
4th SBES 1990: Águas de São Pedro, SP, Brazil
- Paulo César Masiero, Antonio C. Lirani, Marcos R. S. Borges, Tadao Takahashi:
Proceedings of the 4th Brazilian Symposium on Software Engineering, SBES 1990, Águas de São Pedro, SP, Brazil, October 24-26, 1990. SBC 1990 - Paulo H. M. Borba, Silvio R. L. Meira:
Tradução de Tipos de Especificação para Protótipo. 1-13 - Tânia Saraiva de Melo Pinheiro, Paulo Roberto Freire Cunha:
Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos. 14-29 - Alberto Pardo, Silvio Romero Lemos de Meira:
O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação. 30-43 - Ana Paula Ambrósio, Décio Fonseca:
Especificação Formal de Instâncias Excepcionais. 44-57 - Eduardo Alberto Dermargos Namur, João José Neto:
Uma Ferramenta Incremental para Apoiar a Geração de Software. 58-69 - Eloi L. Favero, L. G. Silva Esperança, R. Tom Price:
O Uso de Gramática de Atributos na Formatação de Notações Diagramáticas. 70-83 - Edson Gellert Schubert, Marcelo Soares Pimenta, Roberto Tom Price:
GRAEDIUS: Uma proposta para Definição de Interfaces Baseada em Gramática de Atributos. 84-95 - Cláudio Newton Ferreira Trotta, Guilherme Horta Travassos, Jano Moreira de Souza:
Modelagem de Dados de Aplicações Não Convencionais: Um Estudo de Caso. 96-109 - Guy Barroso, Virgílio Almeida:
Modelagem de Sistemas de Software com Redes de Petri Estocásticas. 110-123 - Ulrich Schiel:
Redes de Petri Hierárquicas. 124-133 - Julio César Sampaio do Prado Leite, Ana Paula M. Franco:
O Uso de Hipertexto na Elicitação de Linguagens da Aplicação. 134-149 - Silvio Meira, Carlos Eduardo Albuquerque da Cunha, José Fernando Tepedino:
An Experience in Building an Object-Oriented Prototype of an Advanced Hypertext System. 150-168 - Ana Maria de Alencar Price, Avelino Francisco Zorzo:
Ambiente de Apoio ao Teste Estrutural de Programas. 169-182 - Laira Vieira Toscani, Paulo A. S. Veloso:
Uma metodologia para cálculo da complexidade de algoritmos. 183-192 - Arndt von Staa:
Um Meta-editor de Estruturas. 193-202 - Maritza Rodríguez, Paulo César Masiero:
Apoio por Computador à Criação de Especificações Operacionais. 203-217 - Flávio Roberto Freire Mrack, Mônica Spotorno da Silva, Roberto Tom Price:
Um dicionário de dados para um editor diagramático generalizado. 218-230 - Maria del Rosario Girardi, Roberto Tom Price:
Especificação de uma Ferramenta de Apoio a Reutilização de Software no Desenvolvimento Orientado a Objetos. 231-244
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.