To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
Abstract: A mass market in reusable components demands a high level of component quality, testing being a crucial part of software quality assurance. For components modelled in UML...
Simon Pickin, Claude Jard, Thierry Heuillard, Jean...
We stress the need of a domain-tailored requirements engineering method for the development of GISapplications. To this end, we discuss three GISapplication scenarios, the so-call...
—This paper defines an approach to maintain the work of business process analysts aligned with the work of UI designers. With this approach, models are derived from each other an...
Distributed interactive systems often rely on platform information, used for example when migrating a user interface to a small-screen device, or when opportunistically recruiting...