Journal of Systems and Software (JSS), Volume 7

Volume 7, Number 1, March 1987

• Should We Prepare for a 4GL Future? 1-2
  Electronic Edition (link) BibTeX
• Mariagrazia Fugini, Giancarlo Martella:
  Conceptual modeling of authorization in database systems. 3-13
  Electronic Edition (link) BibTeX
• Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés:
  On the use of executable assertions in structured programs. 15-28
  Electronic Edition (link) BibTeX
• David N. Card, William W. Agresti:
  Resolving the software science anomaly. 29-35
  Electronic Edition (link) BibTeX
• K. Narayanaswamy, Walt Scacchi:
  A database foundation to support software system evolution. 37-49
  Electronic Edition (link) BibTeX
• Susan C. Felix-Simpson, H. Pat Artis:
  Implementing an analytic model for customer information control systems (CICS). 51-60
  Electronic Edition (link) BibTeX
• Michael F. Merriman:
  Automated interactive simulation modeling system: AISIM. 61-72
  Electronic Edition (link) BibTeX
• James D. Arthur:
  Toward a formal specification of menu-based systems. 73-82
  Electronic Edition (link) BibTeX
• David N. Card, William W. Agresti:
  Comments on resolving the software science anomaly. 83-84
  Electronic Edition (link) BibTeX

Volume 7, Number 2, June 1987

• Standards and enforcers: Do they really help achieve software quality? 87-88
  Electronic Edition (link) BibTeX
• Flavio R. Dias Velasco:
  A method for test data selection. 89-97
  Electronic Edition (link) BibTeX
• Paolino Di Felice:
  On the development of reliable large software. 99-107
  Electronic Edition (link) BibTeX
• Michael Dyer:
  A formal approach to software error removal. 109-114
  Electronic Edition (link) BibTeX
• D. Ross Jeffery:
  A software development productivity model for MIS environments. 115-125
  Electronic Edition (link) BibTeX
• Kristine Stougaard Thomsen, Jørgen Lindskov Knudsen:
  A taxonomy for programming languages with multisequential processes. 127-140
  Electronic Edition (link) BibTeX
• Bradley J. Brown:
  Checksum methodology as a configuration management tool. 141-143
  Electronic Edition (link) BibTeX
• A. Rosselet:
  Language definition-based compiler development. 145-161
  Electronic Edition (link) BibTeX
• David Alex Lamb, Ivor Durham, Joseph M. Newcomer:
  DRAT: A program for maintaining listings. 163-171
  Electronic Edition (link) BibTeX
• June M. Verner, Graham Tate:
  A model for software sizing. 173-177
  Electronic Edition (link) BibTeX

Volume 7, Number 3, September 1987

• Editor's corner: No silver bullet: A look at software research via the fred brooks article. 181-182
  Electronic Edition (link) BibTeX
• R. Nigel Horspool, Ronald M. Huberman:
  Analysis and development of demand prepaging policies. 183-194
  Electronic Edition (link) BibTeX
• Wei Zhao, Krithi Ramamritham:
  Simple and integrated heuristic algorithms for scheduling tasks with time and resource constraints. 195-205
  Electronic Edition (link) BibTeX
• Hershey H. Friedman, Linda Weiser Friedman:
  Marketing methods for software. 207-212
  Electronic Edition (link) BibTeX
• Warren Harrison, Curtis R. Cook:
  A micro/macro measure of software complexity. 213-219
  Electronic Edition (link) BibTeX
• Daniel M. Berry, Nancy Yavne, Moshe Yavne:
  Application of program design language tools to abbott's method of program design by informal natural language descriptions. 221-247
  Electronic Edition (link) BibTeX

Volume 7, Number 4, December 1987

• What's really wrong with COBOL? 251-252
  Electronic Edition (link) BibTeX
• Frank G. F. Davis, Rex E. Gantenbein:
  Recovering from a computer virus attack. 253-258
  Electronic Edition (link) BibTeX
• David Lorge Parnas, David M. Weiss:
  Active design reviews: Principles and practices. 259-265
  Electronic Edition (link) BibTeX
• Allen L. Ambler:
  Experience with a functionally layered multicomputer architecture for interactive processing. 267-277
  Electronic Edition (link) BibTeX
• Donald J. Reifer:
  SoftCost-R: User experiences and lessons learned at the age of one. 279-286
  Electronic Edition (link) BibTeX
• Daniel Joyce:
  An identification and investigation of software design guidelines for using encapsulation units. 287-295
  Electronic Edition (link) BibTeX
• David W. E. Blatt:
  A comparison of network and hierarchical data management in large programming projects. 297-309
  Electronic Edition (link) BibTeX
• Pierre L'Ecuyer:
  Formal formatting rules for Pascal programs. 311-322
  Electronic Edition (link) BibTeX
• Elliot Soloway:
  Special section on empirical studies of programming. 323
  Electronic Edition (link) BibTeX
• Stanley Letovsky:
  Cognitive processes in program comprehension. 325-339
  Electronic Edition (link) BibTeX
• David C. Littman, Jeannine Pinto, Stanley Letovsky, Elliot Soloway:
  Mental models and software maintenance. 341-355
  Electronic Edition (link) BibTeX
• Lisa A. Onorato, Roger W. Schvaneveldt:
  Programmer-nonprogrammer differences in specifying procedures to people and computers. 357-369
  Electronic Edition (link) BibTeX