Styles of formal specifications

• Model-oriented (e.g. Z, VDM)

• Algebraic (e.g. OBJ, Larch)

• Process Model (e.g. CCS, CSP)

• Finite State-based (e.g. Statecharts, RSML)

• Logical, constructive, multi-paradigm, broad spectrum, ...

Previous slide

Next slide

Back to first slide

View graphic version