Journal of Systems and Software (JSS), Volume 21

Volume 21, Number 1, April 1993

• Robert L. Glass:
  Editor's corner can english majors write maintenance documentation? 1-2
  
• Antero Taivalsaari:
  On the notion of object. 3-16
  
• Daan B. B. Rijsenbrij, A. H. Bauer:
  Project diagnosis a proper start is half the battle. 17-25
  
• Shang-Rong Tsai, Lian-Jou Tsai:
  A logical machine monitor supporting an environment for development and execution of operating systems. 27-39
  
• Kam-Fai Wong:
  Design considerations of a parallel recovery scheme for the EDS data base server. 41-48
  
• Harvey Rubinovitz, Bhavani M. Thuraisingham:
  Design and implementation of a query processor for a trusted distributed data base management system. 49-69
  
• Samir M. Koriem, Lalit M. Patnaik:
  Fault-tolerance analysis of hypercube systems using Petri net theory. 71-88
  
• Zoubir Belmesk:
  An efficient implementation model for the FP2 parallel language. 89-101
  
• Mitchell L. Neilsen, Masaaki Mizuno:
  A quorum-based algorithm for parameterized semaphore operations. 103-112
  

Volume 21, Number 2, May 1993

• Robert L. Glass:
  Editor's corner : Of understanding, acceptance, ... and formal methods. 115-116
  
• Bruce I. Blum:
  The economics of adaptive design. 117-128
  
• Ulrich Furbach:
  Formal specification methods for reactive systems. 129-139
  
• Shaoying Liu:
  A formal requirements specification method based on data flow analysis. 141-149
  
• J. Song:
  A layout tool for Glotos. 151-162
  
• Anneliese von Mayrhauser, Deepak Dube:
  Simple and fast approximations for generalized stochastic Petri nets. 163-177
  
• Heeseok Lee:
  A structured methodology for software development effort prediction using the analytic hierarchy process. 179-186
  
• Girish H. Subramanian, Steven Breslawski:
  Dimensionality reduction in software development effort estimation. 187-196
  

Volume 21, Number 3, June 1993

• James M. Bieman, Pradip K. Srimani:
  Editor's corner : Applying specification, verification, and validation techniques. 199-200
  
• William S. Lloyd, Phil Kearns:
  Tracing the execution of distributed programs. 201-214
  
• Lynn M. Foreman, Stuart H. Zweben:
  A study of the effectiveness of control and data flow testing strategies. 215-228
  
• Pierre Dauchy, Marie-Claude Gaudel, Bruno Marre:
  Using algebraic specifications in software testing: A case study on the software of an automatic subway. 229-244
  
• Martin Reck:
  Formally specifying an automated trade execution system. 245-252
  
• David C. Luckham, James Vera, Doug Bryan, Larry M. Augustin, Frank C. Belz:
  Partial orderings of event sets and their application to prototyping concurrent, timed systems. 253-265
  
• Paulo Borba, Silvio Romero de Lemos Meira:
  From VDM specifications to functional prototypes. 267-278
  
• Peter Fenelon, John A. McDermid:
  An integrated tool set for software safety analysis. 279-290
  
• Padmanabhan Krishnan:
  Specification of systems with interrupts. 291-304
  
• Yukuh Tung, Amir A. Khwaja, Joseph E. Urban:
  Multiple views of an executable software specification language. 305-319