A Survey of Structured and Object-Oriented Software Specification Methods and Techniques

Wieringa, R.J. (1998) A Survey of Structured and Object-Oriented Software Specification Methods and Techniques. ACM Computing Surveys, 30 (4). pp. 459-527. ISSN 0360-0300

PDF
Restricted to UT campus only: Request a copy
591Kb

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.
Item Type:	Article
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Information Systems (IS)
Link to this item:	http://purl.utwente.nl/publications/61831
Official URL:	http://doi.acm.org/10.1145/299917.299919
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page