Author of the publication

Using formal metamodels to check consistency of functional views in information systems specification.

, and . Inf. Softw. Technol., 50 (7-8): 797-814 (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

Using formal metamodels to check consistency of functional views in information systems specification., and . Inf. Softw. Technol., 50 (7-8): 797-814 (2008)Principled simulation of cell proliferation dynamics using the CoSMoS approach., and . Nat. Comput., 14 (1): 63-82 (2015)Efficient Large-scale Road Inspection Routing., , , and . ICORES, page 304-312. SciTePress, (2016)Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries., , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2006)The role of living laboratories in unlocking the potential of low-carbon energy technologies on the journey to net-zero., , , , , , , , , and 1 other author(s). CoRR, (2022)Frameworks Based on Templates for Rigorous Model-driven Development, , and . Electronic Notes in Theoretical Computer Science, (October 2007)Refactoring in Maintenance and Development of Z Specifications and Proofs, , and . Electronic Notes in Theoretical Computer Science, 70 (3): 50--69 (November 2002)SAZ., , and . Z User Workshop, page 384-384. Springer, (1990)An Agile and Extensible Code Generation Framework., , and . XP, volume 3556 of Lecture Notes in Computer Science, page 226-229. Springer, (2005)Turning Models Inside Out., , and . MoDELS (Satellite Events), volume 2019 of CEUR Workshop Proceedings, page 430-434. CEUR-WS.org, (2017)