SOFTWARE FORMAL MODELING. |
Basic concepts.
Logical bases.
Languages for formal specification: Z, VDM...
The language of specification: Z.
Formal definitions in Z.
Basic Types.
Diagrams.
Sets.
Relations.
Functions.
Sequences.
Bags.
Operations.
Formal proof: Initialition theorem and Preconditions. |
DEVELOPMENT PROCESS WITH FORMAL TECHNIQUES |
Changes in life cycle due to the use of formal methods
Applications of formal techniques.
Clean Room software engineering. |