From Requirements to Design Specifications - A Formal Approach

William Brace, Kleanthis Thramboulidis

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    9 Citations (Scopus)
    Original languageEnglish
    Title of host publicationInternational Design Conference - Design 2010, Dubrovnik, Kroatia, 17-20 May 2010
    EditorsDorian Marjanovic, Mario Storga, Neven Paukovic, Nenad Bojcetic
    ISBN (Electronic)978-953-7738-07-5
    Publication statusPublished - 2010
    MoE publication typeA4 Article in a conference publication


    • design specification
    • model-centric requirements engineering
    • requirement checklist
    • requirements
    • requirements formalization

    Cite this