Back to Results
First PageMeta Content
Models of computation / Model theory / Unified Modeling Language / Object Constraint Language / Programming language semantics / Null / Denotational semantics / ECO / Statistical hypothesis testing / Theoretical computer science / Logic / Mathematical logic


Featherweight OCL A study for the consistent semantics of OCL 2.3 in HOL Achim D. Brucker Burkhart Wolff
Add to Reading List

Document Date: 2013-01-12 07:47:16

Open Document

File Size: 377,53 KB

Share Result on Facebook

City

Berlin / Orsay Cedex / Paris / /

Company

Object Management Group / T. Nipkow L. C. / Achim D. Brucker Burkhart Wolff SAP AG / /

Country

France / /

/

Facility

HOL library / OCL library / Isabelle/HOL library / /

IndustryTerm

formal method tools / document generation tools / fledged tool / invariant systems / formal tools / arbitrary .net-based applications / pre-processing / /

Organization

A. Church / /

Person

Fundamental Approaches / Edward Willink / /

Position

author / editor / Proof Assistant / General / /

ProgrammingLanguage

Haskell / LATEX / Object constraint language / /

PublishedMedium

Formal Aspects of Computing / /

Technology

dom / animation / PDF / /

URL

http /

SocialTag