Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Systems and Software (JSS), Volume 1
Volume 1, 1979
- John H. Manley, Alan B. Salisbury:
Editors' introduction. 1 - Clarence Giese:
Partitioning considerations for complex computer based weapon systems. 3-18 - Jorge E. Rodriguez, Sol J. Greenspan:
Directed flowgraphs: The basis of a specification and construction methodology for real-time systems. 19-27 - Margaret H. Hamilton, Saydean Zeldin:
The relationship between design and verification. 29-56 - David M. Weiss:
Evaluating software development by error analysis: The data from the Architecture Research Facility. 57-70 - Myron Lipow:
Prediction of software failures. 71-75 - Leon J. Osterweil, John R. Brown, Leon G. Stucki:
ASSET: A life cycle verification and visibility system. 77-86 - Samuel S. Snyder:
Influence of U.S. Cryptologic Organizations on the digital computer industry. 87-102
Volume 1, 1980
- John H. Manley, Alan B. Salisbury:
Editor's introduction. 105 - Arndt von Staa, Donald D. Cowan:
The development proposal: The first step in software system construction. 107-122 - Victor R. Basili, John G. Perry Jr.:
Transporting up: A case study. 123-129 - John H. Reynolds:
Evaluation of contemporary software engineering techniques for a large FORTRAN simulation. 131-140 - Hubert E. Dunsmore, John D. Gannon:
Analysis of the effects of programming factors on programming effort. 141-153 - Alan B. Salisbury:
TACFIRE: A case history of a weapon system software development. 155-175 - Victor R. Basili:
Introduction to the special issue on Software Life Cycle Management. 179 - Robert C. Tausworthe:
The work breakdown structure in software project management. 181-186 - Robert C. McHenry, Jerry A. Rand:
Software technology and integration engineering. 187-193 - Barry W. Boehm, Ray W. Wolverton:
Software cost modeling: Some lessons learned. 195-201 - Robert Thibodeau, E. N. Dodson:
Life cycle phase interrelationships. 203-211 - Meir M. Lehman:
On understanding laws, evolution, and conservation in the large-program life cycle. 213-221 - John D. Musa:
Software reliability measurement. 223-241 - Amrit L. Goel:
Software error detection model with applications. 243-249 - Bev Littlewood:
The Littlewood-Verrall model for software reliability compared with some rivals. 251-258 - George J. Schick, Chi-Yuan Lin:
Use of a subjective prior distribution for the reliability of computer software. 259-266 - Alan B. Salisbury, John H. Manley:
Editors introduction. 271 - J. David Naumann, Gordon B. Davis, James D. McKeen:
Determining information requirements: A contingency method for selection of a requirements assurance strategy. 273-281 - Richard H. Thayer:
Organizational structures used in software development by the U.S. aerospace industry. 283-297 - Kenneth E. Kendall:
A decentralized information and control system for blood management. 299-306 - William E. Howden:
Functional testing and design abstractions. 307-313 - Kazu Okumoto, Amrit L. Goel:
Optimum release time for software systems based on reliability and cost criteria. 315-318 - Stephen S. Yau, John L. Ramey, Robin A. Nicholl:
Assertion techniques for dynamic monitoring of linear list data structures. 319-336 - C. Murray Woodside:
A mathematical model for the evolution of software. 337-345
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-07-22 23:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
