We propose two alternative approaches to using scenarios during formal modelling: A method of refining scenarios before the model is refined so that the ...

Oct 16, 2019 · Scenarios that illustrate the desired behaviour embodied by the specification, may then be expressed in a clear, precise and concise way. For ...

We propose two alternative approaches to using scenarios during formal modelling: A method of refining scenarios before the model is refined so that the ...

Abstract. Formal methods use abstraction and rigorously verified re- finement to manage the design of complex systems, ensuring that they.

We also show by example how a precise and concise domain specific language can be used for writing these abstract scenarios in a style that can be easily ...

We propose two alternative approaches to using scenarios during formal modelling: A method of refining scenarios before the model is refined so that the ...

We explore the possibility of utilizing Event-B as a domain engineering tool. We discuss the problems we faced during this exercise and how we tackled them.

We also show by example how a precise and concise domain specific language can be used for writing these abstract scenarios in a style that can be easily ...

Domain-Specific Scenarios for Refinement-Based Methods. https://doi.org ... In: Industrial Deployment of System Engineering Methods, pp. 211–236. Springer (2013) ...

We also show by example how a precise and concise domain specific language can be used for writing these abstract scenarios in a style that can be easily ...