References

1

E.H. Dürr and N. Plat (editor).
VDM⁺⁺ Language Reference Manual.
Cap Volmac, Utrecht, Netherlands, afrodite (esprit-iii project number 6500) document afro/cg/ed/lrm/v9 edition, March 1994.

2

S J Goldsack et al.
Annealing and data decomposition in VDM⁺⁺.
ACM Sigplan Notices, 31, July 1996.

3

E Gamma, R Helm, R.Johnson, and J. Vlissides.
Design Patterns: Elements of Reusable Object-Oriented Software.
Addison Wesley Publishing Company, Reading, Massachusetts, 1995.

4

S Goldsack and E H Dürr.
Annealing, object decomposition and design patterns.
In TOOLS Pacific 1996, 1996.

5

S J Goldsack, K Lano, and E H Dürr.
Refinement of object structures in VDM⁺⁺.
Technical report, Dept. of Computing, Imperial College, address theory.doc.ic.ac.uk, get the file at papers/Goldsack/annealing.ps, 1996.

6

S.J Goldsack and E.H. Dürr.
Concurrency and Real-time in VDM⁺⁺, chapter 6.
Springer Verlag, ISBN 3-540-19977-2, March 1996.

7

K C Lano, J C Bicarregui, and S J Goldsack.
Formalising design patterns.
In Northern Formal Method Workshop, Bradford. Springer Verlag EWICS, 1996.

8

Jian Lu.
Introducing data decomposition into VDM for tractable development of programs.
ACM Sigplan Notices, 30, September 1995.

9

J Rumbaugh, M Blaha, W. Premerlani, F Eddy, and W Lorensen.
Object Oriented Modeling and Design.
Prentice Hall International, 1991.