Institution-based Encoding and Verification of Simple UML State Machines in CASL/SPASS | 0 | 0.34 | 2020 |
Multi-view Consistency in UML: A Survey. | 0 | 0.34 | 2018 |
Multi-view Consistency in UML. | 2 | 0.37 | 2016 |
Towards an Institutional Framework for Heterogeneous Formal Development in UML - - A Position Paper -. | 2 | 0.38 | 2015 |
An Institution for Simple UML State Machines. | 4 | 0.41 | 2014 |
An Institutional Framework for Heterogeneous Formal Development in UML. | 1 | 0.37 | 2014 |
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. | 7 | 0.46 | 2012 |