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
  Electronic Edition (ACM DL) BibTeX
• William E. Howden, Yudong Huang:
  Software Trustability Analysis. 36-64
  Electronic Edition (ACM DL) BibTeX
• 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
  Electronic Edition (ACM DL) BibTeX

Volume 4, Number 2, April 1995

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

Volume 4, Number 3, July 1995

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

Volume 4, Number 4, October 1995

• Gregory D. Abowd, Robert B. Allen, David Garlan:
  Formalizing Style to Understand Descriptions of Software Architecture. 319-364
  Electronic Edition (ACM DL) BibTeX
• Daniel Jackson:
  Structuring Z Specifications with Views. 365-389
  Electronic Edition (ACM DL) BibTeX