The psychology of computer programming
The psychology of computer programming
The mythical man-month (anniversary ed.)
The mythical man-month (anniversary ed.)
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Programming with abstract data types
Proceedings of the ACM SIGPLAN symposium on Very high level languages
The use of abstract data types to simplify program modifications
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Abstract types defined as classes of variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Response to undesired events in software systems
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Test procedures: A new approach to software verification
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Automated aids fob reliable software
Proceedings of the international conference on Reliable software
Introduction to ALGOL (Prentice-Hall series in automatic computation)
Introduction to ALGOL (Prentice-Hall series in automatic computation)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Structured programming
Hi-index | 0.00 |
Software developers often complain that researchers in the field of software engineering propose new ideas without testing these ideas in practical applications. The Architecture Research Facility (ARF) was developed utilizing several software engineering techniques in order to discover their usefulness in actual software system developments. Such techniques as the complete design and documentation of the individual components and interfaces prior to coding, design reviews, code specification in a pseudo-language, code-reading prior to testing, information-hiding modules, run-time error checking mechanisms, strong-typing and the use of support software tools are discussed. We describe the motivation for using the techniques as well as how these techniques were applied to ARF's development. Staff reactions to using these techniques were favorable although at the time some frustration at the lack of apparent coding progress was felt. Our results would prove useful to software developers planning to use new development techniques since we highlight many of these techniques' strengths and weaknesses.