Different approaches to improve business process have been proposed. One of the most common techniques is based on software agents and workflow technology. A software agent can be...
Marco Repetto, Christian Vecchiola, Antonio Boccal...
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
Michael Barnett, Wolfgang Grieskamp, Lev Nachmanso...
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...