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 1 Issue 1, Jan. 1992

Investigations of the software testing coupling effect
A. Jefferson Offutt
Pages: 5-20
DOI: 10.1145/125489.125473
Fault-based testing strategies test software by focusing on specific, common types of faults. The coupling effect hypothesizes that test data sets that detect simple types of faults are sensitive enough to detect more complex...

Interprocedural static analysis of sequencing constraints
Kurt M. Olender, Leon J. Osterweil
Pages: 21-52
DOI: 10.1145/125489.122822
This paper describes a system that automatically performs static interprocedural sequencing analysis from programmable constraint specifications. We describe the algorithms used for interprocedural analysis, relate the problems arising from the...

A reference architecture for the component factory
Victor R. Basili, Gianluigi Caldiera, Giovanni Cantone
Pages: 53-80
DOI: 10.1145/125489.122823
Software reuse can be achieved through an organization that focuses on utilization of life cycle products from previous developments. The component factory is both an example of the more general concepts of experience and domain factory and an...

The automated production control documentation system: a case study in cleanroom software engineering
Carmen J. Trammell, Leon H. Binder, Cathrine E. Snyder
Pages: 81-94
DOI: 10.1145/125489.122826
A prototype software system was developed for the U.S. Naval Underwater Systems Center(NUSC) as a demonstration of the Cleanroom Software Engineering methodology. The Cleanroom method is a team approach to the incremental development of software...

The Pan language-based editing system
Robert A. Ballance, Susan L. Graham, Michael L. Van De Vanter
Pages: 95-127
DOI: 10.1145/125489.122804
Powerful editing systems for developing complex software documents are difficult to engineer. Besides requiring efficient incremental algorithms and complex data structures, such editors must accommodate flexible editing styles, provide a...