Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
UML activity models (activities, for short) have become widely accepted for specifying the dynamic behavior of use cases. For an adequate specification of use cases in the context...
In this paper we present an adaptive architecture for interaction and dialogue management in spoken dialogue applications. This architecture is targeted for applications that adapt...
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
The Distributed Object Group Framework(DOGF) we constructed supports the grouping of distributed objects that are required for distributed application. From the DOGF, we manage dis...