The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
pp: 64
ABSTRACT
This paper shows how familiar mathematical concepts from differential and integral calculus can be represented in the Z specification language. Digital computer systems involve hardware devices and software variables that can adopt a limited range of values only, and may be temporarily inaccessible or ill-defined. Emphasis is therefore given to supporting discrete range types and partial functions.
INDEX TERMS
CITATION

C. Fidge, I. Hayes and B. Mahony, "Defining Differentiation and Integration in Z," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 64.
doi:10.1109/ICFEM.1998.730571
88 ms
(Ver 3.3 (11022016))