Sciweavers

14670 search results - page 101 / 2934
» The Systems Modeling Language for Products and Systems Devel...
Sort
View
BIRTHDAY
2010
Springer
13 years 9 months ago
Formal Semantics of a VDM Extension for Distributed Embedded Systems
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...
Jozef Hooman, Marcel Verhoef
JLP
2006
126views more  JLP 2006»
13 years 8 months ago
Compositional modeling and refinement for hierarchical hybrid systems
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 ...
Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky
ICSE
2000
IEEE-ACM
13 years 11 months ago
Holmes: a system to support software product lines
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...
HICSS
2005
IEEE
243views Biometrics» more  HICSS 2005»
14 years 1 months ago
Definition of an Object-Oriented Modeling Language for Enterprise Architecture
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...
Lam-Son Lê, Alain Wegmann
SEKE
2009
Springer
14 years 2 months ago
Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser