1087 search results - page 59 / 218 » Modelling and Implementing Complex Systems with Timebands |
119
click to vote
EDOC
2007
IEEE
15 years 9 months ago
2007
IEEE
There has, in recent years, been growing interest in Model Driven Engineering (MDE), in which models are the primary design artifacts and transformations are applied to these mode...
124
click to vote
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
Recent work in the area of Model-based Safety Analysis has demonstrated key advantages of this methodology over traditional approaches, for example, the capability of automatic ge...
141
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Abstract. Model transformations are an integral part of OMG's standard for Model Driven Architecture (MDA). Model transformations should at the best allow for a seamless trans...
133
click to vote
CSMR
2006
IEEE
15 years 9 months ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
125
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...