- 105 Downloads
The refinement calculus is extended for real-time system development. Heuristic rules for deriving high-level designs from Z specifications are also given. A detailed example of real-time refinement is presented.
KeywordsExecution Time Heuristic Rule Abstract Behavioural Specification Refinement Rule Refinement Calculus
Unable to display preview. Download preview PDF.
- 1.V.K. Haase. Real-time behavior of programs. IEEE Transactions on Software Engineering, SE-7(5):494–501, September 1981.Google Scholar
- 2.C.B. Jones. Interference resumed. In Proc. 6th Australian Software Engineering Conference, pages 31–55, Sydney, July 1991.Google Scholar
- 3.S. King. Z and the refinement calculus. In D. Bjørner, C.A.R. Hoare, and H. Longmaack, editors, Proc. VDM'90, volume 428 of Lecture Notes in Computer Science, pages 164–188. Springer-Verlag, April 1990.Google Scholar
- 5.C. Morgan. Programming from Specifications. Prentice-Hall, 1990.Google Scholar
- 6.E.-R. Olderog. Towards a design calculus for communicating programs. In J.C.M. Baeten and J.F. Groote, editors, Concur'91, volume 527 of Lecture Notes in Computer Science, pages 61–77. Springer-Verlag, 1991.Google Scholar
- 9.J.M. Spivey. The Z Notation: A Reference Manual Prentice Hall International, 1989.Google Scholar