Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: C F G H I M P R S V

C
Coloured Petri Nets	Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets
F
Feedforward	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes
Formal Method Integration	Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets
formal methods	Modelling Reasoning with Real-time Maude in the Context of Human Behaviour Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes A Survey on Formal Methods for Interactive Systems
Formal Modelling	Formal Modelling of Safety-Critical Interactive Devices using Coloured Petri Nets
formal specifications	Synthesizing Glue Code for Graphical User Interfaces from Formal Specifications
G
graphical properties	A Survey on Formal Methods for Interactive Systems
graphical user interfaces	Synthesizing Glue Code for Graphical User Interfaces from Formal Specifications
H
Human Reasoning	Modelling Reasoning with Real-time Maude in the Context of Human Behaviour
Human-Computer Interaction	Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis
I
interactive software	A Survey on Formal Methods for Interactive Systems
interactive systems engineering	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes
M
Medical Imaging	Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis
Model Checking	Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis
Model-Based Testing	Model-Based Testing of Post-WIMP Interactions Using Petri-nets
P
Petri nets	Fortune Nets: Formal, Petri nets-based, Engineering of Fortunettes
Post-WIMP Interactive Systems	Model-Based Testing of Post-WIMP Interactions Using Petri-nets
Problem Solving	Modelling Reasoning with Real-time Maude in the Context of Human Behaviour
R
reactive synthesis	Synthesizing Glue Code for Graphical User Interfaces from Formal Specifications
Real-time Maude	Modelling Reasoning with Real-time Maude in the Context of Human Behaviour
Rewrite Systems	Modelling Reasoning with Real-time Maude in the Context of Human Behaviour
S
Software Testing	Model-Based Testing of Post-WIMP Interactions Using Petri-nets
Spatial Logics	Preliminary Thoughts on User Interfaces for Logic-based Medical Image Analysis
V
verification	A Survey on Formal Methods for Interactive Systems