1077 search results - page 145 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
128
Voted
ISOLA
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
137
Voted
CDVE
2007
Springer
15 years 9 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...
137
Voted
ENTCS
2006
15 years 3 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
136
click to vote
ENTCS
2008
15 years 3 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
129
Voted
SAC
2010
ACM
15 years 10 months ago
2010
ACM
This paper presents a language dedicated to the description of the software architecture of complex embedded control systems. The language relies on the synchronous approach but e...