RODIN
Background
References
1. A. Avizienis,
J.C. Laprie, B. Randell.
Dependability and its Threats: A Taxonomy.
In Proceedings of the Building the Information Society:
Proc. IFIP 18th World Computer Congress, 22-27 August 2004, Toulouse,
France Jacquart, R. (ed) pp. 91-120.
2. M.C. Gaudel, V. Issarny, C. Jones, H. Kopetz, E. Marsden, N. Moffat,
M. Paulitsch, D. Powell, B. Randell, A. Romanovsky, R. Stroud, F.
Taiani. Final Version of DSoS Conceptual Model (CSDA1).
CS-TR: 782, School of Computing Science, University of Newcastle, July
2003.
http://www.cs.ncl.ac.uk/research/pubs/trs/papers/782.pdf
3. C. Jones, A formal basis for some dependability
notions. In Proceedings of the 10th Anniversary Colloquium of
the United Nations University International Institute for Software
Technology (UNU/IIST)
- Formal Methods at the Crossroads: From Panacea to Foundational Support,
Lisbon, Portugal, March 18-21, 2002 Aichernig, B.K. and Maibaum, T. (eds.)
LNCS 2757. 2003.
http://www.cs.ncl.ac.uk/research/pubs/authors/../inproceedings/papers/525.pdf
4. C.B. Jones. Systematic Software Development using VDM. Prentice Hall
International. 1990.
5. A. Romanovsky, C. Dony, J.L. Knudsen, A. Tripathi (Eds).
Advances in Exception Handling Techniques. Springer-Verlag, LNCS-2022,
289 p. 2001.
|