Journal of Systems and Software (JSS), Volume 15

Volume 15, Number 1, April 1991

• Robert L. Glass:
  Editor's corner : The computing communication chasm: Some new insight into why it is there, and what can be done about it. 1-2
  Electronic Edition (link) BibTeX
• Dimitris Christodoulakis:
  The GRASPIN software engineering environment. 3
  Electronic Edition (link) BibTeX
• Wolf D. Itzfeldt, Bernd J. Krämer, Marie-Luise Christ-Neumann:
  The project GRASPIN and its CASE environment prototypes: An overview. 5-16
  Electronic Edition (link) BibTeX
• Bernd J. Krämer:
  Introducing the GRASPIN specification language SEGRAS^, . 17-31
  Electronic Edition (link) BibTeX
• Bernd J. Krämer:
  A sort of parametric polymorphism for algebraic specifications. 33-42
  Electronic Edition (link) BibTeX
• Heinz W. Schmidt:
  Prototyping and analysis of non-sequential systems using predicate-event nets. 43-62
  Electronic Edition (link) BibTeX
• Bernd J. Krämer, Luqi:
  Toward formal models of software engineering processes. 63-74
  Electronic Edition (link) BibTeX
• S. Goutas, P. Soupos, Dimitris Christodoulakis:
  The GRASPIN data base. 75-82
  Electronic Edition (link) BibTeX
• Ioanis Gaviotis, A. Hatzimanikatis, Dimitris Christodoulakis:
  Communicating in software engineering environments: The GRASPIN paradigm. 83-89
  Electronic Edition (link) BibTeX
• Robert L. Baber:
  Portrait of a (software) engineer. 91-100
  Electronic Edition (link) BibTeX

Volume 15, Number 2, May 1991

• Robert L. Glass:
  Formal methods vs. heuristics: Clarifying a controversy. 103-105
  Electronic Edition (link) BibTeX
• Richard L. Jenson, Jon W. Bartley:
  Parametric estimation of programming effort: An object-oriented model. 107-114
  Electronic Edition (link) BibTeX
• Kai Koskimies, Jukka Paakki:
  High-level tools for language implementation. 115-131
  Electronic Edition (link) BibTeX
• Antonia Bertolino:
  An overview of automated software testing. 133-138
  Electronic Edition (link) BibTeX
• Reda A. Ammar:
  A computer aided design system to develop high performance software. 139-147
  Electronic Edition (link) BibTeX
• Dennis F. X. Mathaisel, Clare L. Comm:
  Course and classroom scheduling: An interactive computer graphics approach. 149-157
  Electronic Edition (link) BibTeX
• Pierre Bourque, Vianney Côté:
  An experiment in software sizing with structured analysis metrics. 159-172
  Electronic Edition (link) BibTeX
• Neal Walters:
  Requirements specification for Ada software under DoD-STD-2167A. 173-183
  Electronic Edition (link) BibTeX
• Chenho Kung:
  Process interface modeling and consistency checking. 185-191
  Electronic Edition (link) BibTeX
• David L. Coleman, Albert L. Baker:
  Deliberations on Kung's process interface modeling. 193-198
  Electronic Edition (link) BibTeX
• Chenho Kung:
  Response to "deliberations on Kung's process interface modeling". 199
  Electronic Edition (link) BibTeX

Volume 15, Number 3, July 1991

• Robert L. Glass:
  Editor's corner : The (solved, unsolved) problem of literature searches. 203-204
  Electronic Edition (link) BibTeX
• Linda L. Werner, William E. Howden:
  An investigation of the applicability of data usage analysis. 205-215
  Electronic Edition (link) BibTeX
• Yuksel Uckan:
  Knowledge representation using views in relational deductive data bases. 217-232
  Electronic Edition (link) BibTeX
• Daniel K. Chang:
  Data compression using hierarchical dictionaries. 233-238
  Electronic Edition (link) BibTeX
• Vijay Varadharajan:
  A petri net model for system design and refinement. 239-250
  Electronic Edition (link) BibTeX
• Magdi N. Kamel, Moshe Zviran:
  A methodology for integrating heterogeneous data bases in a hospital environment. 251-260
  Electronic Edition (link) BibTeX
• Edwin K. P. Chong, Wei Zhao:
  Performance evaluation of scheduling algorithms for imprecise computer systems. 261-277
  Electronic Edition (link) BibTeX
• Richard E. Yellen, Jay F. Nunamaker:
  Increasing the willingness of novices to use computer application software. 279-285
  Electronic Edition (link) BibTeX
• Paul W. Oman, Curtis R. Cook:
  A programming style taxonomy. 287-301
  Electronic Edition (link) BibTeX