- Cherry, G. W. Software Construction with Object-Oriented Pictures, Thought**Tools, Inc. Reston, VA, 1989. (phone: 703-437-4450.)Google Scholar
- Davis, A. A comparison of techniques for the specification of external system behavior. Communications of the ACM. Sept, 1988. Google ScholarDigital Library
- DeMarco, T. Structured Analysis and System Specification. Prentice~Hall, Inc. 1979. Google ScholarDigital Library
- Hoare, C. A. R. Communicating Sequential Processes. Communications of the ACM, August, 1978. Google ScholarDigital Library
- Lamport, L. A simple approach to specifying concurrent systems. Communications of the ACM, January, 1989. Google ScholarDigital Library
- Milner, R. A Calculus of Communicating Systems, Springer-Verlag, 1980. Google ScholarDigital Library
- Zave, P. & Shell, W. Salient features of an executable specification language and its environment. IEEE Transactions on Software Engineering. February 1986. Google ScholarDigital Library
Index Terms
- Covering the life cycle with Ada: Ada all the way
Recommendations
Improving Reliability Throughout the Product Life Cycle
2018 Annual Reliability and Maintainability Symposium (RAMS)A product's existence, from conception to end of life, exists on a closed-loop path. This is known as the product life cycle and contains repetitive quality and reliability processes throughout the duration of a product's life. The life ...
Life cycle design for inverse manufacturing
ecodesign'99: Proceedings of the First international conference on Environmentally conscious design and inverse manufacturingFor achieving feasible product performance throughout the whole life cycle of products, a new approach to product life cycle design, called as Inverse Manufacturing, is proposed, where products are designed for their entire life cycle from product ...
A life-cycle oriented Ada design language
SIGAda '87: Proceedings of the 1987 annual ACM SIGAda international conference on AdaCurrent software development practices, including those specified in DOD-STD-2167, frequently prescribe the use of program design languages (PDLs) during preliminary and critical design. Lockheed has developed an Ada design language (ADL) that supports ...
Comments