Abstract:
For most computer controlled systems, especially dependable, real–time systems for critical applications, an effective design process requires an early conceptual and architectural validation prior to the implementation in order to avoid costly re–design cycles. In order to have a guaranteed design quality, all relevant system characteristics have to be checked during this system verification
Citations
|
214
|
Handbook of Graph Grammars and Computing by Graph Transformation
– Rozenberg, ed
|
|
51
|
Towards a Formal Operational Semantics of UML Statechart diagrams
– Latella, Majzik, et al.
- 1999
|
|
48
|
Hierarchical automata as model for Statecharts
– Mikk, Lakhnech, et al.
- 1997
|
|
41
|
Designing the automatic transformation of visual languages
– Varró, Varró, et al.
|
|
24
|
On the interleaving semantics of transformation units --- a step into GRACE
– Kreowski, Kuske
- 1996
|
|
21
|
Towards common exchange formats for graphs and graph transformation systems
– Taentzer
- 2001
|
|
18
|
The formal semantics of PVS
– Owre, Shankar
- 1997
|
|
15
|
Formal Approaches to Systems Analysis Using UML: An Overview
– Whittle
|
|
10
|
Introduction to PROGRES, an Attribute Graph Grammar Based Specification Language
– Schürr
- 1990
|
|
8
|
More about control conditions for transformation units
– Kuske
- 2000
|
|
5
|
Graph pattern matching using constraint satisfaction
– Larrosa, Valiente
- 2000
|
|
4
|
Automatic transformation of UML models
– Varró
- 2000
|
|
2
|
Fernández Alemán. Formally modeling UML and its evolution: A holistic approach
– Alvárez, L
- 2000
|
