default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th SBES 1994: Curitiba, PR, Brazil
- Roberto Antonio Rodrigues de Almeida, Roberto Tom Price:
Proceedings of the 8th Brazilian Symposium on Software Engineering, SBES 1994, Curitiba, PR, Brazil, October 26-27, 1994. SBC 1994 - Cesar A. Comerlato, Geraldo Bonorino Xexéo, Ana Regina Cavalcanti da Rocha:
Avaliação da Reutilizabilidade de Componentes de Software. 23-36 - Robert C. Burnett, Tom Anderson:
Reliability Allocation for a Software System with Modular Structure. 37-48 - Clarisse Sieckenius de Souza:
Testing Predictions of Semiotic Engineering in Human-Computer Interaction. 51-62 - Simão S. Toscani, L. F. Monteiro:
Apresentação da linguagem reativa síncrona RS. 63-77 - Renato Borges, Carlos Cassino, Renato Cerqueira, Roberto Ierusalimschy:
UAI - Um Framework para Suporte a Objetos Visuais. 79-89 - Ana Paula Pinho Gilvaz, Julio César Sampaio do Prado Leite:
FAES - Uma estratégia para Aquisição de Informações. 93-107 - Antônio de Pádua Albuquerque Oliveira, Julio César Sampaio do Prado Leite:
SERBAC: Uma Estratégia para Definição de Requisitos. 109-123 - Alexandre M. L. de Vasconcelos:
A Formal Description of an Incremental Type-Checker for Z. 127-141 - Virgínia A. O. Cordeiro, Augusto Sampaio, Silvio R. L. Meira:
Um Estudo de Caso Real em Refinamento de Especificações Formais Orientadas a Objetos. 143-158 - Patrícia Duarte de Lima Machado, Silvio Romero de Lemos Meira, Edson Costa de Barros Carvalho Filho, Herman Martins Gomes:
Uma Especificação Formal Orientada a Objetos de Redes Neurais Artificiais. 159-173 - Guillermo Bustos Reinoso, Carlos A. Heuser:
Comparando o Processo de Modelagem de Técnicas de Análise Orientada a Objetos. 177-193 - Patrícia Vilain, Carlos A. Heuser:
Modelagem de hipertextos: uma experiência com HDM. 195-209 - Abad A. Shah, Farshad Fotouhi, William I. Grosky:
Knowledge Sharing Mechanism of the TOS. 211-219 - L. Zhang, Jan van Katwijk:
Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems. 223-250 - Rosemeire Shibuya, Rosângela A. D. Penteado, Paulo César Masiero:
Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts. 253-267 - Alberto M. de Cima, Cláudia Maria Lima Werner, Guilherme H. Travassos:
O Uso de "Frameworks" como Arquiteturas Reutilizáveis na Construção de Ambientes de Desenvolvimento de Software. 271-282 - Renato Silva Cabral, Silvio Romero de Lemos Meira:
Id: Um Sistema de Hipertexto Configurável e Orientado a Objetos para Integrar os Documentos do Software. 283-296 - Alvaro Ortigosa, Marcelo Campo, Roberto Tom Price:
A Visual Object-Oriented Meta-CASE Environment. 297-308 - Silvia M. F. S. Massruhá, Mário D. Ferraretto, Fernando A. Máximo, Carlos A. Alves Meira, Sérgio L. Z. Passos, Marcos C. Visoli:
AEsp: Um Assistente de Especificação. 311-324 - Guilherme Horta Travassos, Ana Regina Cavalcanti da Rocha:
Um Modelo para Construção e Integração de Ferramentas. 325-339 - Renata Mendes de Araujo, Marcos Roberto da Silva Borges:
QUORUM: Um SSDG para o Desenvolvimento de Software. 343-356 - Nara Martini Bigolin, José Mauro Volkmer de Castilho:
Um Estudo sobre Ferramentas de Apoio para o Projeto de Sistemas de Banco de Dados. 357-371 - Alexandre P. Teles, Carlos A. Furuti, Rogério Drummond:
Adequação do ambiente A_HAND para o ensino. 373-386 - Maria Cláudia Reis Cavalcanti, Marcos Roberto da Silva Borges:
ARCoPAS: um Ambiente para Recuperação Cooperativa do Projeto Arquitetônico de Sistemas. 387-401 - T. Khammaci:
Software Process and Assistance Modelling: The Case of the UPSSA Tool. 405-419 - Sandra C. P. F. Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro:
Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri. 423-437 - W. Eric Wong, José Carlos Maldonado, Márcio E. Delamaro, Aditya P. Mathur:
Constrained Mutation in C programs. 439-452 - Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino:
Caminhos Não Executáveis no Teste de Integração: Caracterização, Previsão e Determinação. 453-467 - Juliana Bonzanini da Silva, Ana Maria de Alencar Price:
Métrica de Complexidade de Software baseada em Critério de Seleção de Caminhos de Teste. 471-485 - Rosely Sanches, Nicolau Reinhard:
A Influência da Configuração de Software na Manutenção. 487-501
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-10-08 20:41 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:
