1774 search results - page 8 / 355 » Modeling Dynamic Component Interfaces |
OTM
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Model Driven Engineering (MDE) aims to help software deto abstract the system implementations by means of models and meta-models. In Web-based Collaborative Information S...
WSC
2007
13 years 10 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
SPLC
2007
13 years 8 months ago
2007
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and implementing this kind of systems is a difficult opera...
ENTCS
2007
13 years 7 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
SAFECOMP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper addresses the problems appearing in componentbased development of safety-critical systems. We aim at efficient reasoning about safety at system level while add...