Rodin logo Information society technologies
Rigorous Open Development Environment for Complex Systems

Link to Home page
Link to Workpackages page
Link to Participants page
Link to Industrial Interest Group page
Link to expected results page
Link to expected results page
Link to publications page
Link to project background page
 
 
Credits
Project Member Space

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.