Formal Engineering Methods, International Conference on (1998)
Dec. 9, 1998 to Dec. 11, 1998
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.
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.