Program quality represents the most significant part of software quality control that assures all characteristics of software products to satisfy the user's explicit and impl...
By the use of declarative rules, automation of tasks can be performed through an electronic personal information management (PIM) application. Rules can be used in a variety of di...
Smartcards can be seen as service providing entities that implement a secure, tamper-proof storage and offer computational resources which make them ideally suited for a variety o...
In our terminology, a “deliberation” is a distributed collaborative process, more or less spontaneous, structured, and complex. This process can include both individual and col...
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...