Остановите войну!
for scientists:
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 173 matches
- 2000
- Tom Adams:
The God of inspection. ACM SIGSOFT Softw. Eng. Notes 25(2): 30 (2000) - Rakesh Agarwal, Arup Ratan Raha, Bhaskar Ghosh:
Our experience and learning in ERP implementation. ACM SIGSOFT Softw. Eng. Notes 25(2): 31-34 (2000) - Miren Begoña Albizuri-Romero:
A retrospective view of CASE tools adoption. ACM SIGSOFT Softw. Eng. Notes 25(2): 46-50 (2000) - Rajeev Alur:
Computer-aided verification of reactive systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 32-33 (2000) - Paul Ammann:
System testing via mutation analysis of model checking specifications. ACM SIGSOFT Softw. Eng. Notes 25(1): 33 (2000) - Parasuram Anantharam:
Modelling systems. ACM SIGSOFT Softw. Eng. Notes 25(3): 58 (2000) - Tom Anderson:
The distributed Smalltalk survival guide. ACM SIGSOFT Softw. Eng. Notes 25(3): 58 (2000) - Paul C. Attie:
Efficient formal methods for the synthesis of concurrent programs. ACM SIGSOFT Softw. Eng. Notes 25(1): 34 (2000) - Sidney C. Bailin, Dean Allemang:
Formal alternative management integrating logical inference and rationals (FAMILIAR). ACM SIGSOFT Softw. Eng. Notes 25(1): 102 (2000) - Bob Balzer:
Securely wrapping COTS products. ACM SIGSOFT Softw. Eng. Notes 25(1): 106-107 (2000) - Farokh B. Bastani:
Relational programs. ACM SIGSOFT Softw. Eng. Notes 25(1): 34-35 (2000) - Don S. Batory:
Jakarta Tool Suite (JTS). ACM SIGSOFT Softw. Eng. Notes 25(1): 103-104 (2000) - Luigi Benedicenti:
Rethinking smart objects: building artificial intelligence with objects. ACM SIGSOFT Softw. Eng. Notes 25(3): 59 (2000) - David W. Binkley:
Reducing the cost of regression testing. ACM SIGSOFT Softw. Eng. Notes 25(1): 35-36 (2000) - Bob Blazer:
A COTS-based design editor for user specified domains. ACM SIGSOFT Softw. Eng. Notes 25(1): 100 (2000) - Barry W. Boehm, Nenad Medvidovic:
Model-based (systems) architecting and software engineering (MBASE). ACM SIGSOFT Softw. Eng. Notes 25(1): 104-105 (2000) - Barry W. Boehm, Nenad Medvidovic:
Software architecture, analysis, generation, and evolution (SAAGE). ACM SIGSOFT Softw. Eng. Notes 25(1): 106 (2000) - Bob Boothe:
A fully capable bidirectional debugger. ACM SIGSOFT Softw. Eng. Notes 25(1): 36-37 (2000) - Kenneth W. Boyer Jr.:
Test process improvement: a practical step-by-step guide to structured testing. ACM SIGSOFT Softw. Eng. Notes 25(3): 59-60 (2000) - Garry Brannum:
Capability packages for avionics software (CPAS). ACM SIGSOFT Softw. Eng. Notes 25(1): 98 (2000) - Tevfik Bultan:
A composite model checking toolset for analyzing software systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 37-38 (2000) - Margaret M. Burnett:
NYI award: visual programming languages. ACM SIGSOFT Softw. Eng. Notes 25(1): 38 (2000) - Claude Caci:
Testing object-oriented systems. ACM SIGSOFT Softw. Eng. Notes 25(3): 60-61 (2000) - Bill Carlson, Chris Garrity:
Ewatch. ACM SIGSOFT Softw. Eng. Notes 25(1): 98 (2000) - Larry Carter, Jeanne Ferrante:
CROPS: coordinated restructuring of programs and storage. ACM SIGSOFT Softw. Eng. Notes 25(1): 38-39 (2000) - Richard H. Carver:
Specification-based testing of concurrent programs. ACM SIGSOFT Softw. Eng. Notes 25(1): 39-40 (2000) - Betty H. C. Cheng:
Integrating object-oriented analysis and formal specifications. ACM SIGSOFT Softw. Eng. Notes 25(1): 40-41 (2000) - Sorana Cîmpan, Flávio Oquendo:
OMEGA: a language and system for on-line monitoring of software-intensive processes. ACM SIGSOFT Softw. Eng. Notes 25(4): 62-68 (2000) - Edmund M. Clarke:
Automatic verification of hardware and software systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 41-42 (2000) - Peter Claussen:
Theories of programming languages. ACM SIGSOFT Softw. Eng. Notes 25(3): 61-62 (2000)
skipping 143 more matches
loading more results
failed to load more results, please try again later
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-05-29 20:18 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