The design of the Venus operating system
Communications of the ACM
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
Toward an understanding of data structures
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
The graphically accessed interactive design of industrial pipe systems
DAC '72 Proceedings of the 9th Design Automation Workshop
A digital system modeling philosophy and design language
DAC '71 Proceedings of the 8th Design Automation Workshop
A model for parallel computer systems
A model for parallel computer systems
On deadlock in computer systems
On deadlock in computer systems
Pdms--a primitive data base management system for representing structureddata in an information sharing environment
The multics interprocess communication facility
SOSP '69 Proceedings of the second symposium on Operating systems principles
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
A Comparison of Some Theoretical Models of Parallel Computation
IEEE Transactions on Computers
| Hi-index | 0.00 |
Most of us consider a well-engineered product to be one which is structurally sound; which communicates with its environment in a predictable, well-disciplined manner; which has been thoroughly tested; and which is reliable and easily maintained. In any engineering field, the structural philosophy, design disciplines, and checkout methods which yield such a product are called "good engineering practices." Software engineering is the application of good engineering practice to the design, implementation and final checkout of large programs. The result of effective software engineering should be: (1) The production of a correct program (certifiable) (2) The availability of means of efficiently determining the correctness of a program (certification) (3) The ability to modify a program so that recertification is possible.