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.
| Original language | English |
|---|---|
| Title of host publication | DS 60: Proceedings of DESIGN 2010, the 11th International Design Conference, Dubrovnik, Croatia |
| Publisher | Design Society |
| Pages | 639-650 |
| Number of pages | 11 |
| Volume | 2 |
| ISBN (Electronic) | 978-953-7738-03-7, 978-953-7738-05-1 |
| Publication status | Published - 2010 |
| MoE publication type | A4 Article in a conference publication |
| Event | 11th International Design Conference, DESIGN 2010 - Dubrovnik, Croatia Duration: 17 May 2010 → 20 May 2010 |
Conference
| Conference | 11th International Design Conference, DESIGN 2010 |
|---|---|
| Country | Croatia |
| City | Dubrovnik |
| Period | 17/05/10 → 20/05/10 |
Keywords
- requirement
- design specification
- requirements checklist
- requirements formalization
- model-centric requirements engineering