On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
DITRAN—a compiler emphasizing diagnostics
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
Some experience with automated aids to the design of large-scale reliable software
Proceedings of the international conference on Reliable software
Hints on programming language design.
Hints on programming language design.
The debugging of computer programs
The debugging of computer programs
Programming Languages: History and Fundamentals
Programming Languages: History and Fundamentals
Fault-Tolerant Software for Real-Time Applications
ACM Computing Surveys (CSUR)
An experiment in software engineering: The Architecture Research Facility as a case study
ICSE '79 Proceedings of the 4th international conference on Software engineering
The software engineering laboratory: Objectives
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
Towards an engineering approach to software design
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Testing large software with automated software evaluation systems
Proceedings of the international conference on Reliable software
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
A generalized approach to interpretation machines
ACM SIGPLAN Notices
A characterization of software design tools
ACM SIGSOFT Software Engineering Notes
FORTRAN error detection through static analysis
ACM SIGSOFT Software Engineering Notes
Techniques in simulation which enhance software reliability
ACM SIGMETRICS Performance Evaluation Review
Classics in software engineering
Programming Languages The First 25 Years
IEEE Transactions on Computers
IEEE Transactions on Computers
ASSET: A life cycle verification and visibility system
Journal of Systems and Software
| Hi-index | 0.01 |
Recent investigations on the use of automation to realize the twin objectives of cost reduction and reliability improvement for computer programs developed for the U. S. Air Force are reported. The concepts of reliability and automation as they pertain to software are explained. Then, over twenty automated tools and techniques (aids) identified by this investigation are described and categorized. Based on the information reviewed, an assessment of the state of the technology is made. Finally, specific recommendations which try to give direction to future efforts are offered.