Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th SBES 1996: São Carlos, SP, Brazil
- Paulo César Masiero, José Carlos Maldonado:
Proceedings of the 10th Brazilian Symposium on Software Engineering, SBES 1996, São Carlos, SP, Brazil, October 14-18, 1996. SBC 1996 - Paulo Borba:
A Refinement Theory for Concurrent Object Oriented Languages. 39-55 - Eugène Dürr, Stephen J. Goldsack, Jan van Katwijk:
Real Time Formal Specification using VDM++. 57-72 - Antonio Mendes da Silva Filho:
On Deriving Statecharts Supervision Models from SDL Specifications Using SSM. 73-83 - Márcio de Oliveira Barros, Cláudia Maria Lima Werner, Luiz Pereira Calôba:
Recuperação de Componentes em Bibliotecas de Software: Uma Abordagem Conexionista. 87-102 - Renata Spencer, Augusto Sampaio:
De occam para o transputer: compilação via reescrita de termos. 103-118 - Renato Fileto, Carlos Alberto Alves Meira, Clevan Ricardo Costa, Silvia Maria Fonseca Silveira Masshurá:
A Construção de um Gerador de Programas Aplicativos segundo Conceitos de Análise de Domínios. 119-135 - Débora C. Muchaluat, Luiz Fernando Gomes Soares, Marco Antonio Casanova:
Editores Gráficos para Estruturas com Composições. 139-151 - Marcelo R. Campo, Roberto Tom Price:
Um Framework Reflexivo para Ferramentas de Visualização de Software. 153-169 - Ulf Bergmann, Antônio Francisco do Prado, Julio César Sampaio do Prado Leite:
Desenvolvimento de Sistemas Orientados a Objetos Utilizando o Sistema Transformacional Draco-Puc. 173-188 - Jaelson Freire Brelaz de Castro, Christian J. Gautreau, Marco Antonio Toranzo Céspedes:
Towards an Environment to Support Requirements Formalisation. 189-205 - Tereza Gonçalves Kirner, Antônio Francisco do Prado, Maria Adriana Vidigal de Lima, Rogéria Cristiane Gratão:
Ambiente para Representação de Múltiplas Visões de Requisitos: O Metamodelo e Uma Linguagem de Transformação. 207-222 - José Bezerra da Silva Filho, Linda B. Páez, Gary Marchionini:
Evaluating User Disorientation: A Comparison of Hypertext and Continuous Zooming Interfaces. 225-240 - Fabiano Borges Paulo, Paulo César Masiero, Maria Cristina Ferreira de Oliveira:
Extensões ao HMBS para Especificação de Apresentações Hipermídia. 241-256 - Ricardo Ferreira Martins, Murilo Silva de Camargo, Jean-Marie Farines:
Uma ferramenta para auxílio no processo de verificação de especificações em RT-LOTOS. 259-274 - Ronaldo Augusto de Lara Gonçalves, Durval Makoto Akamatu, Itana Maria de Souza Gimenes:
Proposta de uma Ferramenta para Elaboração e Monitoração de Aplicações Distribuídas. 275-290 - Maria Luiza d'Almeida Sanchez, Bruno Maffeo:
Software Design Baseado em Subsistemas Autônomos - Focalizando o Reuso. 291-306 - Félix F. Ramos Corchado, Liming Chen, Marc Bui, Didier Donsez, Pascal Faudemay:
Task Allocation Strategies: A Study with a Multi-Agents System in Fully Distributed Information Systems. 307-321 - Ricardo Pereira e Silva, Roberto Tom Price:
Em direção a uma metodologia para o desenvolvimento de frameworks de aplicação orientados a objetos. 325-340 - Mathieu Buffo, Didier Buchs:
Contextual Coordination between Objects. 341-356 - André Luiz Costa Ballista, Roberto Tom Price:
Um Ambiente para Sonorização Não Intrusiva de Aplicações Orientadas a Objetos. 357-370 - Renato Cerqueira, Roberto Ierusalimschy:
Uma Avaliação das Arquiteturas para Interoperabilidade entre Objetos. 371-386
a service of 
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-05-16 22:00 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:
