New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
Some experience with automated aids to the design of large-scale reliable software
Proceedings of the international conference on Reliable software
Types, distribution, and test and correction times for programming errors
Proceedings of the international conference on Reliable software
Software design validation tool
Proceedings of the international conference on Reliable software
Testing for software reliability
Proceedings of the international conference on Reliable software
Structured programming
Understanding and Controlling Software Costs
IEEE Transactions on Software Engineering
Prototyping vs. specifying: A multi-project experiment
ICSE '84 Proceedings of the 7th international conference on Software engineering
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
General purpose tools for system simulation
ANSS '78 Proceedings of the 11th annual symposium on Simulation
The preliminary design as a key to successful software development
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Classics in software engineering
IEEE Transactions on Computers
Partitioning considerations for complex computer based weapon systems
Journal of Systems and Software
ASSET: A life cycle verification and visibility system
Journal of Systems and Software
Hi-index | 0.00 |
This paper discusses the serious need for improved management methods and software development technology to support the production of truly reliable software and presents experience gained on TRW's Site Defense Program in addressing that need. The basic theme is simply this: We have attempted to achieve a better understanding of how to specify, design, build and validate reliable software; we have translated that understanding into an integrated and exceptionally disciplined software development methodology; we have used, evaluated and refined the methodology enough to recognize and report substantial early success and continuing progress toward that goal.