default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd SBES 1989: Recife, PE, Brazil
- Roberto Spolidoro, Eratóstenes E. R. Araújo, Décio Fonseca, Judith Kelner, Silvio Meira:
Proceedings of the 3rd Brazilian Symposium on Software Engineering, SBES 1989, Recife, PE, Brazil, October 25-27, 1989. SBC 1989 - Silvio Meira:
Apresentação e Organização. i-viii - Rogério Drummond:
LegoShell: Linguagem de Computações. 2-16 - Carlos A. G. Ferraz, Paulo R. F. Cunha, Silvio R. L. Meira:
Simulação de Especificações LOTOS Usando Linguagens Funcionais. 17-30 - Mario Juaçaba Teixeira:
Experience in Parallelizing Large Application Programs. 31-41 - Márcio Machado Pereira:
A Linguagem de Programação CHILL. 42-70 - Julio César Sampaio do Prado Leite:
O Uso de Pontos de Vista na Elicitação de Requisitos. 71-85 - José Palazzo Moreira de Oliveira, Duncan Dubugras A. Ruiz, Norberto Hoppen:
Especificação de Sistemas de Informação de Escritórios: a metodologia T.A.& A. 86-97 - Maria Teresa Silva de Moura, Paulo Roberto Freire Cunha:
Representação Gráfica para LOTOS. 98-112 - Fábio Nauras Akhras, Márcia Cristina de Carvalho Costa:
Meta-modelos para Ferramentas Genéricas Integráveis ao Ambiente SIPS. 113-122 - Judith Kelner, Ana Lúcia Cavalcante, Alberto Pardo:
LindA: Uma Linguagem de Autoria Automática para Hipertexto. 124-136 - Roberto Tom Price, Eloi Luiz Favero:
Um Editor Hibrido (Texto e Diagramas) Orientado por Estruturas (do Tipo Grafo e Arvore). 137-151 - Silvio Meira, Judith Kelner, Carlos Eduardo Albuquerque da Cunha, José Martins, Ana C. V. de Melo, Alexandre M. L. de Vasconcelos:
Hipertexto: O Projeto do Sistema H. 152-170 - Paulo Henrique Monteiro Borba, Silvio Romero de Lemos Meira:
Protótipos Funcionais a partir de Especificações Formais em VDM. 171-184 - Leila Ribeiro, Daltro José Nunes:
Especificação de um Programa de Matrículas Utilizando VDM. 185-200 - Raul 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:
Métodos Formais para Desenvolvimento de Software: Um estudo de caso, o projeto GARDEN. 201-213 - Carlos Miguel Tobar Toledo, Claudia Bauzer Medeiros:
SAES - Sistema de Apoio à Especificação de Sistemas. 214-227 - Laira Vieira Toscani, Paulo A. S. Veloso:
Desenvolvimento de Algoritmos Aproximativos por Acercamento: Especificação Formal. 228-238 - Marcos Lordello Chaim, José Carlos Maldonado, Mário Jino:
Modelando a Determinação de Potenciais Du-Caminhos Através da Análise de Fluxo de Dados. 239-251 - Mário Márcio Ramos Teixeira, Flávio Roberto Dias Velasco:
Uma Ferramenta para Auxílio na Reutilização de Software. 253-268 - Eliane Zambon Victorelli, Geovane Cayres Magalhães, Rogério Drummond:
Mecanismo de gerenciamento de versões e configurações do A_HAND. 269-280 - Lucio Dimas dos Santos Mendes:
Um Sistema de Gerenciamento de Projetos de Software. 281-295 - Javan de Castro Machado, Roberto Tom Price:
Modelagem dos Dados de um Ambiente de Desenvolvimento de Software. 296-310 - Marcelo Soares Pimenta, Carlos Alberto Heuser:
Uma formalização em IMC: o modelo DODM. 311-324 - Marcus Aurélio de Carvalho Macêdo, Décio Fonseca:
Especificação de um Gerenciador Orientado a Objetos. 325-339 - Gilberto Câmara:
Aspectos de Epistemologia do Software. 340-348
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.
last updated on 2024-09-14 01:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
