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

CITATIONS