default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th 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.
last updated on 2025-03-08 00:35 CET 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:
