FMTEA19: FORMAL METHODS TEACHING WORKSHOP AND TUTORIAL

This page contains an index consisting of author-provided keywords.

A
Abstract interpretation	Teaching Formal Methods to Future Engineers
Abstraction	Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach (cancelled due to illness)
Aerospace Engineering	On Teaching Applied Formal Methods in Aerospace Engineering
Algebra	Logic, Algebra, and Geometry at the Foundation of Computer Science
Alloy	Teaching Formal Methods: From Software in the Small to Software in the Large
automated theorem provers	Using Krakatoa for teaching formal verification of Java programs
Avionics	On Teaching Applied Formal Methods in Aerospace Engineering
C
Computational Logic	The Computational Relevance of Formal Logic through Formal Proofs
Computer Science	Teaching Formal Methods: Lessons Learnt from Using Event-B
D
deductive verification	Teaching Formal Methods to Future Engineers Teaching deductive verification through Frama-C and SPARK Teaching Deductive Verification in Why3 to Undergraduate Students
Discrete Mathematics	Teaching Discrete Mathematics to Computer Science Students Teaching Formal Methods: Lessons Learnt from Using Event-B
Domain Specific Language specification	Principled and pragmatic specification of programming languages
E
Engineering school	Teaching Formal Methods to Future Engineers
Event-B	Teaching Formal Methods: Lessons Learnt from Using Event-B
F
Formal Methods	Using Krakatoa for teaching formal verification of Java programs Teaching Discrete Mathematics to Computer Science Students On Complementing an Undergraduate Software Engineering Course with Formal Methods Teaching Formal Methods: Lessons Learnt from Using Event-B
Formal methods education	Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach (cancelled due to illness)
Formal proofs	The Computational Relevance of Formal Logic through Formal Proofs
Formal semantics of programming languages	Teaching Formal Methods to Future Engineers
Frama-C	Teaching deductive verification through Frama-C and SPARK
Frequent Testing	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
G
Geometry	Logic, Algebra, and Geometry at the Foundation of Computer Science
Guarded commands	Teaching Concurrency with the Disappearing Formal Method
H
Heterogeneity in Students	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
Hoare logic	Using Krakatoa for teaching formal verification of Java programs
I
Inductive Method	You already used Formal Methods but did not know
Intuition	You already used Formal Methods but did not know
J
JML	Using Krakatoa for teaching formal verification of Java programs
K
Krakatoa	Using Krakatoa for teaching formal verification of Java programs
L
Logic	Logic, Algebra, and Geometry at the Foundation of Computer Science
Logic in Computer Science	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
M
Model Checking	Teaching Formal Methods: From Software in the Small to Software in the Large On Teaching Applied Formal Methods in Aerospace Engineering
Model-based formal mathods	Teaching Formal Methods to Future Engineers
Modelling	Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a modelling-focussed approach (cancelled due to illness)
N
Non-interference	Teaching Concurrency with the Disappearing Formal Method
O
operationalising formal specifications	Principled and pragmatic specification of programming languages
P
Pedagogy	Teaching Discrete Mathematics to Computer Science Students
PVS proof assistant	The Computational Relevance of Formal Logic through Formal Proofs
S
software engineering	On Complementing an Undergraduate Software Engineering Course with Formal Methods Teaching Formal Methods: Lessons Learnt from Using Event-B
SPARK	Teaching deductive verification through Frama-C and SPARK
Specification Debugging	On Teaching Applied Formal Methods in Aerospace Engineering
Spiral Approach	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
State diagrams	Teaching Concurrency with the Disappearing Formal Method
Structural Operational Semantics	Principled and pragmatic specification of programming languages
T
teaching	On Complementing an Undergraduate Software Engineering Course with Formal Methods
Teaching Formal Methods	Logic, Algebra, and Geometry at the Foundation of Computer Science Teaching Formal Methods: From Software in the Small to Software in the Large On Teaching Applied Formal Methods in Aerospace Engineering Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
Teaching logic	The Computational Relevance of Formal Logic through Formal Proofs
Teaching Methodology	You already used Formal Methods but did not know
Theorem proving	On Teaching Applied Formal Methods in Aerospace Engineering You already used Formal Methods but did not know
Theory of Computation	Managing Heterogeneity and Bridging the Gap in Teaching Formal Methods
U
UML/OCL	Teaching Formal Methods: From Software in the Small to Software in the Large
undergraduate students	Teaching Deductive Verification in Why3 to Undergraduate Students
Unifying Theories of Programming	Logic, Algebra, and Geometry at the Foundation of Computer Science
W
Why3	Teaching Deductive Verification in Why3 to Undergraduate Students

Disclaimer | Powered by EasyChair Smart Program