default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Communication of the European Association of Software Science and Technology, Volume 24
Volume 24: The Pragmatics of OCL and Other Textual Specification Languages 2009
- Jordi Cabot, Joanna Chimiak-Opoka
, Martin Gogolla, Frédéric Jouault, Alexander Knapp:
Preface to Workshop The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009.
- Peter Killisperger, Markus Stumptner, Georg Peters, Thomas Stückl:
Specifying OCL Constraints on Process Instantiations. - Tony Clark:
A MOP Based DSL for Testing Java Programs using OCL. - Christian Hein, Marcus Engelhardt, Tom Ritter, Michael Wagner:
Generation of Formal Model Metrics for MOF based Domain Specific Languages. - Manuel Clavel, Marina Egea, Miguel Angel García de Dios:
Checking Unsatisfiability for OCL Constraints. - Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth, Darius Silingas, Nicolas F. Rouquette:
Requirements Analysis for an Integrated OCL Development Environment. - Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam:
OCL contracts for the verification of model transformations. - Jens Brüning, Andreas Wolff:
Declarative Models for Business Processes and UI Generation using OCL.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-05 20:38 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
