Transformational formal development of real-time systems

1. M Awad, J Kuusela, and J Ziegler. Object-oriented Technology for Real-time Systems. Prentice Hall, 1996.

   Google Scholar 

2. B-Toolkit Manual, B-Core UK Ltd., Magdalen Centre, Oxford Science Park, OX4 4GA, 1996.

   Google Scholar 

3. A Burns and A Wellings. HRT-HOOD: A structured design method for hard realtime systems. Real-Time Systems, 6(1):73–114, January 1994.

   Article  Google Scholar 

4. E Durr, S Goldsack, and J van Katjwick. Specification of a cruise controller in VDM⁺⁺. In Proceedings of Real Time OO Workshop, ECOOP 96, 1996.

   Google Scholar 

5. E Gamma, R Helm, R Johnson and J Vlissides. Design Patterns: Elements of Reusable Object-oriented Software. Addison-Wesley, 1994.

   Google Scholar 

6. R Gerber, S Hong, Compiler Support for Real-Time Programs, Chapter 15 of Advances in Real-Time Systems, S. H. Son (Ed.), Prentice Hall 1996.

   Google Scholar 

7. S Goldsack, K Lano. Annealing, Object Decomposition and Design Patterns, TOOLS Pacific 1996, Melbourne, Australia, 1996.

   Google Scholar 

8. K Lano, J Bicarregui, S Goldsack. Formalising Design Patterns, Northern Formal Methods Workshop, Ilkly, 1996.

   Google Scholar 

9. K Lano. Specification of a Chemical Process Controller in VDM ⁺⁺ and B, ROOS Project Document GR/K68783-11, September 1996.

   Google Scholar 

10. K Lano, S Goldsack, J Bicarregui, S Kent. Integrating VDM ⁺⁺ and Real-time System Design, Z User Meeting 1997.

    Google Scholar 

11. G Lowe and H Zedan. Refinement of complex systems: A case study. The Computer Journal, 38(10):785–800, 1995.

    Article  Google Scholar 

Download references