17 search results - page 2 / 4 » icse 1994 |
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
We describe three case studies in the use of Basic LOTOS. The studies cover design recovery, requirements speci cation, and design activities. We also report lessons learned from ...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
act Research issues related to requirements modeling are introduced and discussed through a review of the requirements modeling language RML, its peers and its successors from the ...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
We apply mathematical concept analysis to the problem of infering configuration structures from existing source code. Concept analysis has been developed by German mathematicians ...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
The concept of systematic software reuse is simple: the idea of building and using "software preferred parts." By building systems out of carefully designed, pre-tested ...
ICSE
1994
IEEE-ACM
14 years 1 months ago
1994
IEEE-ACM
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...