Journal of Systems and Software (JSS), Volume 2

Volume 2, Number 1, February 1981

Alan B. Salisbury, John H. Manley:
Editors' introduction. 1
W. Douglas Brooks:
Software technology payoff: Some statistical evidence. 3-9
Thomas J. Wheeler:
Embedded system design with ADA as the system design language. 11-21
Laszlo A. Belady, Carlo J. Evangelisti:
System partitioning and its measure. 23-29
C. Sekar Chandersekaran, Richard C. Linger:
Software specification using the SPECIAL language. 31-38
Siba N. Mohanty:
Entropy metrics for software design evaluation. 39-46
Victor R. Basili, Karl Freburger:
Programming measurement and estimation in the software engineering laboratory. 47-57
Victor R. Basili, John Beane:
Can the Parr curve help with manpower distribution and resource estimation problems? 59-69
Lawrence J. Mazlack:
Natural language symbol string storage. 71-79

Alan B. Salisbury, John H. Manley:
Editors' introduction. 83
William E. Riddle:
Guest editor's introduction: Tool and methodology evaluation. 85-88
Richard G. Hamlet:
Hard-to-use evaluation criteria for software engineering. 89-96
Scott N. Woodfield, Vincent Yun Shen, Hubert E. Dunsmore:
A study of several metrics for programming effort. 97-103
Jean-Louis Lassez, D. van der Knijff, John Shepherd, Catherine Lassez:
A critical examination of software science. 105-112
Douglas Troy, Stuart H. Zweben:
Measuring the quality of structured designs. 113-120
Dennis G. Kafura, Sallie M. Henry:
Software quality metrics based on interconnectivity. 121-131
David J. Panzl:
A method for evaluating software development techniques. 133-137
Taylor L. Booth, Reda A. Ammar, Robert Lenk:
An instrumentation system to measure user performance in interactive systems. 139-146
Jerry L. Archibald:
The external structure: Experience with an automated module interconnection language. 147-157
Jonathan K. Millen, David L. Drake:
An experiment with affirm and HDM. 159-175
Paul R. McMullin, John D. Gannon:
Evaluating a data abstraction testing system based on formal specifications. 177-186

Alan B. Salisbury, John H. Manley:
Editors' introduction. 191
Niv Ahituv, Jonathan Halpern:
Data and reports: Contents design and users allocation. 193-199
Peter G. Harrison:
Efficient table-driven implementation of the finite state machine. 201-211
Glenn H. MacEwen, T. Patrick Martin:
Abstraction hierarchies in top-down design. 213-224
Eldred Nelson:
Functional programming analysis. 225-235
Montgomery Phister Jr.:
A model of the software development process. 237-255
M. J. Lawrence:
Programming methodology, organizational environment, and programming productivity. 257-269
Harvey S. Koch, Peter Kubat:
Quick and simple procedures to assess software reliability and facilitate project management. 271-276

Alan B. Salisbury, John H. Manley:
Editors' introduction. 279
Lawrence Bernstein:
Software project management audits. 281-287
Maria Majoros, Harry M. Sneed:
The softest program test system. 289-296
Russell J. Abbott, D. K. Moorhead:
Software requirements and specifications: A survey of needs and languages. 297-316
Edith W. Martin:
Introduction to collected papers on computing standards for embedded computer systems. 317-318
Jack Cooper:
MIL-STD-1679, weapon system software development. 319-327
Antonia D. Schuman:
The new software documentation standard: Report on the joint logistic commanders joint policy coordinating group on computer resource management, computer software management subgroup, software workshop. 329-336
Arthur E. Treiber:
Interoperability through effective information exchange standards. 337-350
Paul M. Cohen:
Ada programming language standardization. 351-355
Matthew J. Fisher:
Software QA standards - the coming revolution. 357-362
Jerry Raveling:
Status and outlook for DoD configuration management requirements. 363-370
Gordon R. England:
Implementation of computing standards. 371-377