Model Based Languages

An approach to writing precise specifications is to build a model of the intended system using languages such as Z, VDM, or B that describe the system state and the operations that change states.

System states are typically described using sets, sequences, relations, mappings, and functions, and operations are described by pre- and post-conditions. There are a number of ways to structure such a specification. In Z, for instance, a specification consists of schemas made of declarations (variables, etc.) together with predicates that constrain the schema.

Was this article helpful?

0 0
The Ultimate Computer Repair Guide

The Ultimate Computer Repair Guide

Read how to maintain and repair any desktop and laptop computer. This Ebook has articles with photos and videos that show detailed step by step pc repair and maintenance procedures. There are many links to online videos that explain how you can build, maintain, speed up, clean, and repair your computer yourself. Put the money that you were going to pay the PC Tech in your own pocket.

Get My Free Ebook


Post a comment