Design Verification Patterns - Formal Methods and Hybrid Real-Time Systems - page 412

Acknowledgement. The first author wishes to thank CISS for funding his
work on the topic, and menbers of the ”Correct System Design” group, in par-
ticular Professor Olderog, for hospitality during extended stays. The second and
third author acknowledge the inspiration fromk CISS' industrial collaborators
to pursue this line of research.
References
1. Bass, L., Clements, P., Kazman, R.: Software Architecture in Practice. Addison-
Wesley, Reading (1999)
2. Bjørner, D.: Software Engineering. In: Bjørner, D. (ed.) Domains, Requirements
and Software Design. Texts in Theoretical Computer Science, vol. 3, Springer,
Heidelberg (2006)
3. Chalin, P., Kiniry, J.R., Leavens, G.T., Poll, E.: Beyond assertions: Advanced spec-
ification and verification with JML and ESC/Java2. In: de Boer, F.S., Bonsangue,
M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2005. LNCS, vol. 4111, pp. 342-363.
Springer, Heidelberg (2006)
4. Damm, W., Hungar, H., Olderog, E.-R.: On the verification of cooperating tra c
agents. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.)
FMCO 2003. LNCS, vol. 3188, pp. 77-110. Springer, Heidelberg (2004)
5. Damm, W., Hungar, H., Olderog, E.-R.: Verification of cooperating travel agents.
International Journal of Control 79(5), 395-421 (2006)
6. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns. Addison-Wesley,
Reading (1995)
7. Object Management Group. Unified Modeling Language: Superstructure,
version 2.0, final adopted specification, http://www.omg.org/uml/, formal/
05-07-04, 2005
8. He, J., Hoare, C.A.R., Franzle, M., Muller-Olm, M., Olderog, E.-R., Schenke, M.,
Hansen, M.R., Ravn, A.P., Rischel, H.: Provably correct systems. In: Langmaack,
H., de Roever, W.-P., Vytopil, J. (eds.) Formal Techniques in Real-Time and Fault-
Tolerant Systems. LNCS, vol. 863, pp. 288-335. Springer, Heidelberg (1994)
9. He, J., Li, X., Liu, Z.: rCOS: A refinement calculus for object systems. Theoretical
Computer Science 365(1-2), 109-142 (2006)
10. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood
Cliffs (1985)
11. Hoare, C.A.R., He, J.: Unifying Theories of Programming. Prentice-Hall, Engle-
wood Cliffs (1998)
12. Hoenicke, J., Olderog, E.-R.: Combining Specification Techniques for Processes
Data and Time. In: Butler, M., Petre, L., Sere, K. (eds.) IFM 2002. LNCS, vol. 2335,
pp. 245-266. Springer, Heidelberg (2002)
13. Hoenicke, J.: Combination of Processes, Data, and Time. PhD thesis, Fachbereich
Informatik Universitt Oldenburg (2006)
14. Langmaack, H., Ravn, A.P.: The procos project: Provably correct systems. In:
Bowen, J. (ed.) Towards Verified Systems. Real-Time Safety Critical Systems, ch.
Appendix B. vol. 2, Elsevier, Amsterdam (1994)
15. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented
Analysis and Design and the Unified Process, 2nd edn. Prentice-Hall, Englewood
Cliffs (2001)