This is an old revision of the document!


Past Research Topics

A description of some of our past research topics.

Visual Event Grammars

In this project, we proposed a new simple formal method, which combines various features such as modularity, code generation and automatic verification, to give a scalable notation to specify, design, validate and verify GUIs. Our approach, called Visual Event Grammars (VEG) is based on decomposing the specification of a large GUI into communicating automata. Breaking a complex scene down into communicating pieces may dramatically diminish the number of states, as shown by popular notations such as Statecharts.

research/past.1278497768.txt.gz · Last modified: 2014/10/20 20:10 (external edit)
Recent changes RSS feed Creative Commons License Donate Driven by DokuWiki