ACM DL

Software Engineering and Methodology (TOSEM)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 7 Issue 3, July 1998

Discovering models of software processes from event-based data
Jonathan E. Cook, Alexander L. Wolf
Pages: 215-249
DOI: 10.1145/287000.287001
Many software process methods and tools presuppose the existence of a formal model of a process. Unfortunately, developing a formal model for an on-going, complex process can be difficult, costly, and error prone. This presents a practical...

In black and white: an integrated approach to class-level testing of object-oriented programs
Huo Yan Chen, T. H. Tse, F. T. Chan, T. Y. Chen
Pages: 250-295
DOI: 10.1145/287000.287004
Because of the growing importance of object-oriented programming, a number of testing strategies have been proposed. They are based either on pure black-box or white-box techniques. We propose in this article a methodology to integrate the...

Formalizing space shuttle software requirements: four case studies
Judith Crow, Ben Di Vito
Pages: 296-332
DOI: 10.1145/287000.287023
This article describes four case studies in which requirements for new flight software subsystems on NASA's Space Shuttle were analyzed using mechanically supported formal methods. Three of the studies used standard formal specification and...

Errata: a formal basis for architectural connection
Robert Allen, David Garlan
Pages: 333-334
DOI: 10.1145/287000.287031
We present corrections to a previously published article which appeared in ACM Transaction on Software Engineering and Methodology 6, 3 (July 1997), pp. 213–249