3. Formal, semi-formal, structured methods and formal techniques
3.1 Definitions
The definition of an M model is a means of understanding and/or apprehending a problem/situation. In general, the specification phase, which enables us to take ownership of the specifications, involves the creation of an M model.
A model can be more or less close to the system under study, in which case it is referred to as an abstraction. The closer the model, the closer the results obtained will be to those observed on the final system.
...
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
Formal, semi-formal, structured methods and formal techniques
Using formal methods to build a software application
Article included in this offer
"Railway systems"
(
57 articles
)
Updated and enriched with articles validated by our scientific committees
A set of exclusive tools to complement the resources
Bibliography
Exclusive to subscribers. 97% yet to be discovered!
Already subscribed? Log in!
