Integration of formal and informal techniques for requirements engineering

Roelf J. Wieringa

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    38 Downloads (Pure)


    In this paper we define and motivate the structure of a conceptual toolbox of technbiques for writing and validating specifications of required system behavior
    Original languageUndefined
    Title of host publicationModelling Languages for Knowledge-Based Systems
    EditorsM. Willems, R. Fensel, F. van Harmelen
    Place of PublicationAmsterdam, The Netherlands
    PublisherVrije Universiteit Amsterdam
    Number of pages6
    ISBN (Print)not assigned
    Publication statusPublished - 1995
    EventModelling languages for knowledge-based systems - Amsterdam
    Duration: 1 Jan 19951 Jan 1995

    Publication series

    PublisherVrije Universiteit Amsterdam


    ConferenceModelling languages for knowledge-based systems


    • EWI-10653
    • IR-76205
    • SCS-Services

    Cite this