KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
There is an increasingly large demand for software systems which are able to operate effectively in dynamic environments. In such environments, automated software engineering is e...
KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
The paper describes the initial results of applying Latent Semantic Analysis (LSA) to program source code and associated documentation. Latent Semantic Analysis is a corpus-based ...
KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
KBSE
1999
IEEE
14 years 7 days ago
1999
IEEE
Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large...
IWPC
1999
IEEE
14 years 7 days ago
1999
IEEE
For many years basic visualisation, based around simple boxes and lines, has been done in an attempt to be able to ease some of the cognitive overload caused by program comprehens...
IWPC
1999
IEEE
14 years 7 days ago
1999
IEEE
Automatic program comprehension is particularly useful when applied to sparse matrix codes, since it allows to abstract e.g. from specific sparse matrix storage formats used in th...