Structured Programming with go to Statements
ACM Computing Surveys (CSUR)
An Approach to Program Testing
ACM Computing Surveys (CSUR)
Fault Tolerant Operating Systems
ACM Computing Surveys (CSUR)
Fault-Tolerant Software for Real-Time Applications
ACM Computing Surveys (CSUR)
Operating System Structures to Support Security and Reliable Software
ACM Computing Surveys (CSUR)
A controlled experiment in program testing and code walkthroughs/inspections
Communications of the ACM
Abstract data types and the development of data structures
Communications of the ACM
Communications of the ACM
Exception handling: issues and a proposed notation
Communications of the ACM
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
Art of Software Testing
Composite Structure Design
The Elements of Programming Style
The Elements of Programming Style
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Software reliability and design: A survey
DAC '76 Proceedings of the 13th Design Automation Conference
Software requirements: Are they really a problem?
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Reliable hardware-software architecture
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
How to write correct programs and know it
Proceedings of the international conference on Reliable software
Flowchart techniques for structured programming
ACM SIGPLAN Notices
Principles of Program Design
Methodology for the Generation of Program Test Data
IEEE Transactions on Computers
Higher Order Software A Methodology for Defining Software
IEEE Transactions on Software Engineering
Structured Analysis (SA): A Language for Communicating Ideas
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
A Requirements Engineering Methodology for Real-Time Processing Requirements
IEEE Transactions on Software Engineering
Observations of Fallibility in Applications of Modern Programming Methodologies
IEEE Transactions on Software Engineering
On the Automated Generation of Program Test Data
IEEE Transactions on Software Engineering
PDL: a tool for software design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Design and code inspections to reduce errors in program development
IBM Systems Journal
Testing large software with automated software evaluation systems
IEEE Transactions on Software Engineering
Toward a theory of test data selection
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
The process of software development has a major influence on the reliability of a software system. The reliability of a software system can be improved by eliminating all the errors that occur during its development. This paper presents, from a tutorial point of view, a methodology of software development that can minimize the number of errors in a system when the system is being developed. The three phases of software development viz. requirements analysis, design, and implementation are examined to find out what needs to be done in each phase, how the end result of each phase can be verified for correctness, and how the form in which information is passed between each phase can be improved. This discussion is directly applicable to the development of small software systems and programs.