Extending variability for OCL interpretation
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Resource allocation contracts for open analytic runtime models
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Hi-index | 0.00 |
Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation ...