


default search action
9th SBES 1995: Recife, PE, Brazil
- Jaelson Freire Brelaz de Castro:

Proceedings of the 9th Brazilian Symposium on Software Engineering, SBES 1995, Recife, PE, Brazil, October 3-6, 1995. SBC 1995 - João Gualberto Rizzo Araujo, Décio Fonseca:

FRAME_BD - Uma Infra-estrutura para Construção de Ambientes lntegrados para Projeto de Software. 43-58 - Elisiane Andreatta Ferreira De Macedo, Ana Maria de Alencar Price:

Gramáticas de Grafos e Objetos para Suporte a Notações Diagramáticas em Ambientes de Desenvolvimento de Software. 59-74 - João J. C. Gondim:

Visando o Reuso Formalmente Justificado de Especificações. 77-90 - Simone C. dos Santos, Fabio Q. B. da Silva:

Um Enfoque Multiformalismos para Especificação de Sistemas de Segurança Crítica. 91-106 - Murilo S. de Camargo, Jean-Marie Farines:

Uma abordagem para especificação e verificação de sistemas dependentes do tempo. 107-122 - Otaviano C. Wanderley Neto, Décio Fonseca:

Uma Arquitetura para Interfaces Inteligentes e Amigáveis. 125-141 - Juliano Lopes de Oliveira, Cleida Queiroz Cunha, Geovane Cayres Magalhães:

Modelo de Objetos para Construção de Interfaces Visuais Dinâmicas. 143-158 - Noemi de La Rocque Rodriguez, Roberto Ierusalimschy, José Lucas Rangel:

Exception Handling in a Strongly Typed Object Oriented Language. 161-174 - Marcelo Campo, R. Tom Price:

O Uso de Técnicas Visuais e Navegacionais para a Compreensão de Frameworks Orientados a Objetos. 175-190 - Guillermo Bustos Reinoso, Carlos A. Heuser:

Modelagem Dinâmica OO: Uma Análise Comparativa de Técnicas. 191-207 - Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino:

Geração de Dados de Teste: Uma Estratégia que Preserva a Hierarquia de Critérios. 211-222 - Eliane Martins:

Integrando injeção de falhas e testes formais na validação da tolerância a falhas. 223-239 - Angelo Perkusich, Jorge C. A. de Figueiredo:

A G-Net Based Environment for Logical and Timing Analysis of Software Systems. 241-256 - Zair Abdelouahab, Peter M. Dew:

Concurrency and Synchronisation in Actel. 259-273 - Vera Maria Benjamim Werneck, Ana Regina Cavalcanti da Rocha, Álvaro Rabelo Jr.:

O Método KADS-estendido. 277-292 - Luiz Mauricio Martins, J. Antão B. Moura, Álvaro F. C. Medeiros:

R-Cycle: Um Molde para o Processo de Produção, Disponibillzação e Evolução de Software. 295-309 - Arnaldo Dias Belchior, Fátima Janine Gaio:

Aspectos não Tecnológicos Envolvidos no Desenvolvimento de Software: Um Estudo de Casos. 311-326 - Cirano Iochpe, Elza Marisa Paiva de Figueiredo:

Estudo das Interações Humanas no Processo de Desenvolvimento de Software. 327-341 - Rosângela A. D. Penteado, Fernão Stella R. Germano, Paulo César Masiero:

Engenharia Reversa Orientada a Objetos do Ambiente StatSim: método utilizado e resultados obtidos. 345-360 - Karin Sequerra-Breitman, Daniel M. Berry:

The Development of Multimedia Hypermedia Applications as Evolutionary, Prototyping-Based Requirements Engineering. 363-378 - Soeli T. Fiorini, Julio César Sampaio do Prado Leite

, T. Diana L. v. A. de Macedo-Soares:
Integrando Processos de Negócio à Elicitação de Requisitos. 379-394 - Julio César Sampaio do Prado Leite

, Marcelo Sant'Anna, Felipe Gouveia de Freitas, Antônio Francisco do Prado:
O Uso do Paradigma Transformacional no Porte de Programas Cobol. 397-413 - Sérgio Felipe Zirbes:

Reutilização de Modelos de Requisitos por Analogia: Experimentação e Conclusões. 415-430

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














