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
  
• Gail E. Kaiser, Simon M. Kaplan:
  Parallel and Distributed Incremental Attribute Evaluation Algorithms for Multiuser Software Development Environments. 47-92
  
• James A. Whittaker, Jesse H. Poore:
  Markow Analysis of Software Specifications. 93-106
  

Volume 2, Number 2, April 1993

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

Volume 2, Number 3, July 1993

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

Volume 2, Number 4, October 1993

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

Last update Fri May 17 20:56:35 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page