The Journal of Systems and Software Volume 15, Number 1, April 1991 SPECIAL ISSUE ON GRASPIN SOFTWARE Contents Editor’s Corner: The Computing Communication Chasm: Some New Insight Into Why It Is There, And What Can Be Done About It Robert L. Glass The GRASPIN Software Engineering Environment Dimitris Christodoulakis The Project GRASPIN and Ks CASE Environment Prototypes: An Overview Wolf D. Itzfeldt, Bernd Kramer, and Marie-Luise Christ-Neumann Introducing the GRASPIN Specification Language SEGRAS 17 Bernd Kramer A Sort of Parametric Polymorphism for Algebraic Specifications 33 Bernd Kramer Prototyping and Analysis of Non-Sequential Systems Using Predicate-Event Nets 43 Heinz W. Schmidt Teward Formal Medels of Seftware Engineering Processes 63 Bernd Kramer and Lugi The GRASPIN Data Base 7§ S. Goutas, P. Soupos, and D. Christodoulakis Communicating in Software Engineering Environments: The GRASPIN Paradigm 83 I. Gaviotis, A. Hatzimanikatis, and D. Christodoulakis Controversy Corner: Portrait of a (Software) Engineer 91 Robert L. Baber Biographies 161 The Journal of Systems and Software Volume 15, Number 2, May 1991 Contents Editor’s Corner: 103 Formal Methods vs. Heuristics: Clarifying a Controversy Robert L. Glass Parametric Estimation of Programming Effort: An Object-Oriented Model 107 Richard L. Jenson and Jon W. Bartley High-Level Tools for Language Implementation 115 Kai Koskimies and Jukka Paakki An Overview of Automated Software Testing 133 Antonia Bertolino A Computer Aided Design System to Develop High Performance Software 139 Reda A. Ammar Course and Classroom Scheduling: An Interactive Computer Graphics Approach 149 Dennis F. X. Mathaisel and Clare L. Comm An Experiment in Software Sizing with Structured Analysis Metrics 159 Pierre Bourque and Vianney Coté Requirements Specification for Ada Software Under DoD-STD-2167A 173 Neal Walters Process Interface Modeling and Consistency Checking 185 Chenho Kung Deliberations on Kung’s Process Interface Modeling 193 David L. Coleman and Albert L. Baker Biographies 201 The Journal of oe) Svstems and Software Volume 15, Number 3, July 1991 Contents Editor’s Corner: The (Solved, Unsolved) Problem of Literature Searches 203 Robert L. Glass An Investigation of the Applicability of Data Usage Analysis 205 Linda L. Werner and William E. Howden Knowledge Representation Using Views in Relational Deductive Data Bases 217 Yuksel Uckan Data Compression Using Hierarchical Dictionaries 233 Daniel K. Chang A Petri Net Model for System Design and Refinement 239 Vijay Varadharajan A Methodology for Integrating Heterogeneous Data Bases in a Hospital Environment 251 Magdi N. Kamel and Moshe Zviran Performance Evaluation of Scheduling Algorithms for Imprecise Computer Systems 261 Edwin K. P. Chong and Wei Zhao Increasing the Willingness of Novices to Use Computer Application Software 279 Richard E. Yellen and Jay F. Nunamaker A Programming Style Taxonomy 287 Paul W. Oman and Curtis R. Cook Biographies 303 Volume Contents