Software Engineering and Methodology (TOSEM)


Search Issue
enter search term and/or author name


ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 11 Issue 1, January 2002

Modeling software architectures in the Unified Modeling Language
Jason E. Robbins, David S. Rosenblum, Nenad Medvidovic, David F. Redmiles
Pages: 2-57
DOI: 10.1145/504087.504088
The Unified Modeling Language (UML) is a family of design notations that is rapidly becoming a de facto standard software design language. UML provides a variety of useful capabilities to the software designer, including multiple, interrelated design...

On fault classes and error detection capability of specification-based testing
Tohru Kikuno, Tatsuhiro Tsuchiya
Pages: 58-62
DOI: 10.1145/504087.504089
In a previous paper, Kuhn [1999] showed that faults in Boolean specifications constitute a hierarchy with respect to detectability, and drew the conclusion that missing condition faults should be hypothesized to generate tests. However this...

An inheritance-based technique for building simulation proofs incrementally
Alex Shvartsman, Roger I. Khazan, Idit Keidar, Nancy Lynch
Pages: 63-91
DOI: 10.1145/504087.504090
This paper presents a formal technique for incremental construction of system specifications, algorithm descriptions, and simulation proofs showing that algorithms meet their specifications.The technique for building specifications and...

Behavior-consistent specialization of object life cycles
Michael Schrefl, Markus Stumptner
Pages: 92-148
DOI: 10.1145/504087.504091
Object-oriented design methodologies represent the behavior of instances of an object type not merely by a set of operations, but also by providing an overall description on how instances evolve over time. Such a description is often referred to as...