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

Volume 2, Number 1, January 1993

• Manfred Broy:
  Functional Specification of Time-Sensitive Communicating Systems. 1-46
  Electronic Edition (ACM DL) BibTeX
• Gail E. Kaiser, Simon M. Kaplan:
  Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environments. 47-92
  Electronic Edition (ACM DL) BibTeX
• James A. Whittaker, Jesse H. Poore:
  Markow Analysis of Software Specifications. 93-106
  Electronic Edition (ACM DL) BibTeX

Volume 2, Number 2, April 1993

• Richard A. DeMillo, A. Jefferson Offutt:
  Experimental Results from an Automatic Test Case Generator. 109-127
  Electronic Edition (ACM DL) BibTeX
• Yishai A. Feldman, Haim Schneider:
  Simulating Reactive Systems by Deduction. 128-175
  Electronic Edition (ACM DL) BibTeX
• Paul Klint:
  A Meta-Environment for Generating Programming Environments. 176-201
  Electronic Edition (ACM DL) BibTeX

Volume 2, Number 3, July 1993

• Paolo Ciancarini:
  Coordinating Rule-Based Software Processes with ESP. 203-227
  Electronic Edition (ACM DL) BibTeX
• William G. Griswold, David Notkin:
  Automated Assistance for Program Restructuring. 228-269
  Electronic Edition (ACM DL) BibTeX
• Mary Jean Harrold, Rajiv Gupta, Mary Lou Soffa:
  A Methodology for Controlling the Size of a Test Suite. 270-285
  Electronic Edition (ACM DL) BibTeX
• Andy Podgurski, Lynn Pierce:
  Retrieving Reusable Software by Sampling Behaviour. 286-303
  Electronic Edition (ACM DL) BibTeX

Volume 2, Number 4, October 1993

• Laura K. Dillon:
  A Visual Model for Ada Tasking. 311-345
  Electronic Edition (ACM DL) BibTeX
• Farn Wang, Aloysius K. Mok, E. Allen Emerson:
  Distributed Real-Time System Specification and Verification in APTL. 346-378
  Electronic Edition (ACM DL) BibTeX
• Pamela Zave, Michael Jackson:
  Conjunction as Composition. 379-411
  Electronic Edition (ACM DL) BibTeX