The use of Mathematica to "explore" specifications is examined. Here exploration is the process by which a user can encode very abstract specifications in the style of Irish VDM and examine their behavior on sample data. It is hoped that such exploration can lead to an improved understanding of the semantics and properties of the model and can suggest theorems. We examine the nature of an implementation in Mathematica which provides suitable structures and operations to allow the direct translation of specifications from our normal notation to a form which can be executed. The example of a temperature chart, given in [1], is used to illustrate the system suggested.
For the newest resources, visit Wolfram Repositories and Archives »
