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 3 Issue 2, April 1994

The ASTOOT approach to testing object-oriented programs
Roong-Ko Doong, Phyllis G. Frankl
Pages: 101-130
DOI: 10.1145/192218.192221
This article describes a new approach to the unit testing of object-oriented programs, a set of tools based on this approach, and two case studies. In this approach, each test case consists of a tuple of sequences of messages, along with tags...

A graphical interval logic for specifying concurrent systems
L. K. Dillon, G. Kutty, L. E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna
Pages: 131-165
DOI: 10.1145/192218.192226
This article describes a graphical interval logic that is the foundation of a tool set supporting formal specification and verification of concurrent software systems. Experience has shown that most software engineers find standard temporal...

An algebraic theory of class specification
Francesco Parisi-Presicce, Alfonso Pierantonio
Pages: 166-199
DOI: 10.1145/192218.192235
The notion of class (or object pattern) as defined in most object-oriented languages is formalized using known techniques from algebraic specifications. Inheritance can be viewed as a relation betweeen classes, which suggests how classes can be...