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
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
A relational model of data for large shared data banks
Communications of the ACM
CLU Reference Manual
A Discipline of Programming
The data management facilities of PLAIN
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Hints on programming language design.
Hints on programming language design.
Global variable considered harmful
ACM SIGPLAN Notices
A reminder for language designers
ACM SIGPLAN Notices
Preliminary Ada reference manual
ACM SIGPLAN Notices - Preliminary Ada reference manual
Rationale for the design of the Ada programming language
ACM SIGPLAN Notices - Rationale for the deisgn of the Ada programming language
Report on the programming language Euclid
ACM SIGPLAN Notices
Reliable software through composite design
Reliable software through composite design
Structured programming
Computer
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
An Introduction to the Construction and Verification of Alphard Programs
IEEE Transactions on Software Engineering
A design methodology for reliable software systems
AFIPS '72 (Fall, part I) Proceedings of the December 5-7, 1972, fall joint computer conference, part I
PDL: a tool for software design
AFIPS '75 Proceedings of the May 19-22, 1975, national computer conference and exposition
Specification and implementations of interactive information systems
AFIPS '84 Proceedings of the July 9-12, 1984, national computer conference and exposition
| Hi-index | 0.00 |
The successful construction of medium and large software systems requires the management of the complexity inherent in the problem being programmed. A well-disciplined approach to software development involves the production of a complete specification, a complete problem solution, and program design prior to the inception of actual coding. In practice, this requires the production of some form of program design representation [1] from the original specification, with the action of each module specified with a program design language [2]. Furthermore, data structures are specified and refined, in some cases to physical data structures, but more commonly to logical data structures.