Defining Differentiation and Integration in Z

We show 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.

• Type: Conference
• Year: 1998
• Where: ICFEM
• Authors: Colin J. Fidge, Ian J. Hayes, Brendan P. Mahony
• Keywords: Discrete Range Types, Familiar Mathematical Concepts, ICFEM 1998, Software Engineering, Systems Involve Hardware