426 search results - page 25 / 86 » Towards Verifying Model Transformations |
EJIS
2007
13 years 9 months ago
2007
Model-Driven Architecture (MDA) supports the transformation from reusable models to executable software. Business representations, however, cannot be fully and explicitly represen...
ATS
2000
IEEE
14 years 2 months ago
2000
IEEE
: In this paper a complete analysis of spot defects in industrial SRAMs will be presented. All possible defects are simulated, and the resulting electrical faults are transformed i...
LANMR
2007
13 years 11 months ago
2007
Abstract We study the notion of strong equivalence between two disjunctive logic programs under the G3-stable model semantics, also called the P-stable semantics, and we show how s...
VL
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
HYBRID
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...