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.

· %2013/%04/%18 %03:%Apr
research/past.1413828618.txt.gz · Last modified: 2014/10/20 20:10 by agosta
Recent changes RSS feed Creative Commons License Donate Driven by DokuWiki