Остановите войну!
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 135 matches
- 2001
- Pekka Abrahamsson:
Commitment Development in Software Process Improvement: Critical Misconceptions. ICSE 2001: 71-80 - Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch, Rupak Majumdar, Freddy Y. C. Mang, Bow-Yaw Wang:
JMOCHA: A Model Checking Tool that Exploits Design Structure. ICSE 2001: 835-836 - Daniel Amyot, Gunter Mussbacher:
Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs). ICSE 2001: 743-744 - Annie I. Antón, Colin Potts:
Functional Paleontology: System Evolution as the User Sees It. ICSE 2001: 421-430 - Atsushi Aoki, Kaoru Hayashi, Kouichi Kishida, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Brent Reeves, Akio Takashima, Yasuhiro Yamamoto:
A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library. ICSE 2001: 524-533 - Felix Bachmann, Leonard J. Bass:
Introduction to the Attribute Driven Design Method. ICSE 2001: 745-746 - Robert Balzer:
"Tolerating Inconsistency" Revisited. ICSE 2001: 665 - Robert Balzer, Volker Gruhn:
Process-Centered Software Engineering Environments: Academic and Industrial Perspectives. ICSE 2001: 671-672 - Ira D. Baxter:
Using Transformation Systems for Software Maintenance and Reengineering. ICSE 2001: 739-740 - Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro:
A Scalable Formal Method for Design and Automatic Checking of User Interfaces. ICSE 2001: 453-462 - Antonia Bertolino, Paola Inverardi, Henry Muccini:
An Explorative Journey from Architectural Tests Definition downto Code Tests Execution. ICSE 2001: 211-220 - Stefan Biffl, Bernd G. Freimut, Oliver Laitenberger:
Investigating the Cost-Effectiveness of Reinspections in Software Development. ICSE 2001: 155-164 - Stefan Biffl, Wilfried Grossmann:
Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles. ICSE 2001: 145-154 - Barry W. Boehm, Paul Grünbacher, Robert O. Briggs:
EasyWinWin: A Groupware-Supported Nethodology for Requirements Negotiation. ICSE 2001: 720-721 - Barry W. Boehm, Daniel Port:
Educating Software Engineering Students to Manage Risk. ICSE 2001: 591-600 - Jan Bosch:
Software Product Lines: Organizational Alternatives. ICSE 2001: 91-100 - Jan Bosch:
Software Product Lines and Software Architecture Design. ICSE 2001: 717 - Manfred Broy:
Specification and Modeling: An Academic Perspective. ICSE 2001: 673-675 - Dennis Brylow, Niels Damgaard, Jens Palsberg:
Static Checking of Interrupt-Driven Software. ICSE 2001: 47-56 - Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker:
Generative Techniques for Product Lines. ICSE 2001: 760-761 - Giacomo Cabri, Letizia Leonardi, Franco Zambonelli:
Engineering Mobile-Agent Applications via Context-Dependent Coordination. ICSE 2001: 371-380 - Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith:
Efficient Filtering in Publish-Subscribe Systems Using Binary Decision. ICSE 2001: 443-452 - Laura A. Campbell:
Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams. ICSE 2001: 785-786 - João W. Cangussu:
Modeling and Controlling the Software Test Process. ICSE 2001: 787-788 - Richard Cardone, Calvin Lin:
Comparing Frameworks and Layered Refinement. ICSE 2001: 285-294 - Jaelson Castro, Jeff Kramer:
From Software Requirements to Architectures. ICSE 2001: 764-765 - Siobhán Clarke, Robert J. Walker:
Composition Patterns: An Approach to Designing Reusable Aspects. ICSE 2001: 5-14 - Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil:
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. ICSE 2001: 37-46 - Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction. ICSE 2001: 771-772 - William Dickinson, David Leon, Andy Podgurski:
Finding Failures by Cluster Analysis of Execution Profiles. ICSE 2001: 339-348
skipping 105 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-23 11:32 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