—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
This paper presents an observer-based approach to the determination of environment forces acting on a rigid body. Actuation forces, measured positions and orientations and identi ...
The Prometheus Design Tool (PDT) is an agent development tool that supports the Prometheus design methodology and includes features like automated code generation. We enhance this...
Several modalities like CT, MRI, or U/S are used for the imaging of the myocardium and the adjacent cavity. The American Heart Association (AHA) has published recommendations for ...
Stefan Wesarg, Mathias Seitel, Evelyn Firle, Chris...
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui