2186 search results - page 187 / 438 » Model Transformation Technologies in the Context of Modellin... |
SOCO
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Behavioral specifications that are integrated into component interfaces are an important means for the correct construction of component-based systems. Currently, such s...
INEX
2007
Springer
14 years 3 months ago
2007
Springer
This paper exposes the results of our participation at INEX’07 in the AdHoc track and the comparison of these results with respect to the ones obtained last year. Three runs were...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
The knowledge required to develop complex software has historically existed in programming folklore, the heads of experienced developers, or buried deep in the code. These locatio...
PADS
2009
ACM
14 years 4 months ago
2009
ACM
We use a realistic interdomain routing experiment platform to conduct real-time attack and defense exercises for training purposes. Our interdomain routing experiment platform int...
LCTRTS
2010
Springer
13 years 7 months ago
2010
Springer
The automotive industry has a growing demand for the seamless integration of safety analysis tools into the model-based development toolchain for embedded systems. This requires t...