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

Roelf J. Wieringa

    Research output: Contribution to journalArticleAcademicpeer-review

    92 Citations (Scopus)

    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.
    Original languageUndefined
    Article number10.1145/299917.299919
    Pages (from-to)459-527
    Number of pages69
    JournalACM computing surveys
    Volume30
    Issue number4
    DOIs
    Publication statusPublished - Dec 1998

    Keywords

    • EWI-10637
    • IR-61831
    • SCS-Services

    Cite this