default search action
7th SBES 1993: Rio de Janeiro, RJ, Brazil
- Julio César Sampaio do Prado Leite, Ana Regina Cavalcanti da Rocha, Cláudia L. R. Motta, Marcelo Gattass, Pedro Manoel da Silveira, Roberto Antonio Rodrigues de Almeida:
Proceedings of the 7th Brazilian Symposium on Software Engineering, SBES 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993. SBC 1993 - Leila Ribeiro, Hartmut Ehrig, Julia Padberg:
Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. 1-16 - Haydée Werneck Poubel, Paulo Augusto Silva Veloso:
Sobre o Teorema da Modularização: Importância e uma Prova por Quociente. 17-29 - José Leite da Silva Júnior, Roberto da Silva Bigonha:
Semântica Denotacional Legível. 30-45 - Walace de Almeida Rodrigues, Roberto da Silva Bigonha:
Uma Experiência na Implementação de um Sistema de Tipos Fortes e Polimórficos. 46-61 - Cláudia J. A. da Silva, Fabio Q. B. da Silva:
Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework. 62-76 - Luiz Carlos Castro Guedes, Arndt von Staa:
Um Processo de Re-engenharia Econômico e Eficaz. 77-91 - Paulo Eustáquio Duarte Pinto, Fátima Janine Gaio:
Análise da Adoção de Novas Tecnologias no Processo de Desenvolvimento de Software da Petrobrás. 92-106 - André Villas-Boas, Edésio Costa e Silva, Júlio Cardoso Pereira:
Sistema de Controle de Alteração e Configuração. 107-120 - Carlos A. Furuti:
The Astra User Interface Library. 121-133 - Maria Luiza d'Almeida Sanchez, Bruno Maffeo:
Gerência de Projeto Baseado em Design Orientado a Encapsulamento de Dados e a Troca de Mensagens entre Subsistemas Autônomos. 135-150 - João W. L. Cangussu, Paulo César Masiero, José Carlos Maldonado:
Execução Programada de Statecharts. 151-165 - Paulo Roberto Pierri Tepedino, Tereza Gonçalves Kirner:
Uma Abordagem Para Desenvolvimento de Software de Sistemas de Tempo Real Crítico em Arquiteturas Distribuídas. 166-180 - Sergio Eduardo Rodrigues de Carvalho:
Sobre o Comportamento de Objetos. 181-195 - Luiz Carlos Zancanella, Philippe O. A. Navaux:
Os processos de compilação e execução em AURORA. 196-207 - Paulo H. C. Lisboa, José Fernando Tepedino, Silvio Romero de Lemos Meira:
Programação Centrada em Instâncias em SMALLTALK. 208-222 - Luiza Maria F. Carneiro, Donald D. Cowan, Carlos J. P. Lucena:
A Rationale for Both Nesting and Inheritance in Object-Oriented Design. 223-237 - Ana M. D. Moreira, Robert G. Clark:
Os Métodos Formais na Análise de Orientação por Objectos. 238-252 - Gustavo H. M. B. Motta, Silvio R. L. Meira, Luis C. Carvalho:
Aplicações Práticas de Especificações Formais Orientadas a Objetos: Um Sistema para Processamento do Eletrocardiograma de Esforço. 253-267 - Renato Silva Cabral, Sandra de Albuquerque Jansen, Patrícia Porto Carreiro, Jaelson Brelaz de Castro:
Utilização da Metodologia OMT na Construção de Ferramentas CASE. 268-281 - Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel:
Conciliação de Flexibilidade e Verificação Estática em Linguagens Orientadas a Objetos. 282-294 - Stefan Biffl, Thomas Grechenig:
A Process Model for Quality guided Programming: An Approach to Making Quantitative Evaluation of Software Systems Useful for Practitioners. 295-305 - Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino:
Uma Estratégia para Geração de Dados de Teste. 306-319 - Aditya P. Mathur, Weichen E. Wong:
Evaluation of The Cost of Alternate Mutation Strategies. 320-334 - Carla Gama Alves, Marcos R. S. Borges:
HyFor - Uma ferramenta de apoio a manutenção de software científico. 336-350 - Fatima Pires, Claudia Bauzer Medeiros:
Uma Metodologia para Projeto de Sistemas de Informações Geográficas. 351-364
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.