ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 4

Volume 4, Number 1, January 1995

David Binkley, Susan Horwitz, Thomas W. Reps:
Program Integration for Languages with Procedure Calls. 3-35
William E. Howden, Yudong Huang:
Software Trustability Analysis. 36-64
Michal Young, Richard N. Taylor, David L. Levine, Kari A. Nies, Debra Brodbeck:
A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design, and Preliminary Experience. 65-106

Daniel Jackson:
Aspect: Detecting Bugs with Abstract Dependences. 109-145
Amy Moormann Zaremski, Jeannette M. Wing:
Signature Matching: A Tool for Using Software Libraries. 146-170
Mauro Pezzè, Richard N. Taylor, Michal Young:
Graph Models for Reachability of Concurrent Programs. 171-213
Bevin R. Brett:
Comments on "The Cost of Selective Recompilation and Environment Processing". 214-215
, ->ACM Trans. Softw. Eng. Methodol. 3(1): 3-28(1994)
Rolf Adams, Walter F. Tichy, Annette Weinert:
Authors' Response. 217-219

Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil:
APPL/A: A Language for Software Process Programming. 221-286
H. Rebecca Callison:
A Time-Sensitive Object Model for Real-Time Systems. 287-317

Gregory D. Abowd, Robert J. Allen, David Garlan:
Formalizing Style to Understand Descriptions of Software Architecture. 319-364
Daniel Jackson:
Structuring Z Specifications with Views. 365-389

Last update Fri May 25 09:48:11 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page