Formal, semi-formal, structured methods and formal techniques
Formal Methods : Application to the Railway Domain

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.

...