Reliable Software

Keyphrases

Publications

1975

Norman F. Schneidewind
Analysis of error processes in computer software. Reliable Software (1975)
C. V. Ramamoorthy, Siu-Bun F. Ho
Testing large software with automated software evaluation systems. Reliable Software (1975)
John B. Goodenough, Susan L. Gerhart
Toward a theory of test data selection. Reliable Software (1975)
William C. Lynch, John W. Langner, Marvin S. Schwartz
Reliability experience with Chi/OS. Reliable Software (1975)
J.-C. Rault
Design verification techniques - a review. Reliable Software (1975)
Victor A. Vyssotsky
Large-scale reliable software: Recent experience at bell labs. Reliable Software (1975)
C. A. R. Hoare
Data reliability. Reliable Software (1975)
Laurian M. Chirica, David F. Martin
An approach to compiler correctness. Reliable Software (1975)
Harlan D. Mills
How to write correct programs and know it. Reliable Software (1975)
Lawrence Robinson, Karl N. Levitt, Peter G. Neumann, Ashok R. Saxena
On attaining reliable software for a secure operating system. Reliable Software (1975)
Peter Henderson
Finite state modelling in program development. Reliable Software (1975)
Rod M. Burstall, John Darlington
Some transformations for developing recursive programs. Reliable Software (1975)
Loren C. Carpenter, Leonard L. Tripp
Software design validation tool. Reliable Software (1975)
Albert Endres
An analysis of errors and their causes in system programs. Reliable Software (1975)
Charles M. Geschke, James G. Mitchell
On the problem of uniform references to data structures. Reliable Software (1975)
A. O. Buda, A. A. Granovaky, Andrei P. Ershov
Implementation of the Alpha-6 programming system. Reliable Software (1975)
N. P. Edwards
The effect of certain modular design principles on testability. Reliable Software (1975)
Isao Miyamoto
"Software reliability in online real time environment". Reliable Software (1975)
Frederick P. Brooks Jr.
The Mythical Man-Month. Reliable Software (1975)
Donald J. Reifer
Automated aids fob reliable software. Reliable Software (1975)
Michel Sintzoff, Axel van Lamsweerde
Constructing correct and efficient concurrent programs. Reliable Software (1975)
Ruth M. Davis
The software reliability game. Reliable Software (1975)
Hermann Kopetz
On the connections between range of variable and control structure testing. Reliable Software (1975)
Donald I. Good, Ralph L. London, W. W. Bledsoe
An interactive program verification system. Reliable Software (1975)
Niklaus Wirth
An assessment of the programming language PASCAL. Reliable Software (1975)
William A. Wulf
Reliable hardware-software architecture. Reliable Software (1975)
Stephen S. Yau, R. C. Cheung
Design of self-checking software. Reliable Software (1975)
Norihisa Suzuki
Verifying programs by algebraic and logical reduction. Reliable Software (1975)
Susan L. Gerhart
Knowledge about programs: A model and case study. Reliable Software (1975)
Robert S. Boyer, Bernard Elspas, Karl N. Levitt
SELECT - a formal system for testing and debugging programs by symbolic execution. Reliable Software (1975)
Barry W. Boehm, Robert K. McClean, D. B. Urfrig
Some experience with automated aids to the design of large-scale reliable software. Reliable Software (1975)
A. Cicu, Marco Maiocchi, Roberto Polillo, A. Sardoni
Organizing tests during software evolution. Reliable Software (1975)
Shmuel Katz, Zohar Manna
Towards automatic debugging of programs. Reliable Software (1975)
Frank DeRemer, Hans H. Kron
Programming-in-the large versus programming-in-the-small. Reliable Software (1975)
Per Brinch Hansen
The purpose of concurrent Pascal. Reliable Software (1975)
James C. King
A new approach to program testing. Reliable Software (1975)
Edsger W. Dijkstra
Correctness concerns and, among other things, why they are resented. Reliable Software (1975)
John R. Brown, Myron Lipow
Testing for software reliability. Reliable Software (1975)
Leon G. Stucki, Gary L. Foshee
New assertion concepts for self-metric software validation. Reliable Software (1975)
Ralph L. London
A view of program verification. Reliable Software (1975)
Raymond J. Rubey
Quantitative aspects of software validation. Reliable Software (1975)
Martin L. Shooman, M. I. Bolsky
Types, distribution, and test and correction times for programming errors. Reliable Software (1975)
Kenneth G. Walter, Samuel I. Schaen, William F. Ogden, William C. Rounds, D. G. Shumway, D. D. Schaeffer, K. J. Biba, Franklyn T. Bradshaw, S. R. Ames, J. M. Gilligan
Structured specification of a Security Kernel. Reliable Software (1975)
Bev Littlewood
A reliability model for Markov structured software. Reliable Software (1975)
D. E. W. Bucher
Maintenance of the computer sciences teleprocessing system. Reliable Software (1975)
Proceedings of the International Conference on Reliable Software 1975, Los Angeles, California, USA, April 21-23, 1975 Reliable Software (1975)
Ashok K. Trivedi, Martin L. Shooman
A many-state Markov model for the estimation and prediction of computer software performance parameters. Reliable Software (1975)
Ashok R. Saxena, Thomas H. Bredt
A structured specification of a hierarchical operating system. Reliable Software (1975)
Donald I. Good
Provable programming. Reliable Software (1975)
R. Infante, U. Montanary
Proving structured programs correct, level by level. Reliable Software (1975)