Formal Methods Teaching

6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

AvEmil Sekerinski,Leila Ribeiro

Häftad, Engelska, 2024

Del 14939 i serien Lecture Notes in Computer Science

426 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.

Produktinformation

Utgivningsdatum:2024-09-05
Mått:155 x 235 x 9 mm
Vikt:242 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:141
Förlag:Springer International Publishing AG
ISBN:9783031713781

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Artificiell intelligens inom Data och IT

Innehållsförteckning

1 The Significance of Symbolic Logic for Scientific Education.- Introducing GitHub Classroom into a Formal Methods Module.- Teaching through Practice: Advanced Static Analysis with LiSA.- Teaching Formal Methods for 10 Years: Reflections on Theories, Tools, Materials, and Communities.- An Educational Module for Temporal Features in Alloy 6.- Checking contracts in Event-B.- Teaching with Logika: Conceiving and Constructing Correct Software.- 8 Teaching Formal Methods in Application Domains: A Case Study in Computer and Network Security.

Du kanske också är intresserad av

Karl-Heinz Göttert - Reclams klassischer Adventskalender. "Es gibt so wunderweiße Nächte", Häftad

Nyhet

Del 14939

Reclams klassischer Adventskalender. "Es gibt so wunderweiße Nächte"

Karl-Heinz Göttert

Häftad, 2026

111 kr

Formal Methods Teaching

Leila Ribeiro, Emil Sekerinski

E-bok

2024

521 kr

Graph Transformations

Grzegorz Rozenberg, Leila Ribeiro, Ugo Montanari, Hartmut Ehrig, Andrea Corradini

E-bok

2006

710 kr

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

E-bok

2016

739 kr

Del 10090

Formal Methods: Foundations and Applications

Leila Ribeiro, Thierry Lecomte

Häftad, 2016

566 kr

Graph Transformations

Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

Häftad, 2006

549 kr

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad

Del 12232

Formal Methods. FM 2019 International Workshops

Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas