The following pages link to (Q5465489):
Displaying 7 items.
- A formal framework for viewpoint consistency (Q698095) (← links)
- Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133) (← links)
- Consistency of the static and dynamic components of object-oriented specifications (Q2778415) (← links)
- Towards inconsistency handling of object-oriented behavioral models (Q2847846) (← links)
- Viewpoints modelling (Q2906956) (← links)
- Dynamic Consistency in Process Algebra: From Paradigm to ACP (Q5179202) (← links)
- Formal Methods for Components and Objects (Q5311303) (← links)