From requirements to design specifications- a formal approach

William Brace (Corresponding author), Kleanthis Thramboulidis

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

11 Citations (Scopus)


System development activities such as requirements and design specification, implementation and verification are well defined in software engineering. Model driven engineering and SysML may result in significant improvements in engineering design. In this paper, a model-centric approach to formalize requirements expressed in narrative format is presented. An integrated framework that adopts the requirement checklist concept and utilizes logical reasoning and incidence matrix operations is described. An underground work machine is used as a case study to illustrate the proposed approach.
Original languageEnglish
Title of host publicationDS 60: Proceedings of DESIGN 2010, the 11th International Design Conference, Dubrovnik, Croatia
PublisherDesign Society
Number of pages11
ISBN (Electronic)978-953-7738-03-7, 978-953-7738-05-1
Publication statusPublished - 2010
MoE publication typeA4 Article in a conference publication
Event11th International Design Conference, DESIGN 2010 - Dubrovnik, Croatia
Duration: 17 May 201020 May 2010


Conference11th International Design Conference, DESIGN 2010


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


Dive into the research topics of 'From requirements to design specifications- a formal approach'. Together they form a unique fingerprint.

Cite this