FROM REQUIREMENTS TO DESIGN SPECIFICATIONS - A FORMAL APPROACH
Year: 2010
Section: DESIGN METHODS
Editor: Marjanovic D., Storga M., Pavkovic N., Bojcetic N.
Author: Brace, W.; Thramboulidis, K.
Section: DESIGN METHODS
Pages: 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: requirements, requirements checklist, design specification, requirements formalization, model-centric requirements engineering
Buy Now
DESIGN 2010 - 11th International Design Conference
Creative thinking, computational synthesis, environmental concerns, structural complexity, mechatronics, modelling of engineering processes, decision making, research quality, product development, embodiment, ... Each of these terms covers a range of activities, practical efforts and research streams. Excerpted from the DESIGN 2010 topic and workshop titles these terms epitomise the multi-dimensional nature of design that gathers all of the authors and participants to the DESIGN conference events. Our...
