399 search results - page 21 / 80 » Verification of System Level Model Transformations |
136
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
109
click to vote
ISSS
2000
IEEE
15 years 6 months ago
2000
IEEE
Time-driven simulation models typically model timing in an idealized way that is over-constrained and cannot be directly implemented. In this paper we present a transformation to ...
124
click to vote
IEAAIE
1995
Springer
15 years 6 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
107
click to vote
ACSD
2001
IEEE
15 years 6 months ago
2001
IEEE
One of the corner stones of formal methods is the notion traction enables analysis. By the construction of act model we can trade implementation detail for analytical power. The i...
108
click to vote
TCAD
2008
15 years 2 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...