Author of the publication

Validation of UML Conceptual Schemas with Operations.

, and . CAiSE Forum, volume 344 of CEUR Workshop Proceedings, page 101-104. CEUR-WS.org, (2008)

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

Automated reasoning on UML conceptual schemas with derived information and queries., , , , and . Inf. Softw. Technol., 55 (9): 1529-1550 (2013)RosneT: A Block Tensor Algebra Library for Out-of-Core Quantum Computing Simulation., , , , , , and . CoRR, (2022)Managing the Cloud Continuum: Lessons Learnt from a Real Fog-to-Cloud Deployment., , , , , , , , , and 3 other author(s). Sensors, 21 (9): 2974 (2021)Reasoning on UML Conceptual Schemas with Operations., and . CAiSE, volume 5565 of Lecture Notes in Computer Science, page 47-62. Springer, (2009)OCL-Lite: Finite reasoning on UML/OCL conceptual schemas., , , and . Data Knowl. Eng., (2012)Validation of UML conceptual schemas with OCL constraints and operations.. Polytechnic University of Catalonia, Spain, (2009)Specifying the Semantics of Operation Contracts in Conceptual Modeling., and . J. Data Semant., (2006)Improving the definition of general constraints in UML, , , , and . Software and Systems Modeling, 7 (4): 469--486 (October 2008)Introduction to CEBDA 2018., , , and . IPDPS Workshops, page 1204. IEEE Computer Society, (2018)Reasoning on UML Class Diagrams with OCL Constraints., and . ER, volume 4215 of Lecture Notes in Computer Science, page 497-512. Springer, (2006)