Integrating semi-formal and formal requirements

Roelf J. Wieringa, Antoni Olivé (Editor), Eric Dubois, Joan Antoni Pastor (Editor), Sander Huyts

    Research output: Contribution to conferencePaperAcademicpeer-review

    7 Citations (Scopus)
    22 Downloads (Pure)

    Abstract

    In this paper, we report on the integration of informal, semiformal and formal requirements specification techniques. We present a framework for requirements 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
    Pages19-32
    Number of pages14
    DOIs
    Publication statusPublished - 1997
    Event9th International Conference on Advanced Information Systems Engineering, CAiSE 1997 - Barcelona, Spain
    Duration: 16 Jun 199720 Jun 1997
    Conference number: 9

    Conference

    Conference9th International Conference on Advanced Information Systems Engineering, CAiSE 1997
    Abbreviated titleCAiSE
    CountrySpain
    CityBarcelona
    Period16/06/9720/06/97

    Keywords

    • SCS-Services
    • IR-67606
    • EWI-10642

    Cite this