This chapter introduced the approach to context-based requirements engineering (ACRE) framework that comprises a number of views. The views are based on realisations of ontology. The chapter also discussed how the framework may be used to implement the ACRE philosophy on real projects and to discuss the 'people, process and tools' aspects of MBSE.

Inspec keywords: formal verification; systems analysis; ontologies (artificial intelligence)

Other keywords: model based requirement engineering; approach to context based requirement engineering; ACRE philosophy

Subjects: Formal methods