Journal of Systems and Software (JSS), Volume 3

Volume 3, Number 1, March 1983

• Alan B. Salisbury, John H. Manley:
  Editors' introduction. 1
  Electronic Edition (link) BibTeX
• Barry W. Boehm:
  Seven basic principles of software engineering. 3-24
  Electronic Edition (link) BibTeX
• Margaret Hamilton, Saydean Zeldin:
  The functional life cycle model and its automation: USE.IT. 25-62
  Electronic Edition (link) BibTeX
• Harry M. Sneed:
  Softing software engineering system. 63-76
  Electronic Edition (link) BibTeX
• Donald O'Neill:
  Integration engineering perspective. 77-83
  Electronic Edition (link) BibTeX
• Ali Mili, Donna Reese:
  Representation and manipulation of information systems: A simplified approach. 85-93
  Electronic Edition (link) BibTeX
• Brent D. Kornman:
  Pattern matching and pattern-directed invocation in systems programming languages. 95-102
  Electronic Edition (link) BibTeX

Volume 3, Number 2, June 1983

• Richard E. Fairley:
  Editor's introduction. 105
  Electronic Edition (link) BibTeX
• Ramchandra D. Joshi:
  Software development for reliable software systems. 107-121
  Electronic Edition (link) BibTeX
• Jack C. Wileden, John H. Sayler, William E. Riddle, Alan R. Segal, Allan M. Stavely:
  Behavior specification in a software design system. 123-135
  Electronic Edition (link) BibTeX
• Allan M. Stavely:
  Modeling and projection in software development. 137-146
  Electronic Edition (link) BibTeX
• Steven F. Jennings, Arthur E. Oldehoeft:
  An analysis of program execution on a recursive stream-oriented data flow architecture. 147-154
  Electronic Edition (link) BibTeX
• Billy G. Claybrook, H. Rex Hartson:
  Language extensions for specifying program access control policies in programming languages. 155-162
  Electronic Edition (link) BibTeX
• H. G. Stuebing:
  Industrialization of weapon system software. 163-171
  Electronic Edition (link) BibTeX
• Nancy G. Leveson, Peter R. Harvey:
  Software fault tree analysis. 173-181
  Electronic Edition (link) BibTeX

Volume 3, Number 3, September 1983

• Richard E. Fairley:
  Editor's introduction. 185
  Electronic Edition (link) BibTeX
• Klaas G. van der Poel, Stephen R. Schach:
  A software metric for cost estimation and efficiency measurement in data processing system development. 187-191
  Electronic Edition (link) BibTeX
• Erika Nyari, Harry M. Sneed:
  SOFSPEC: A pragmatic approach to automated specification verification. 193-200
  Electronic Edition (link) BibTeX
• H. Rex Hartson, Earl J. Balliet:
  A model of enforcement relationships among database access control dependencies. 201-217
  Electronic Edition (link) BibTeX
• U. Bussolati, Giancarlo Martella:
  Security design in distributed database systems. 219-229
  Electronic Edition (link) BibTeX
• W. M. Evangelist:
  Software complexity metric sensitivity to program structuring rules. 231-243
  Electronic Edition (link) BibTeX
• R. Nigel Horspool, Jeffrey M. Laks:
  An improved block sequencing method for program restructuring. 245-250
  Electronic Edition (link) BibTeX

Volume 3, Number 4, December 1983

• Richard E. Fairley:
  Editor's introduction. 253-254
  Electronic Edition (link) BibTeX
• Peter C. Bates, Jack C. Wileden:
  High-level debugging of distributed systems: The behavioral abstraction approach. 255-264
  Electronic Edition (link) BibTeX
• Bernd Brügge, Peter G. Hibbard:
  Generalized path expressions: A high-level debugging mechanism^, . 265-276
  Electronic Edition (link) BibTeX
• Thomas A. Cargill:
  The Blit debugger. 277-284
  Electronic Edition (link) BibTeX
• Peter Fritzson:
  Symbolic debugging through incremental compilation in an integrated environment. 285-294
  Electronic Edition (link) BibTeX
• Michael L. Powell, Mark A. Linton:
  A database model of debugging. 295-300
  Electronic Edition (link) BibTeX
• Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson:
  Knowledge-based fault localization in debugging. 301-307
  Electronic Edition (link) BibTeX
• W. Morven Gentleman, Henry Hoeksma:
  Hardware assisted high-level debugging. 309-314
  Electronic Edition (link) BibTeX
• Claude Jard, Gregor von Bochmann:
  An approach to testing specifications. 315-323
  Electronic Edition (link) BibTeX