Knowledge Base Repository

In addition to research papers, the Design Society is developing several valuable resources for those interested in the study of design. These include a repository of PhD theses, a library of case studies and transcripts of design activities, and an archive of our newsletters. Please note that these resources are accessible exclusively to Design Society members.

FROM REQUIREMENTS TO DESIGN SPECIFICATIONS - A FORMAL APPROACH

Brace, W.; Thramboulidis, K.


Type:
Year:
2010
Editor:
Marjanovic D., Storga M., Pavkovic N., Bojcetic N.
Author:
Section:
DESIGN METHODS
Page(s):
639-650
Abstract:
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.
Keywords:

This site uses cookies and other tracking technologies to assist with navigation and your ability to provide feedback, analyse your use of our products and services, assist with our promotional and marketing efforts, and provide content from third parties. Privacy Policy.