Image de couverture de livre

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

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 i...

Description complète

Enregistré dans:
Détails bibliographiques
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Sekerinski, Emil (Éditeur intellectuel), Ribeiro, Leila (Éditeur intellectuel)
Format: Électronique eBook
Langue:anglais
Publié: Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Édition:1st ed. 2024.
Collection:Lecture Notes in Computer Science, 14939
Sujets:
Mathematical logic.
Logic programming.
Natural language processing (Computer science).
Social sciences > Data processing.
Software engineering.
Microprogramming .
Mathematical Logic and Foundations.
Logic in AI.
Natural Language Processing (NLP).
Computer Application in Social and Behavioral Sciences.
Software Engineering.
Control Structures and Microprogramming.
Accès en ligne:https://doi.org/10.1007/978-3-031-71379-8
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
Table des matières:
  • 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.

Documents similaires