ICSE
1994
IEEE-ACM
14 years 1 days ago
1994
IEEE-ACM
While software architecture has become an increasingly important research topic in recent years, insufficient attention has been paid to methods for evaluation of these architectu...
ICSE
1994
IEEE-ACM
14 years 1 days ago
1994
IEEE-ACM
ICSE
1994
IEEE-ACM
14 years 1 days 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 days ago
1994
IEEE-ACM
Abstract. Formal, visual approaches to system modelling are a promising research sub-area of con guration management. A visual notation for con guring software systems, called ConF...
ICSE
1994
IEEE-ACM
14 years 1 days ago
1994
IEEE-ACM
ICSE
1994
IEEE-ACM
14 years 1 days ago
1994
IEEE-ACM
ICSE
1994
IEEE-ACM
14 years 1 days ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
ICSE
1994
IEEE-ACM
14 years 1 days ago
1994
IEEE-ACM
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
ICSE
1994
IEEE-ACM
14 years 1 days ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
ICSE
1994
IEEE-ACM
14 years 1 days 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 ...