scientific article; zbMATH DE number 1946736

MaRDI QIDQ4411046zbMATH OpenFDO

Authors Achim D. Brucker, Burkhart Wolff

Publication date 7 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2460/24600196.htm

zbMATH Keywords

constraint languagesformal semanticsOCLrefinement

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1927417
• scientific article; zbMATH DE number 2085181
• Logic Foundations of the OCL Modelling Language
• scientific article; zbMATH DE number 2085182
• scientific article; zbMATH DE number 2087521

Cited in

(17)

• HOL-OCL
• scientific article; zbMATH DE number 1617314 (Why is no real title available?)
• On message specifications in OCL
• Towards establishing the use of holons as an enquiry method
• A Thread of HOL Development
• scientific article; zbMATH DE number 1983221 (Why is no real title available?)
• scientific article; zbMATH DE number 2006483 (Why is no real title available?)
• scientific article; zbMATH DE number 1927417 (Why is no real title available?)
• scientific article; zbMATH DE number 2085180 (Why is no real title available?)
• scientific article; zbMATH DE number 2085181 (Why is no real title available?)
• scientific article; zbMATH DE number 2085182 (Why is no real title available?)
• scientific article; zbMATH DE number 2085184 (Why is no real title available?)
• scientific article; zbMATH DE number 2085187 (Why is no real title available?)
• scientific article; zbMATH DE number 2087521 (Why is no real title available?)
• Institutions for OCL-like expression languages
• The definition of transitive closure with OCL -- limitations and applications
• Modular architecture for a toolset supporting OCL

Describes a project that uses

Uses Software

• ETPS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411046)