Author of the publication

Detecting inconsistencies between UML models using description logic

, , and . Proc. Int'l Workshop on Description Logics (DL), (September 2003)

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

Model-based Software Reuse, , , , and . ECOOP '02 Reader, Springer-Verlag, to appear..(2002)Challenges in Model-Driven Software Engineering., , and . MoDELS (Workshops), volume 5421 of Lecture Notes in Computer Science, page 35-47. Springer, (2008)NOW: Orchestrating services in a nomadic network using a dedicated workflow language., , and . Sci. Comput. Program., 78 (2): 168-194 (2013)Supporting Evolution in Component-Based Development Using Component Libraries., , and . CSMR, page 123-132. IEEE Computer Society, (2003)On the use of formal techniques to support model evolution, and . Proc. 1ères Journées sur l'Ingénierie Dirigée par les Modèles, page 115--124. (June 2005)Supporting Model Refactorings through Behaviour Inheritance Consistencies, , and . UML 2004 - The Unified Modeling Language, 3273, page 305--319. (October 2004)Using Description Logic in Object-Oriented Software Development. Proc. Int'l Workshop on Description Logics (DL), (2002)Group Orchestration in a Mobile Environment., , , and . COORDINATION, volume 7274 of Lecture Notes in Computer Science, page 181-195. Springer, (2012)Guiding Service Composition in a Visual Service Creation Environment., , , , and . ECOWS, page 13-22. IEEE Computer Society, (2006)On the use of formal techniques to support model evolution, and . Proc. 1ères Journées sur l'Ingénierie Dirigée par les Modèles, page 115--124. (June 2005)