Sciweavers

3889 search results - page 18 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
AADEBUG
1993
Springer
13 years 11 months ago
Debugging Logic Programs Using Specifications
Yuh-Jeng Lee, Nachum Dershowitz
APSEC
2001
IEEE
13 years 11 months ago
Cost Analysis of Games, Using Program Logic
Carroll Morgan, Annabelle McIver
ICSM
2009
IEEE
14 years 2 months ago
Using information retrieval to support software maintenance tasks
This paper presents an approach based on Information Retrieval (IR) techniques for extracting and representing the unstructured information in large software systems such that it ...
Denys Poshyvanyk
FASE
2005
Springer
14 years 1 months ago
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars
Modeling the dependencies between provided and required services within a software component is necessary for several reasons, such as automated component adaptation and architectu...
Ralf Reussner, Jens Happe, Annegret Habel
ISSTA
1996
ACM
13 years 11 months ago
Predicting Dependability by Testing
In assessing the quality of software, we would like to make engineering judgements similar to those based on statistical quality control. Ideally, we want to support statements li...
Richard G. Hamlet