Formal Methods Teaching [[electronic resource] ] : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / / edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (159 pages) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations Mètodes formals (Informàtica) |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 3-030-91550-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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 as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming. |
Record Nr. | UNISA-996464532103316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Methods Teaching : 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings / / edited by João F. Ferreira, Alexandra Mendes, Claudio Menghi |
Edizione | [1st ed. 2021.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 |
Descrizione fisica | 1 online resource (159 pages) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Mathematical logic
Mathematical Logic and Foundations Mètodes formals (Informàtica) |
Soggetto genere / forma |
Congressos
Llibres electrònics |
ISBN | 3-030-91550-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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 as Serious Games Increasing Student Self-Reliance and Engagement in ModelChecking Courses -- Teaching Formal Methods to Software Engineers through Collaborative Learning -- Lessons of Formal Program Design in Dafny -- Teaching Correctness-by-Construction and Post-hoc Verification -The Online Experience -- Using Isabelle in Two Courses on Logic and Automated Reasoning -- Introducing Formal Methods to Students who Hate Maths and Struggle with Programming. |
Record Nr. | UNINA-9910510554403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|