A Proposal for a Formal OCL Semantics in Isabelle/HOL-Reference-Cited by-同舟云学术

A Proposal for a Formal OCL Semantics in Isabelle/HOL

Published:2002 Issue: Volume: Page:99-114
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Brucker Achim D.,Wolff Burkhart

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45685-6_8

Reference19 articles.

1. Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hussmann, Dieter Nazareth, Oscar Slotosch, Franz Regensburger, and Ketil Stølen. The requirement and design specification language Spectrum, an informal introduction (V 1.0). Technical Report TUM-I9312, TU München, 1993.

2. Achim D. Brucker and Burkhart Wolff. A note on design decisions of a formalization of the OCL. Technical Report 168, Albert-Ludwigs-Universität Freiburg, 2002.

3. Lect Notes Comput Sci;J. Dick,1993

4. Reiner Hähnle. Automated Deduction in Multiple-valued Logics. Oxford University Press, 1994.

5. Cliff B. Jones. Systematic Software Development Using VDM. Prentice Hall, 1990.

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

1. Definitions and Computational Properties of OCL: A Systematic Review;IEEE Access;2024

2. APML: An Architecture Proof Modeling Language;Lecture Notes in Computer Science;2019

3. Verifying the structure and behavior in UML/OCL models using satisfiability solvers;IET Cyber-Physical Systems: Theory & Applications;2016-12

4. Model Patterns;Transactions on Foundations for Mastering Change I;2016

5. Analyzing Inconsistencies in UML/OCL Models;Journal of Circuits, Systems and Computers;2015-12-28