Automated aids fob reliable software
ACM SIGPLAN NoticesPublished 1 April 1975
Donald J. Reifer
Citations13
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
Abstract
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.
Keywords
Engineering
Communications of the ACMOn the criteria to be used in decomposing systems into modules
4,674 Citations1972David Lorge Parnas
Communications of the ACMProgram development by stepwise refinement
921 Citations1971Niklaus Wirth
The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming.
Communications of the ACMFlow diagrams, turing machines and languages with only two formation rules
789 Citations1966Corrado Böhm, G. Jacopini
In the first part of the paper, flow diagrams are introduced to represent inter ah mappings of a set into itself due to a suitable extension of the given set and of the basic mappings defined in it.
Communications of the ACMProgram development by stepwise refinement
690 Citations1983Niklaus Wirth
The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming.
IBM Journal of Research and DevelopmentThe Design of APL
137 Citations1973Adin D. Falkoff, Kenneth E. Iverson
Acta InformaticaCritical comments on the programming language Pascal
128 Citations1973A. N. Habermann
An investigation of the Reports on the Pascal language reveals that it suffers as much from ill-defined constructs as many of the languages to which it is supposed to offer an alternative.
ACM SIGMIS Database the DATABASE for Advances in Information SystemsReview of "Programming Languages: History and Fundamentals, by (Miss) Jean E. Sammet." Prentice-Hall, Inc. (1969)
127 Citations1969Charles H. Kriebel
The introduction of DATA BASE as a new quarterly journa l of SIGBDP to replace the former Newsletter provided an opportunity to reconsider the style, format, and functio n of a "Book Reviews" column.
ACM SIGPLAN NoticesSome experience with automated aids to the design of large-scale reliable software
103 Citations1975Barry Boehm, R. K. McClean +1 more
Software Reliability Study.
69 Citations1974G. R. Craig, W. L. Hetrick +3 more
The study of software error types, techniques for locating them, and recommendations for improvement of reliability are discussed and interim results from a study of errors encountered in three large software packages are presented.
Communications of the ACMDITRAN—a compiler emphasizing diagnostics
57 Citations1967Peter Moulton, Marcus Müller
DITRAN (DDITRAN DIagnostic ForTRAN) is an implementation of ASA Basic FORTRAN with rather extensive error checking capabilities both at compilation time and during execution of a program.
On-line debugging techniques
27 Citations1966Thomas G. Evans, D. L. Darley
The purpose of this paper is to survey the existing work in this area and discuss some possible extensions to it, with the dual goal of acquainting a wider public with currently-existing techniques and of stimulating further developments.
IBM Systems JournalA perspective on system performance evaluation
25 Citations1969Mark Drummond
A historical summary of the growing complexities in computing systems and the effect of these complexities on system performance evalution are presented.
Some experience with automated aids to the design of large-scale reliable software
20 Citations1975Barry Boehm, R. K. McClean +1 more
A hypothesis was derived regarding the potential cost effectiveness of an automated aid to detecting inconsistencies between assertions about the nature of inputs and outputs of the various elements of the software design.
Framework and initial phases for computer performance improvement
19 Citations1972Thomas E. Bell, Barry Boehm +1 more
Computer performance analysis often evokes an image of a hardware monitor dictating a particular hardware modification that doubles the system's capacity, but it usually involves measuring system performance, and no specific improvement modification is dictated by the measurements.
Munich Personal RePEc Archive (Ludwig Maximilian University of Munich)The debugging of computer programs
17 Citations1969R. Stockton Gaines
Rosa P: A digital library for transportation research (United States Department of Transportation)Computer systems performance measurement techniques.
7 Citations1971J. G. Gertler, H. Glynn +2 more
Computer system performance measurement techniques, tools, and approaches are presented as a foundation for future recommendations regarding the instrumentation of the ARTS ATC data processing subsystem for purposes of measurement and evaluation.
ScholarlyCommons (University of Pennsylvania)Research on Automatic Program Generation
2 Citations1974Jesús Alberto Ramírez Torres, N. Adam Rin +2 more
This technical report contains a collection of three papers intended to summarize the results of past research and the direction of current research, to provide software generation directly from user specifications.