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 a process where manually authored scenarios are used initially to support the requirements and help the modeller. The same scenarios are used to ...
Abstract. Formal methods use abstraction and rigorously verified re- finement to manage the design of complex systems, ensuring that they.
We propose two alternative approaches to using scenarios during formal modelling: A method of refining scenarios before the model is refined so that the ...
In this section, we describe a process for driving the modelling by constructing scenarios from the requirements to validate each refinement level. We are ...
Published in Communications in Computer and Information Science by Springer International Publishing. 2019 p18-31. Archived Content. There are no accessible ...
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 ...
People also ask
What is an example of a domain specific word?
What does it mean for language to be a domain specific ability?
Domain-Specific Scenarios for Refinement-Based Methods. https://doi.org/10.1007/978-3-030-32213-7_2. Journal: Communications in Computer and Information ...
Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers. Sign up for an account to ...