文档介绍：A Survey of Structured and Object-Oriented Software
Specification Methods and Techniques
ROEL WIERINGA
University of Twente
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 position. The external
interaction specification techniques are further subdivided into techniques for the
specification of functions, behavior, munication. After surveying the
techniques, we summarize the way they are used in structured and object-oriented
methods and indicate ways in which they can bined. The 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.
Categories and Subject Descriptors: [Software Engineering]: Requirements/
Specifications—tools; [Software Engineering]: Design Tools and
Techniques—Object-oriented design methods; state diagrams
General Terms: Design, Languages
1. INTRODUCTION ifications, investigates in which re-
spects object-oriented specifications
In the past 20 years, a large number of
differ essentially from structured ones,
methods have been proposed for the
specification of software systems. Until and points out opportunities bin-
1988, the proposed methods followed ing the two kinds of specifications. Most
the structured approach and since that major structured and object-oriented
time, most proposals have followed the specification methods are reviewed in
object-oriented approach. In the short the appendix, where “major” means that
time since 1988, at least 19 object-ori- the method must have been described in
ented methods have been proposed in a book rather than only in a conference
book form and many more have been or journal paper. The distinction be-
propo