HOL-OCL: A Formal Proof Environment for uml/ocl-Reference-Cited by-同舟云学术

HOL-OCL: A Formal Proof Environment for uml/ocl

Published: Issue: Volume: Page:97-100
ISSN:
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Brucker Achim D.,Wolff Burkhart

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78743-3_8.pdf

Reference5 articles.

1. Brucker, A.D.: An Interactive Proof Environment for Object-oriented Specifications. Ph.d. thesis, ETH Zurich (March 2007), ETH Dissertation No. 17097, http://www.brucker.ch/bibliography/abstract/brucker-interactive-2007

2. Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006), http://www.brucker.ch/bibliography/abstract/brucker.ea-hol-ocl-book-2006

3. Brucker, A.D., Doser, J., Wolff, B.: An MDA framework supporting OCL. Electronic Communications of the EASST, 5 (2006), ISSN 1863-2122, http://www.brucker.ch/bibliography/abstract/brucker.ea-mda-2006-b

4. Object Management Group. UML 2.0 OCL specification, October 2003, Available as OMG document ptc/03-10-14

5. Object Management Group. Unified modeling language specification (version 1.5) (March 2003), Available as OMG document, formal/03-03-01

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

1. OCL Rebuilt, From the Ground Up;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

2. A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories;2022 IEEE International Systems Conference (SysCon);2022-04-25

3. User-driven diverse scenario exploration in model finders;Science of Computer Programming;2022-03

4. Managing Design-time Uncertainty in OCL Expressions.;The Journal of Object Technology;2022

5. A formal approach to finding inconsistencies in a metamodel;Software and Systems Modeling;2021-01-29