Integrating Semi-formal and Formal Software Specification Techniques

Roelf J. Wieringa, Eric Dubois

    Research output: Contribution to journalArticleAcademicpeer-review

    14 Citations (Scopus)


    In this paper, we report on the integration of informal, semiformal and formal system specification techniques. We present a framework for system specification called TRADE, within which several well-known semiformal specification techniques are placed. TRADE is based on an analysis of structured and object-oriented requirements specification methods. In this paper, we combine TRADE with the logic-based specification language Albert II and show that this leads to a coherent formal and semiformal requirements specification. We illustrate our approach with examples taken from a large distributed telecommunication application case study, performed in the context of the Esprit project 2RARE.
    Original languageUndefined
    Article number10.1016/S0306-4379(98)00007-6
    Pages (from-to)159-178
    Number of pages20
    JournalInformation systems
    Issue number23
    Publication statusPublished - 1998


    • EWI-10638
    • SCS-Services
    • METIS-118599
    • Object-Oriented Specification
    • Formal Specification
    • Method Integration
    • IR-61832

    Cite this