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, (comment ACM Trans. Softw. Eng. Methodol. 4(2): 214-215 (1995))
  
• István Forgács:
  Double Iterative Framework for Flow-Sensitive Interprocedural Data Flow Analysis. 29-55
  
• Angelo Morzenti, Pierluigi San Pietro:
  Object-Oriented Logical Specification of Time-Critical Systems. 56-98
  

Volume 3, Number 2, April 1994

• Roong-Ko Doong, Phyllis G. Frankl:
  The ASTOOT Approach to Testing Object-Oriented Programs. 101-130
  
• 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
  
• Francesco Parisi-Presicce, Alfonso Pierantonio:
  An Algebraic Theory of Class Specification. 166-199
  

Volume 3, Number 3, July 1994

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

Volume 3, Number 4, October 1994

• Christian Creveuil, Gruia-Catalin Roman:
  Formal Specification and Designof a Message Router. 271-307
  
• Miguel Felder, Angelo Morzenti:
  Validating Real-Time Systems by History-Checking TRIO Specifications. 308-339
  
• 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
  

Last update Sat May 25 17:02:33 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page