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 4 Issue 2, April 1995

Aspect: detecting bugs with abstract dependences
Daniel Jackson
Pages: 109-145
DOI: 10.1145/210134.210135
Aspect is a static analysis technique for detecting bugs in imperative programs, consisting of an annotation language and a checking tool. Like a type declaration, an Aspect annotation of a procedure is a kind of declarative, partial...

Signature matching: a tool for using software libraries
Amy Moormann Zaremski, Jeannette M. Wing
Pages: 146-170
DOI: 10.1145/210134.210179
Signature matching is a method for organizing, navigating through, and retrieving from software libraries. We consider two kinds of software library components—functions and modules—and hence two kinds of...

Graph models for reachability analysis of concurrent programs
Mauro Pezzè, Richard N. Taylor, Michal Young
Pages: 171-213
DOI: 10.1145/210134.210180
The problem of analyzing concurrent systems has been investigated by many researchers, and several solutions have been proposed. Among the proposed techniques, reachability analysis—systematic enumeration of reachable states in a...

Comments on “the cost of selective recompilation and environment processing”
Bevin R. Brett
Pages: 214-216
DOI: 10.1145/210134.210435

Authors' response
Walter Tichy, Rolf Adams, Annette Weinert
Pages: 217-219
DOI: 10.1145/210134.210438