Journal of Systems and Software (JSS), Volume 3

Volume 3, Number 1, March 1983

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

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

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

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