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

Volume 8, Number 1, January 1999

• Jonathan S. Ostroff:
  Composition and Refinement of Discrte Real-Time Systems. 1-48
  
• Shing-Chi Cheung, Jeff Kramer:
  Checking Safety Properties Using Compositional Reachability Analysis. 49-78
  
• Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti:
  From Formal Models to Formally Based Methods: An Industrial Experience. 79-113
  

Volume 8, Number 2, April 1999

• Peter J. McCann, Gruia-Catalin Roman:
  Modeling Mobile IP in Mobile UNITY. 115-146
  
• Jonathan E. Cook, Alexander L. Wolf:
  Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. 147-176
  
• Premkumar T. Devanbu:
  GENOA - A Customizable, Front-end-Retargetable Source Code Analysis Framework. 177-212
  

Volume 8, Number 3, July 1999

• Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini:
  A Hierarchy-aware Approach to Faceted Classification of Objected-Oriented Components. 215-262
  
• Andy Podgurski, Wassim Masri, Yolanda McCleese, Francis G. Wolff, Charles Yang:
  Estimation of Software Reliability by Stratified Sampling. 263-283
  
• Jean-Marc Jézéquel:
  Reifying Variants in Configuration Management. 284-295
  

Volume 8, Number 4, October 1999

• Steven P. Reiss:
  The Desert environment. 297-342
  
• Klaus Pohl, Klaus Weidenhaupt, Ralf Dömges, Peter Haumer, Matthias Jarke, Ralf Klamma:
  PRIME - Toward process-integrated modeling environments: 1. 343-410
  
• D. Richard Kuhn:
  Fault classes and error detection capability of specification-based testing. 411-424
  
• Ernesto Damiani, Maria Grazia Fugini, Carlo Bellettini:
  Corrigenda: a hierarchy-aware approach to faceted classification of object-oriented components. 425-472