Abstract
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 behaviour 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.
Preview
Unable to display preview. Download preview PDF.
References
Conceptual Models and Computing, Mícheál Mac an Airchinnigh, Phd Thesis, Department of Computer Science, Trinity College Dublin, 1990.
Mícheál Mac an Airchinnigh. Tutorial Lecture Notes on the Irish School of the VDM. VDM'91: Formal Software Development Methods, Volume 2: Tutorials, Lecture Notes in Computer Science, Volume 552, pages 141–237. Springer-Verlag, 1991.
Mathematical A System for doing Mathematics by Computer, Stephen Wolfram, 2nd edition, Addison-Wesley, 1991.
Programming in Mathematica, Roman Maedar, 2ed, Addison-Wesley, 1991.
An Algebraic Proof in VDM♣, A.P. Hughes and A.A. Donnelly, 1995 Z User Workshop, this volume.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reilly, C. (1995). Exploring specifications with Mathematica. In: Bowen, J.P., Hinchey, M.G. (eds) ZUM '95: The Z Formal Specification Notation. ZUM 1995. Lecture Notes in Computer Science, vol 967. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60271-2_133
Download citation
DOI: https://doi.org/10.1007/3-540-60271-2_133
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60271-2
Online ISBN: 978-3-540-44782-5
eBook Packages: Springer Book Archive