The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Scenario-Based Static Analysis of UML Class Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Language-Theoretic View on Guidelines and Consistency Rules of UML
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
A systematic review of UML model consistency management
Information and Software Technology
Ensuring consistency of information systems rules models
CompSysTech '09 Proceedings of the International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing
The approach of ensuring consistency of UML model based on rules
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Extensive validation of OCL models by integrating SAT solving into USE
TOOLS'11 Proceedings of the 49th international conference on Objects, models, components, patterns
Modular embedding of the object constraint language into a programming language
SBMF'11 Proceedings of the 14th Brazilian conference on Formal Methods: foundations and Applications
Towards a generic verification methodology for system models
Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |