Defining differentiation and integration in Z

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-de...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241) pp. 64 - 73
Main Authors: Fidge, C.J., Hayes, I.J., Mahony, B.P.
Format: Conference Proceeding
Language:English
Published: IEEE 1998
Subjects:
Australia
Automata
Calculus
Computer science
Embedded system
Hardware
Information technology
Mathematics
Physics computing
Real time systems
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISBN:0818691980
9780818691980
DOI:10.1109/ICFEM.1998.730571