This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon...
So far, conceptual modeling of Web applications has been used primarily in the upper part of the life cycle, as a driver for system analysis. Little attention has been put on expl...
Piero Fraternali, Maristella Matera, Andrea Maurin...
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Language integration is an important issue in the area of software maintenance and reengineering. We describe a novel solution in this area: automatically applied and composed spl...
Multimodel analysis and controller design for nonlinear processes via gap metric is discussed. It is shown that the loop-shaping H approach can integrate the procedure of selectin...
Wen Tan, Horacio J. Marquez, Tongwen Chen, Ji-zhen...