MDD and MDA approaches require capturing the behavior of UML models in sufficient detail so that the models can be automatically implemented/executed in the production environment....
Semanta is a system supporting Semantic Email, implemented as an add-in to two popular Mail User Agents, using existing email transport technology and integrated with the Social Se...
Simon Scerri, Ioana Giurgiu, Brian Davis, Siegfrie...
High-level actions (HLAs) lie at the heart of hierarchical planning. Typically, an HLA admits multiple refinements into primitive action sequences. Correct descriptions of the ef...
Email can be considered as a virtual working environment in which users are constantly struggling to manage the vast amount of exchanged data. Although most of this data belongs t...
Simon Scerri, Gerhard Gossen, Brian Davis, Siegfri...
Modularity and tool support are crucial features for practical use of formal descriptions of programming languages. The combination of unrestricted context-free grammars with acti...