Author of the publication

On the Semantics of Operation Contracts in Conceptual Modeling.

, and . CAiSE Short Paper Proceedings, volume 161 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Entity Types Derived by Symbol-Generating Rules., , and . ER, volume 2813 of Lecture Notes in Computer Science, page 376-389. Springer, (2003)SVT: Schema Validation Tool for Microsoft SQL-Server., , , , и . VLDB, стр. 1349-1352. Morgan Kaufmann, (2004)An Ontology-Based Framework for Describing Discoverable Data Services., и . CAiSE, том 10816 из Lecture Notes in Computer Science, стр. 220-235. Springer, (2018)Verification and Validation of UML Artifact-Centric Business Process Models., , и . CAiSE, том 9097 из Lecture Notes in Computer Science, стр. 434-449. Springer, (2015)Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance., и . FoIKS, том 1762 из Lecture Notes in Computer Science, стр. 192-212. Springer, (2000)Logic Foundations of the OCL Modelling Language., , , , и . JELIA, том 8761 из Lecture Notes in Computer Science, стр. 657-664. Springer, (2014)Adapting Integrity Checking Techniques for Concurrent Operation Executions., и . SAM, том 11753 из Lecture Notes in Computer Science, стр. 235-248. Springer, (2019)Improving the definition of general constraints in UML., , , , и . Softw. Syst. Model., 7 (4): 469-486 (2008)Ensuring the semantic correctness of a BAUML artifact-centric BPM., , и . Inf. Softw. Technol., (2018)UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion., , , , и . CIKM, стр. 3152-3156. ACM, (2021)