FASE
1998
Springer
13 years 9 months ago
1998
Springer
FASE
1998
Springer
13 years 9 months ago
1998
Springer
We reflect on our experiences from work on the design and semantic underpinnings of Extended ML, a specification language which supports the specification and formal development o...
FASE
1998
Springer
13 years 9 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
FASE
1998
Springer
13 years 9 months ago
1998
Springer
A critical issue for complex component-based systems design is the modeling and analysis of architecture. One of the complicating factors in developing architectural models is acc...