First Page | Document Content | |
---|---|---|
Date: 2012-09-25 06:20:13Unified Modeling Language Object Constraint Language Software Data management ECO Isabelle OCL Null Higher-order logic | Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff∗Add to Reading ListSource URL: st.inf.tu-dresden.deDownload Document from Source WebsiteFile Size: 203,87 KBShare Document on Facebook |