deutsch
english
Publication View
42391865
• Formalizing Class Diagrams (2008)
David Basin
,
Achim D. Brucker
,
Jan-georg Smaus
,
Burkhart Wolff
,
Achim D. Brucker
Abstract
• Embedding OCL into Isabelle/HOL • Conclusion
Publication details
Download
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.116.1821
Source
http://www.infsec.ethz.ch/education/ws0405/csmr/material/26_hol_applications_hol_ocl.pdf
Contributors
CiteSeerX
Repository
CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Type
text
Language
English
Relation
10.1.1.11.2923, 10.1.1.13.7756, 10.1.1.13.6131