This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
Frank S. de Boer, Marcello M. Bonsangue, Joost Jac...
: The limitations of existing proposed and operational publishing models intended to replace the academic journal are briefly reviewed. Three ‘insights’ are described, the firs...
Estimating models for both plant and disturbance dynamics is important in control design applications that focus on disturbance rejection. Several methods for low-order approximat...
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
The focus of this paper is to introduce a comprehensive model for assessing and improving the maturity of Collaboration Engineering (CE) processes. The model is targeted at introd...
Eric L. Santanen, Gwendolyn L. Kolfschoten, Kastur...