default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFMTea 2019: Porto, Portugal
- Brijesh Dongol, Luigia Petre, Graeme Smith:
Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings. Lecture Notes in Computer Science 11758, Springer 2019, ISBN 978-3-030-32440-7
Tutorial Lectures
- Tony Hoare, Alexandra Mendes, João F. Ferreira:
Logic, Algebra, and Geometry at the Foundation of Computer Science. 3-20
Teaching Program Verification
- Léo Creuse, Claire Dross, Christophe Garion
, Jérôme Hugues, Joffrey Huguet:
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists. 23-36 - Jose Divasón, Ana Romero:
Using Krakatoa for Teaching Formal Verification of Java Programs. 37-51 - Sandrine Blazy:
Teaching Deductive Verification in Why3 to Undergraduate Students. 52-66
Teaching Program Development
- Catherine Dubois, Virgile Prevosto, Guillaume Burel:
Teaching Formal Methods to Future Engineers. 69-80 - Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón:
The Computational Relevance of Formal Logic Through Formal Proofs. 81-96 - María-del-Mar Gallardo, Laura Panizo:
Teaching Formal Methods: From Software in the Small to Software in the Large. 97-110 - Kristin Yvonne Rozier:
On Teaching Applied Formal Methods in Aerospace Engineering. 111-131
Effective Teaching Techniques
- Emil Sekerinski:
Teaching Concurrency with the Disappearing Formal Method. 135-149 - Faron Moller, Liam O'Reilly:
Teaching Discrete Mathematics to Computer Science Students. 150-164 - Adrian Johnstone, Elizabeth Scott:
Principled and Pragmatic Specification of Programming Languages. 165-180 - Pamela Fleischmann, Mitja Kulczynski, Dirk Nowotka, Thomas Wilke:
Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods. 181-195 - Andrew Simpson:
Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach. 196-211 - Néstor Cataño:
Teaching Formal Methods: Lessons Learnt from Using Event-B. 212-227 - Giampaolo Bella:
You Already Used Formal Methods but Did Not Know It. 228-243
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-15 19:43 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:
