Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Techniques of Program Structure and Design
Techniques of Program Structure and Design
Program Style, Design, Efficiency, DeBugging and Testing
Program Style, Design, Efficiency, DeBugging and Testing
Toward Creative Systems Design
Toward Creative Systems Design
Systematic Programming: An Introduction
Systematic Programming: An Introduction
System Development Methodol-OP
System Development Methodol-OP
DAC '73 Proceedings of the 10th Design Automation Workshop
DAC '76 Proceedings of the 13th Design Automation Conference
Managing the development of reliable software
Proceedings of the international conference on Reliable software
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Reliable hardware-software architecture
Proceedings of the international conference on Reliable software
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
Proceedings of the international conference on Reliable software
On attaining reliable software for a secure operating system
Proceedings of the international conference on Reliable software
Testing large software with automated software evaluation systems
Proceedings of the international conference on Reliable software
System structure for software fault tolerance
Proceedings of the international conference on Reliable software
An interactive program verification system
Proceedings of the international conference on Reliable software
A view of program verification
Proceedings of the international conference on Reliable software
Software development for reliable software systems
Journal of Systems and Software
Hi-index | 0.00 |
This paper begins with an examination of the nature of software reliability, noting that two facets of reliability (correctness and robustness) are often confused. A brief survey is given of current attempts to improve program correctness and develop mechanisms that provide robustness. Starting from a discussion of the distinction that should be (but often isn't) drawn between design and programming, we identify six trends in software design that can be expected to impact significantly our ability to achieve reliable software. The paper closes with a brief discussion of the impact of software design automation on reliability.