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

Volume 3, Number 1, January 1994

• Rolf Adams, Walter F. Tichy, Annette Weinert:
  The Cost of Selective Recompilation and Environment Processing. 3-28
  Electronic Edition (ACM DL) BibTeX comment: ACM Trans. Softw. Eng. Methodol. 4(2): 214-215(1995) BibTeX
• István Forgács:
  Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis. 29-55
  Electronic Edition (ACM DL) BibTeX
• Angelo Morzenti, Pierluigi San Pietro:
  Object-Oriented Logical Specification of Time-Critical Systems. 56-98
  Electronic Edition (ACM DL) BibTeX

Volume 3, Number 2, April 1994

• Roong-Ko Doong, Phyllis G. Frankl:
  The ASTOOT Approach to Testing Object-Oriented Programs. 101-130
  Electronic Edition (ACM DL) BibTeX
• Laura K. Dillon, G. Kutty, Louise E. Moser, P. M. Melliar-Smith, Y. S. Ramakrishna:
  A Graphical Interval Logic for Specifying Concurrent Systems. 131-165
  Electronic Edition (ACM DL) BibTeX
• Francesco Parisi-Presicce, Alfonso Pierantonio:
  An Algebraic Theory of Class Specification. 166-199
  Electronic Edition (ACM DL) BibTeX

Volume 3, Number 3, July 1994

• Philip J. Bernhard:
  A Reduced Test Suite for Protocol Conformance Testing. 201-220
  Electronic Edition (ACM DL) BibTeX
• Yoonsik Cheon, Gary T. Leavens:
  The Larch/Smalltalk Interface Specification Language. 221-253
  Electronic Edition (ACM DL) BibTeX
• Bingchiang Jeng, Elaine J. Weyuker:
  A Simplified Domain-Testing Strategy. 254-270
  Electronic Edition (ACM DL) BibTeX

Volume 3, Number 4, October 1994

• Christian Creveuil, Gruia-Catalin Roman:
  Formal Specification and Designof a Message Router. 271-307
  Electronic Edition (ACM DL) BibTeX
• Miguel Felder, Angelo Morzenti:
  Validating Real-Time Systems by History-Checking TRIO Specifications. 308-339
  Electronic Edition (ACM DL) BibTeX
• Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz:
  Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada. 340-380
  Electronic Edition (ACM DL) BibTeX