default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTFM 2004: Ghent, Belgium
- C. Neville Dean, Raymond T. Boute:
Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings. Lecture Notes in Computer Science 3294, Springer 2004, ISBN 3-540-23611-2 - Kung-Kiu Lau:
A Beginner's Course on Reasoning About Imperative Programs. 1-16 - Sylvia da Rosa:
Designing Algorithms in High School Mathematics. 17-31 - Joy N. Reed, Jane E. Sinclair:
Motivating Study of Formal Methods in the Classroom. 32-46 - Martin J. Loomes, Bruce Christianson, Neil Davey:
Formal Systems, Not Methods. 47-64 - Egon Börger:
A Practice-Oriented Course on the Principles of Computation, Programming, and System Design and Analysis. 65-84 - Manuel Carro
, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns. 85-106 - Richard F. Paige, Jonathan S. Ostroff:
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. 107-123 - Roger Duke, Tim Miller, Paul A. Strooper:
Integrating Formal Specification and Software Verification and Validation. 124-139 - Peter Pepper:
Distributed Teaching of Formal Methods. 140-152 - Manuel J. Fernández-Iglesias, Martín Llamas Nistal:
An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students. 153-165 - Henri Habrias, Sébastien Faucou:
Linking Paradigms, Semi-formal and Formal Notations. 166-184 - Jim Davies, Andrew Simpson, Andrew P. Martin:
Teaching Formal Methods in Context. 185-202 - Ken Robinson:
Embedding Formal Development in Software Engineering. 203-213 - Dino Mandrioli:
Advertising Formal Methods and Organizing Their Teaching: Yes, but .... 214-224 - Baowen Xu, Yingzhou Zhang, Yanhui Li:
Retrospect and Prospect of Formal Methods Education in China. 225-234 - José Nuno Oliveira:
A Survey of Formal Methods Courses in European Higher Education. 235-248
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-21 20:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
