Distributed teaching of formal methods

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

Volumn 3294, Issue , 2004, Pages 140-152

  Pepper, Peter ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CURRICULA; EDUCATION; FORMAL METHODS;

TEACHING;

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

References (7)

1. Jonathan P. Bowen and Michael G. Hinchey. Ten commandments of formal methods. IEEE Computer, 28(4):56-63, 1995.
2. Michael G. Hinchey Jonathan P. Bowen. Seven more myths of formal methods: Dispelling industrial prejudices. In M. Bertran, M. Naftalin, and T. Denvir, editors, FME'94: Industrial Benefit of Formal Methods, volume 873 of Lecture Notes in Computer Science, pages 105-117. Springer-Verlag, 1994.
3. E. M. Clarke and J. Wing. Formal methods: State of the art and future directions. ACM Comp Surveys, 28(4):626-643, 1996.
4. D. Gries. The Science of Programming. Springer-Verlag, 1981.
5. P. Pepper. Funktionale Programmierung in Opal, Ml, Haskeil und Gofer. Springer-Verlag, 1999.
6. P. Pepper. Programmieren mit Java. Springer-Verlag, 2004.
7. S.D.Johnson, W.P.Alexander, S.-K. Chin, and G. Gopalakrishnan. 21st century engineering consortium workshop (XXIEC): a forum on formal methods education. Technical report, http://www.cs.indiana.edu/formal-methods-education/ xxiec/report.html, March 1998.