We investigate the process of collaborative modeling by analyzing conversations and loud thinking during modeling sessions and the resulting models themselves. We discovered the ba...
This position paper shortly describes methods and tools under development to support a model-based reengineering process of user interfaces of legacy applications. This reengineer...
Empirical Modelling is a body of principles and tools that has been developed for the construction of interactive environments. Our previous research has indicated respects in whi...
—In this paper, we present an overview of the JPWL standardization activity. JPWL is an extension of JPEG 2000 for the efficient transmission of JPEG 2000 images over an error-pr...
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...