Abstract is missing.
- Partial models: a position paperMichalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay. [doi]
- Improving formal verification practicability through user oriented models and context-awarenessAmine Raji, Philippe Dhaussy. [doi]
- Specifying a testing oracle for train stationsAndreas Svendsen, Øystein Haugen, Birger Møller-Pedersen. [doi]
- On the interaction of inter-relationship constraintsAzzam Maraee, Mira Balaban. [doi]
- Analyzing realizability of choreographies using initiating and responding flowsSurya Bahadur Kathayat, Rolv Bræk. [doi]
- On validation of ATL transformation rules by transformation modelsFabian Büttner, Jordi Cabot, Martin Gogolla. [doi]
- Runtime model validation with parallel object constraint languageTamás Vajk, Zoltán Dávid, Márk Asztalos, Gergely Mezei, Tihamer Levendovszky. [doi]
- Natural language generation from class diagramsHåkan Burden, Rogardt Heldal. [doi]
- Towards automatic determination of problem bounds for object instantiation in static model verificationMathias Soeken, Robert Wille, Rolf Drechsler. [doi]