![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.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 34 matches
- 1992
- Faten H. Afifi, Lee J. White, Steven J. Zeil:
Testing for Linear Errors in Nonlinear Computer Programs. ICSE 1992: 81-91 - Victor R. Basili, Gianluigi Caldiera, Frank E. McGarry, Rose Pajerski, Gerald T. Page, Sharon Waligora:
The Software Engineering Laboratory: An Operational Software Experience Factory. ICSE 1992: 370-381 - Brian W. Beach:
Connecting Software Components with Declarative Glue. ICSE 1992: 120-137 - Dines Bjørner:
Trusted Computing Systems: The ProCoS Experience. ICSE 1992: 15-34 - Mariano P. Consens
, Alberto O. Mendelzon, Arthur G. Ryman:
Visualizing and Querying Software Structures. ICSE 1992: 138-156 - Premkumar T. Devanbu:
GENOA: A Customizable Language- and Front-End Independent Code Analyzer. ICSE 1992: 307-317 - Laura K. Dillon, George Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
Graphical Specifications for Concurrent Software Systems. ICSE 1992: 214-224 - Stephen G. Eick, Clive R. Loader, M. David Long, Lawrence G. Votta, Scott A. Vander Wiel:
Estimating Software Fault Content Cefore Coding. ICSE 1992: 59-65 - Richard E. Fairley:
Recent Advances in Software Estimation Techniques. ICSE 1992: 382-391 - Miguel Felder, Angelo Morzenti:
Validating Real-Time Systems by History-Checking TRIO Specifications. ICSE 1992: 199-211 - Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis:
A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259 - John E. Gaffney Jr., R. D. Cruickshank:
A General Economics Model of Software Reuse. ICSE 1992: 327-337 - Pankaj K. Garg, Sanjay Bhansali:
Process Programming by Hindsight. ICSE 1992: 280-293 - Neil M. Goldman, Khaled Narayanaswamy:
Software Evolution through Iterative Prototyping. ICSE 1992: 158-172 - Robert J. Hall:
Call Path Profiling. ICSE 1992: 296-306 - Mary Jean Harrold, John D. McGregor, Kevin J. Fitzpatrick:
Incremental Testing of Object-Oriented Class Structures. ICSE 1992: 68-80 - Susan Horwitz, Thomas W. Reps:
The Use of Program Dependence Graphs in Software Engineering. ICSE 1992: 392-411 - Sadahiro Isoda:
Experience Report on Software Reuse Project: Its Structure, Activities, and Statistical Results. ICSE 1992: 320-326 - Nancy G. Leveson:
High-Pressure Steam Engines and Computer Software. ICSE 1992: 2-14 - Andrew M. Lister:
Design of Dependable Real-Time Systems. ICSE 1992: 35-36 - Mitchell D. Lubars, Greg Meredith, Colin Potts, Charles Richter:
Object-Oriented Analysis for Evolving Systems. ICSE 1992: 173-185 - Johan Margono, Thomas E. Rhoads:
Software Reuse Economics: Cost-Benefit Analysis on a Large-Scale Ada Project. ICSE 1992: 338-348 - Sukesh Patel, William C. Chu, Rich Baxter:
A Measure for Composite Module Cohesion. ICSE 1992: 38-48 - Trevor W. Pearce, David Alex Lamb:
The Property Vector Specification of a Multiset Iterator. ICSE 1992: 235-245 - Burkhard Peuschel, Wilhelm Schäfer:
Concepts and Implementation of a Rule-Based Process Engine. ICSE 1992: 262-279 - Andy Podgurski, Lynn Pierce:
Behavior Sampling: A Technique for Automated Retrieval of Reusable Components. ICSE 1992: 349-360 - Debra J. Richardson, Stephanie Leif Aha, T. Owen O'Malley:
Specification-Based Test Oracles for Reactive Systems. ICSE 1992: 105-118 - Gruia-Catalin Roman, Kenneth C. Cox:
Program Visualization: The Art of Mapping Programs to Pictures. ICSE 1992: 412-420 - Gruia-Catalin Roman, Rose F. Gamble, William E. Ball:
Seeking Concurrency in Rule-Based Programming. ICSE 1992: 225-234 - David S. Rosenblum:
Towards a Method of Programming With Assertions. ICSE 1992: 92-104
skipping 4 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.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-19 21:56 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