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
The structure of the “THE”-multiprogramming system
Communications of the ACM
Flow diagrams, turing machines and languages with only two formation rules
Communications of the ACM
PASCAL user manual and report
An overview of nonprocedural languages
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Specification techniques for data abstractions
Proceedings of the international conference on Reliable software
Programming-in-the large versus programming-in-the-small
Proceedings of the international conference on Reliable software
Proposed control structures for extended FORTRAN
ACM SIGPLAN Notices
Theoretical and empirical studies of program testing
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Formal module level specifications
ACM '77 Proceedings of the 1977 annual conference
Hi-index | 0.00 |
The production of consistently executable and dependable software demands a thoughtful systematic implementation—with clear documentation at each production stage. Recognizing this, the Data Systems Laboratory, at Marshall Space Flight Center, NASA, began a research effort to help discover and institute sound engineering principles into a methodology for the production of software. The design of this methodology is based upon five principal stages of software development: 1. Feasibility: Can software be written to solve the initial problem? 2. Requirements/Design: Are software requirements and design clear, complete, traceable, and testable? 3. Coding: Is use being made of reliable high level coding practices? 4. Testing: Is testing sufficiently thorough to instill initial user confidence? 5. Maintenance: has the software and its design been explicitly documented?