Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...
Software product lines are multiple systems that are developed synergistically in an attempt to exploit scope economies. They are a promising approach to more effectively developi...
Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedry...
In enterprise architecture, the goal is to integrate business resources and IT resources in order to improve an enterprise’s competitiveness. In an enterprise architecture proje...
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...