Mathematical precision and user understanding

Describes a novel notation or language for the specification of information systems. This language provides a solution to the problem of preparing specifications for complex systems which are both precise and understandable. The language has a well defined syntax and semantics and is therefore formal and precise whilst remaining easily understood to both the user and the computing community. The language is supported by tools which include syntax and semantic analysers, an animator, tools for documentation, graphics facilities and mathematical reasoning and analysis tools. >