Abstract data types and the development of data structures
Communications of the ACM
Modularization and hierarchy in a family of operating systems
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
On the problem of communicating complex information
Communications of the ACM
Program development by stepwise refinement
Communications of the ACM
The structure of the “THE”-multiprogramming system
Communications of the ACM
Parallel processing and modular software construction
Proceedings of the DoD Sponsored Workshop on Design and Implementation of Programming Languages
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
Structured Analysis and System Specification
Structured Analysis and System Specification
Specifying Software Requirements for Complex Systems: New Techniques and Their Application
IEEE Transactions on Software Engineering
Notes on Type Abstraction (Version 2)
IEEE Transactions on Software Engineering
Programming-in-the-Large Versus Programming-in-the-Small
IEEE Transactions on Software Engineering
Structured Analysis (SA): A Language for Communicating Ideas
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
Hi-index | 0.00 |
Recent research in software engineering has produced a number of techniques for structuring an understanding of systems. Many of these techniques are applicable to the design of embedded computer systems and produce designs whose structures are easily expressible in the ada language. This language is itself structured so that the design of a system can be expressed independently of its implementation. Thus ada can be a useful system design language (SDL) with these techniques. This paper describes the software design problem in the development of embedded computer systems. It shows how ada can be used as an SDL, as well as a system implementation language. The essential point is that as an SDL ada encourages designers to use recent theory to develop better structures for their systems, and its subsequent use to implement the systems preserves those structures in the product.