Journal of Systems and Software (JSS), Volume 1

Volume 1, 1979

• John H. Manley, Alan B. Salisbury:
  Editors' introduction. 1
  Electronic Edition (link) BibTeX
• Clarence Giese:
  Partitioning considerations for complex computer based weapon systems. 3-18
  Electronic Edition (link) BibTeX
• Jorge E. Rodriguez, Sol J. Greenspan:
  Directed flowgraphs: The basis of a specification and construction methodology for real-time systems. 19-27
  Electronic Edition (link) BibTeX
• Margaret Hamilton, Saydean Zeldin:
  The relationship between design and verification. 29-56
  Electronic Edition (link) BibTeX
• David M. Weiss:
  Evaluating software development by error analysis: The data from the Architecture Research Facility. 57-70
  Electronic Edition (link) BibTeX
• Myron Lipow:
  Prediction of software failures. 71-75
  Electronic Edition (link) BibTeX
• Leon J. Osterweil, John R. Brown, Leon G. Stucki:
  ASSET: A life cycle verification and visibility system. 77-86
  Electronic Edition (link) BibTeX
• Samuel S. Snyder:
  Influence of U.S. Cryptologic Organizations on the digital computer industry. 87-102
  Electronic Edition (link) BibTeX

Volume 1, 1980

• John H. Manley, Alan B. Salisbury:
  Editor's introduction. 105
  Electronic Edition (link) BibTeX
• Arndt von Staa, Donald D. Cowan:
  The development proposal: The first step in software system construction. 107-122
  Electronic Edition (link) BibTeX
• Victor R. Basili, John G. Perry Jr.:
  Transporting up: A case study. 123-129
  Electronic Edition (link) BibTeX
• John H. Reynolds:
  Evaluation of contemporary software engineering techniques for a large FORTRAN simulation. 131-140
  Electronic Edition (link) BibTeX
• Hubert E. Dunsmore, John D. Gannon:
  Analysis of the effects of programming factors on programming effort. 141-153
  Electronic Edition (link) BibTeX
• Alan B. Salisbury:
  TACFIRE: A case history of a weapon system software development. 155-175
  Electronic Edition (link) BibTeX
• Victor R. Basili:
  Introduction to the special issue on Software Life Cycle Management. 179
  Electronic Edition (link) BibTeX
• Robert Tausworthe:
  The work breakdown structure in software project management. 181-186
  Electronic Edition (link) BibTeX
• Robert C. McHenry, Jerry A. Rand:
  Software technology and integration engineering. 187-193
  Electronic Edition (link) BibTeX
• Barry W. Boehm, Ray W. Wolverton:
  Software cost modeling: Some lessons learned. 195-201
  Electronic Edition (link) BibTeX
• Robert Thibodeau, E. N. Dodson:
  Life cycle phase interrelationships. 203-211
  Electronic Edition (link) BibTeX
• Meir M. Lehman:
  On understanding laws, evolution, and conservation in the large-program life cycle. 213-221
  Electronic Edition (link) BibTeX
• John D. Musa:
  Software reliability measurement. 223-241
  Electronic Edition (link) BibTeX
• Amrit L. Goel:
  Software error detection model with applications. 243-249
  Electronic Edition (link) BibTeX
• Bev Littlewood:
  The Littlewood-Verrall model for software reliability compared with some rivals. 251-258
  Electronic Edition (link) BibTeX
• George J. Schick, Chi-Yuan Lin:
  Use of a subjective prior distribution for the reliability of computer software. 259-266
  Electronic Edition (link) BibTeX
• Alan B. Salisbury, John H. Manley:
  Editors introduction. 271
  Electronic Edition (link) BibTeX
• J. David Naumann, Gordon B. Davis, James D. McKeen:
  Determining information requirements: A contingency method for selection of a requirements assurance strategy. 273-281
  Electronic Edition (link) BibTeX
• Richard H. Thayer:
  Organizational structures used in software development by the U.S. aerospace industry. 283-297
  Electronic Edition (link) BibTeX
• Kenneth E. Kendall:
  A decentralized information and control system for blood management. 299-306
  Electronic Edition (link) BibTeX
• William E. Howden:
  Functional testing and design abstractions. 307-313
  Electronic Edition (link) BibTeX
• Kazu Okumoto, Amrit L. Goel:
  Optimum release time for software systems based on reliability and cost criteria. 315-318
  Electronic Edition (link) BibTeX
• Stephen S. Yau, John L. Ramey, Robin A. Nicholl:
  Assertion techniques for dynamic monitoring of linear list data structures. 319-336
  Electronic Edition (link) BibTeX
• C. Murray Woodside:
  A mathematical model for the evolution of software. 337-345
  Electronic Edition (link) BibTeX