DocumentCode
2345011
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
fYear
1998
fDate
9-11 Dec 1998
Firstpage
64
Lastpage
73
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Formal Engineering Methods, 1998. Proceedings. Second International Conference on
Conference_Location
Brisbane, Qld.
Print_ISBN
0-8186-9198-0
Type
conf
DOI
10.1109/ICFEM.1998.730571
Filename
730571
Link To Document