Integration of formal and informal techniques for requirements engineering

Roelf J. Wieringa

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

    23 Downloads (Pure)

    Abstract

    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

    Publication series

    Name
    PublisherVrije Universiteit Amsterdam

    Keywords

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

    Cite this