ICSE
1994
IEEE-ACM
13 years 8 months ago
1994
IEEE-ACM
ICSE
1994
IEEE-ACM
13 years 8 months ago
1994
IEEE-ACM
ICSE
1994
IEEE-ACM
13 years 8 months 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
13 years 8 months 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
13 years 8 months 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
13 years 8 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 ...