Title :
Defining differentiation and integration in Z
Author :
Fidge, C.J. ; Hayes, I.J. ; Mahony, B.P.
Author_Institution :
Software Verification Res. Centre, Queen´´s Univ., Kingston, Ont., Canada
Abstract :
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
Keywords :
differentiation; formal specification; integration; specification languages; Z specification language; differential calculus; differentiation; digital computer systems; discrete range types; hardware devices; integral calculus; integration; mathematical concepts; partial functions; software variables; Australia; Automata; Calculus; Computer science; Embedded system; Hardware; Information technology; Mathematics; Physics computing; Real time systems;
Conference_Titel :
Formal Engineering Methods, 1998. Proceedings. Second International Conference on
Conference_Location :
Brisbane, Qld.
Print_ISBN :
0-8186-9198-0
DOI :
10.1109/ICFEM.1998.730571
