Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
Companies employ business process management suites to model, run, and maintain their processes. These processes are required to comply with requirements originating from standards...
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...