This text focuses on a formal software engineering method concerning the early stages of design: the modelling at a conceptual level, and the verification and validation of this model. An introduction to the "Mec" software tool, which is used to work out the exmples provided, is also included.