Specifying the Semantics of Operation Contracts in Conceptual Modeling

DOI10.1007/11890591_2MaRDI QIDQ5429176zbMATH OpenOpenAlexFDO

Authors Anna Queralt, Ernest Teniente

Publication date 29 November 2007

Published in Journal on Data Semantics VII (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11890591_2

Mathematics Subject Classification ID

General topics in the theory of data (68P01) Knowledge representation (68T30)

Recommendations

• Model Checking Contracts – A Case Study
• Contracts for concurrency
• Compliance in behavioural contracts: a brief survey
• scientific article; zbMATH DE number 1952057
• Challenges in the Specification of Full Contracts

This page was built for publication: Specifying the Semantics of Operation Contracts in Conceptual Modeling

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