![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 31 matches
- 1994
- Renata Mendes de Araujo, Marcos Roberto da Silva Borges:
QUORUM: Um SSDG para o Desenvolvimento de Software. SBES 1994: 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. SBES 1994: 357-371 - Renato Borges, Carlos Cassino, Renato Cerqueira, Roberto Ierusalimschy:
UAI - Um Framework para Suporte a Objetos Visuais. SBES 1994: 79-89 - Robert C. Burnett, Tom Anderson:
Reliability Allocation for a Software System with Modular Structure. SBES 1994: 37-48 - 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. SBES 1994: 283-296 - Maria Cláudia Reis Cavalcanti, Marcos Roberto da Silva Borges:
ARCoPAS: um Ambiente para Recuperação Cooperativa do Projeto Arquitetônico de Sistemas. SBES 1994: 387-401 - 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. SBES 1994: 271-282 - Cesar A. Comerlato, Geraldo Bonorino Xexéo, Ana Regina Cavalcanti da Rocha:
Avaliação da Reutilizabilidade de Componentes de Software. SBES 1994: 23-36 - 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. SBES 1994: 143-158 - 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. SBES 1994: 423-437 - Ana Paula Pinho Gilvaz, Julio César Sampaio do Prado Leite:
FAES - Uma estratégia para Aquisição de Informações. SBES 1994: 93-107 - T. Khammaci:
Software Process and Assistance Modelling: The Case of the UPSSA Tool. SBES 1994: 405-419 - 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. SBES 1994: 159-173 - 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. SBES 1994: 311-324 - Antônio de Pádua Albuquerque Oliveira, Julio César Sampaio do Prado Leite:
SERBAC: Uma Estratégia para Definição de Requisitos. SBES 1994: 109-123 - Alvaro Ortigosa, Marcelo Campo, Roberto Tom Price:
A Visual Object-Oriented Meta-CASE Environment. SBES 1994: 297-308 - Guillermo Bustos Reinoso, Carlos A. Heuser:
Comparando o Processo de Modelagem de Técnicas de Análise Orientada a Objetos. SBES 1994: 177-193 - Rosely Sanches, Nicolau Reinhard:
A Influência da Configuração de Software na Manutenção. SBES 1994: 487-501 - Abad A. Shah, Farshad Fotouhi, William I. Grosky:
Knowledge Sharing Mechanism of the TOS. SBES 1994: 211-219 - Rosemeire Shibuya, Rosângela A. D. Penteado, Paulo César Masiero:
Geração de Código a Partir de Modelos Comportamentais Especificados por Statecharts. SBES 1994: 253-267 - 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. SBES 1994: 471-485 - Clarisse Sieckenius de Souza:
Testing Predictions of Semiotic Engineering in Human-Computer Interaction. SBES 1994: 51-62 - Alexandre P. Teles, Carlos A. Furuti, Rogério Drummond:
Adequação do ambiente A_HAND para o ensino. SBES 1994: 373-386 - Simão S. Toscani, L. F. Monteiro:
Apresentação da linguagem reativa síncrona RS. SBES 1994: 63-77 - Guilherme Horta Travassos, Ana Regina Cavalcanti da Rocha:
Um Modelo para Construção e Integração de Ferramentas. SBES 1994: 325-339 - Alexandre M. L. de Vasconcelos:
A Formal Description of an Incremental Type-Checker for Z. SBES 1994: 127-141 - 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. SBES 1994: 453-467 - Patrícia Vilain, Carlos A. Heuser:
Modelagem de hipertextos: uma experiência com HDM. SBES 1994: 195-209 - W. Eric Wong, José Carlos Maldonado, Márcio E. Delamaro, Aditya P. Mathur:
Constrained Mutation in C programs. SBES 1994: 439-452 - L. Zhang, Jan van Katwijk:
Towards a viewpoint oriented design methodology for Multi-processor Real-Time Systems. SBES 1994: 223-250
skipping 1 more match
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-23 06:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint