Wolfram Library Archive

Courseware Demos MathSource Technical Notes
All Collections Articles Books Conference Proceedings

Exploring Specifications with Mathematica

C. Reilly
Journal / Anthology

Zum '95 (Lecture Notes in Computer Science)
Year: 1995
Volume: 967
Page range: 408-420

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.

*Applied Mathematics > Computer Science