A survey of formal methods courses in European higher education: The FME subgroup on education

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3294, Issue , 2004, Pages 235-248

  Oliveira, J N ^a  

^a Formal Methods Europe Association

Author keywords

[No Author keywords available]

Indexed keywords

CURRICULA; DIGITAL LIBRARIES; FORMAL METHODS; SURVEYS; TEACHING; WEBSITES;

ACADEMIC STAFF; EUROPEAN COUNTRIES; HIGHER EDUCATION; SURVEY DATA; VIRTUAL LIBRARIES;

EDUCATION;

EID: 35048903091     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30472-2_16     Document Type: Article

References (17)

1. J.-R. Abrial. The B-book: assigning programs to meanings. Cambridge University Press, 1996.
2. J. Bowen. World wide web virtual library of formal methods, 2004. Available from http : //www.afm.sbu.ac.uk.
3. J. Cuadrado. Teach formal methods. Byte, page 292, December 1994.
4. J. Fitzgerald and P.G. Larsen. Modelling Systems: Practical Tools and Techniques for Software Development. Cambridge University Press, 1st edition, 1998.
5. Michael R. Hansen and Hans Rischel. Introduction to Programming using SML. Addison-Wesley, 1999. ISBN 0-201-39820-6.
6. Gerard J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003. ISBN 0-321-22862-6, 608 pages.
7. S.L. Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, Cambridge, UK, 2003.
8. Also published as a Special Issue of the Journal of Functional Programming, 13(1) Jan. 2003.
9. Kim G. Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a nutshell. Int. Journal on Software Tools for Technology Transfer, 1(1-2):134-152, 1998.
10. K. Fisler (maintainer). Formal methods education resources, 2002. Website hosted by the Department of Computer Science, Worcester Polytechnic Institute. Available from http://www.cs.Indiana.edu/formal-methods-education/.
11. D. Mandrioli. A few preliminary thoughts about education on formal methods within (university) curricula, 2003. Working document available from the FME-SoE website.
12. J. N. Oliveira. "Bagatelle in C arranged for VDM SoLo". Journal of Universal Computer Science, 7(8):754-781, 2001.
13. Special Issue on Formal Aspects of Software Engineering (Colloquium in Honor of Peter Lucas, Institute for Software Technology, Graz University of Technology, May 18-19, 2001).
14. The Joint ACM/IEEE-CS Task Force on Computing Curricula. Computing curricula 2001: Computer Science -Final Report. Technical report, Association for Computing Machinery and IEEE Computer Society, December 2001.
15. The Joint ACM/IEEE-CS Task Force on Computing Curricula. Computing curriculum - Software Engineering. Technical report, Software Engineering Education Knowledge (SEEK), February 2004. Public Draft 3.1.
16. FME Subgroup on Education. A survey of formal methods courses in european higher education, 2004. Web version (HTML) available from http://www.fmeurope. org/ → Formal Methods → Education.
17. J. M. Spivey. The Z Notation - A Reference Manual. Series in Computer Science. Prentice-Hall International, 1989. C. A. R. Hoare.