Modular Embedding of the Object Constraint Language into a Programming Language-Reference-Cited by-同舟云学术

Modular Embedding of the Object Constraint Language into a Programming Language

Published:2011 Issue: Volume: Page:124-139
ISSN:0302-9743
Container-title:Formal Methods, Foundations and Applications
language:
Short-container-title:

Author:

Büttner Fabian,Gogolla Martin

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-25032-3_9

Reference31 articles.

1. Akehurst, D., Patrascoiu, O.: KMF (Kent Modeling Framework) OCL Library. website (2011), http://www.cs.kent.ac.uk/projects/ocl/tools.html (last visited February 10, 2011)

2. Lecture Notes in Computer Science;A.D. Brucker,2008

3. Büttner, F.: Reusing OCL in the Definition of Imperative Languages. PhD thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin (2011)

4. Lecture Notes in Computer Science;F. Büttner,2006

5. Lecture Notes in Computer Science;F. Büttner,2009

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. The Language of SysML v2 under the Magnifying Glass.;The Journal of Object Technology;2022

2. Modeling and Validating Role-Based Authorization Policies for a Port Communication System with UML and OCL.;The Journal of Object Technology;2020

3. Incremental Verification of UML/OCL Models.;The Journal of Object Technology;2020

4. A Library of Literals, Expressions, Types, and Statements for Compositional Language Design.;The Journal of Object Technology;2020

5. Modeling Behavior with Interaction Diagrams in a UML and OCL Tool;Behavior Modeling -- Foundations and Applications;2015