Can formal models play a role in requirements engineering where textual documents are and will be the preferred style of specifications? The paper will sketch some examples from industrial projects in automotive embedded systems and railway traffic control systems. To start a discussion, some solutions developed by the authors company are demonstrated. The central subject is the potential and application of a file-based inter-tool specification exchange realised with the EXERPT tool.
Aspects of formalisation in requirements engineering
2007
12 Seiten, 6 Bilder
Conference paper
English
Formalisation of the multigrid computations
British Library Online Contents | 2013
|Formalisation of the multigrid computations
British Library Online Contents | 2013
|Formalisation and Verification in a Type-Theoretic Framework
British Library Conference Proceedings | 2009
|Contribution to the Grafcet formalisation. A static meta-model proposition
British Library Online Contents | 1997
|Formalisation and simulation of operating rules using coloured Petri nets
British Library Conference Proceedings | 2006
|