Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B C D E F G I L M N O P R S T V W

A
automata theory	Automata Tutor
automated grading	Automata Tutor
B
blackboard	Tableaunoir: an online blackboard for teaching formal methods and making slides
C
concurrency	Teaching Concurrency with pseuCo Book
concurrency theory	Teaching Concurrency with pseuCo Book
D
Description Logics	SIVA: Simulation and visualization of the DL tableau algorithm
Dijkstra commands	Visualization of structural operational semantics over programs of simple imperative language.
E
education	Automata Tutor Teaching Concurrency with pseuCo Book
F
first-order logic	First-Order Logic Workbook
formal languages	Teaching Formal Languages with Iltis - A Preview
formal methods	Formal Methods Online: Sequent Calculus Verifier (SeCaV) Experiences on Online Teaching of Formal Methods to Systems Engineering Students Teaching Formal Languages with Iltis - A Preview
formal modeling	Towards Graphical Feedback in the DiMo Learning Tool
formal proofs	First-Order Logic Workbook
G
graphical feedback	Towards Graphical Feedback in the DiMo Learning Tool
I
Imperative language	Visualization of structural operational semantics over programs of simple imperative language.
intelligent tutoring	LogInd, a tool for supporting students in mastering structural induction
intelligent tutoring system	Teaching Formal Languages with Iltis - A Preview
interactive textbook	Teaching Concurrency with pseuCo Book
Interactive Web System	Iltis: Teaching Logic in the Web
Isabelle Proof Assistant	Formal Methods Online: Sequent Calculus Verifier (SeCaV)
L
library	DOMtutor -- Competitive Programming as Teaching Tool
Logic	LogInd, a tool for supporting students in mastering structural induction
LTI	Iltis: Teaching Logic in the Web
M
Markdown	Prooffold: a prototype for displaying structured proofs
mathematical proofs	Prooffold: a prototype for displaying structured proofs
message passing	Teaching Concurrency with pseuCo Book
model building	First-Order Logic Workbook
Modelling	First-Order Logic Workbook
N
notebook	First-Order Logic Workbook
O
online	Tableaunoir: an online blackboard for teaching formal methods and making slides
online teaching	Experiences on Online Teaching of Formal Methods to Systems Engineering Students
P
presentation	Tableaunoir: an online blackboard for teaching formal methods and making slides
programming	Teaching Concurrency with pseuCo Book
Python	DOMtutor -- Competitive Programming as Teaching Tool
R
reductions	Towards Graphical Feedback in the DiMo Learning Tool
research-based teaching	Experiences on Online Teaching of Formal Methods to Systems Engineering Students
S
SAT-solving	Towards Graphical Feedback in the DiMo Learning Tool
Sequent Calculus	Formal Methods Online: Sequent Calculus Verifier (SeCaV)
shared memory	Teaching Concurrency with pseuCo Book
simulation	SIVA: Simulation and visualization of the DL tableau algorithm
slides	Tableaunoir: an online blackboard for teaching formal methods and making slides
structural induction	LogInd, a tool for supporting students in mastering structural induction
Structural operational semantics	Visualization of structural operational semantics over programs of simple imperative language.
structured proofs	Prooffold: a prototype for displaying structured proofs
systems engineering	Experiences on Online Teaching of Formal Methods to Systems Engineering Students
T
tableau algorithm	SIVA: Simulation and visualization of the DL tableau algorithm
teaching	DOMtutor -- Competitive Programming as Teaching Tool
Teaching Logic	Iltis: Teaching Logic in the Web
teaching support system	Teaching Formal Languages with Iltis - A Preview
V
Visualization	SIVA: Simulation and visualization of the DL tableau algorithm Visualization of structural operational semantics over programs of simple imperative language.
W
Web application	Visualization of structural operational semantics over programs of simple imperative language.
whiteboard	Tableaunoir: an online blackboard for teaching formal methods and making slides