Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings

Introducing Formal Methods to First-Year Students in Three Intensive Weeks -- Online Teaching of Verification of C Programs in Applied Computer Science -- A Proposal for a Framework to Accompany Formal Methods -- Learning Tools -- Increasing Engagement with Interactive Visualization: Formal Methods...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	FMTea (VerfasserIn)
Weitere Verfasser:	Ferreira, João F. (HerausgeberIn), Mendes, Alexandra (HerausgeberIn), Menghi, Claudio (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cham Springer 2021
Schriftenreihe:	Lecture notes in computer science 13122
Schlagworte:	Konferenzschrift > Formale Sprache > Mathematische Logik > Formale Methode
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
Using Isabelle in Two Courses on Logic and Automated Reasoning	2021	Villadsen, Jørgen
Increasing Engagement with Interactive Visualization: Formal Methods as Serious Games	2021	Kamburjan, Eduard
Lessons of Formal Program Design in Dafny	2021	Ettinger, Ran
Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming	2021	Yatapanaze, Nisansala
Introducing Formal Methods to First-Year Students in Three Intensive Weeks	2021	Aceto, Luca
Online Teaching of Verification of C Programs in Applied Computer Science	2021	Güdemann, Matthias
Teaching Correctness-by-Construction and Post-hoc Verification — The Online Experience	2021	Runge, Tobias
Increasing Student Self-Reliance and Engagement in Model-Checking Courses	2021	Körner, Philipp
A Proposal for a Framework to Accompany Formal Methods Learning Tools (Short Paper)	2021	Hundeshagen, Norbert
Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper)	2021	Lestingi, Livia

Alle Artikel auflisten