Affiliation:
1. Univ. of Twente, Enschede, The Netherlands
Abstract
This article surveys techniques used in structured and object-oriented software specification methods. The techniques are classified as techniques for the specification of external interaction and internal decomposition. The external specification techniques are further subdivided into techniques for the specification of functions, behavior, and communication. After surveying the techniques, we summarize the way they are used in structured and object-oriented methods and indicate ways in which they can be combined. This article ends with a plea for simplicity in diagram techniques and for the use of formal semantics to define these techniques. The appendices show how the reviewed techniques are used in 6 structured and 19 object-oriented specification methods.
Publisher
Association for Computing Machinery (ACM)
Subject
General Computer Science,Theoretical Computer Science
Reference124 articles.
1. AWAD M. KUUSELA J. AND ZIEGLER J. 1996. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice-Hall Englewood Cliffs NJ. AWAD M. KUUSELA J. AND ZIEGLER J. 1996. Object-Oriented Technology for Real-Time Systems: A Practical Approach Using OMT and Fusion. Prentice-Hall Englewood Cliffs NJ.
2. BAETEN J. AND WEIJLAND W. 1990. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18 Cambridge University Press New York. BAETEN J. AND WEIJLAND W. 1990. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18 Cambridge University Press New York.
Cited by
85 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献