We present the modeling and validation experiments performed with the IFx validation toolset and with the UML profile developed within the IST Omega project, on a representative sp...
—With the increasing use of object-oriented methods in new software development there is a growing need to both document and improve current practice in object-oriented design an...
Shyam R. Chidamber, David P. Darcy, Chris F. Kemer...
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...
Ana-Elena Rugina, Peter H. Feiler, Karama Kanoun, ...
This paper presents a software environment for a human-aware ambient agent providing support for a human performing an attention-demanding task. The agent obtains human attention-...
Zulfiqar A. Memon, Rogier Oorburg, Jan Treur, Muha...
In this paper we describe Taking Sides, a performance using a real-time speech visualization software system called TextEngine. Taking Sides is a collaboration between our researc...