Author of the publication

On Querying UML Data Models with OCL.

, and . UML, volume 2185 of Lecture Notes in Computer Science, page 91-103. Springer, (2001)

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

On automated generation of Diagnosers in Fault tolerant Service oriented Architectures., , and . J. Digit. Inf. Manag., 7 (6): 336-342 (2009)On challenges of model transformation from UML to Alloy, , , and . Software and Systems Modeling, (2009)An Off-line Analytical Approach to Identify Suitable Management Policies for Autonomic Cloud Architecture., and . CLOSER (2), page 232-239. SciTePress, (2016)978-989-758-182-3.Clock Number Reduction Abstraction on CEGAR Loop Approach to Timed Automaton., , and . ICNC, page 235-241. IEEE Computer Society, (2011)A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures., and . ECOWS, page 129-138. IEEE Computer Society, (2009)Model-Driven Quality of Service for Web Services: An Aspect-Oriented Approach., and . ICWS, page 748-751. IEEE Computer Society, (2008)File Management in a Mobile DHT-based P2P Environment., , and . AINA, page 415-422. IEEE Computer Society, (2012)Machine Translation based on Formal Semantics of Business Constraints, , , and . Egyptian Informatics Journal, (July 2012)SBVR Business Rules Generation from Natural Language Specification, , and . AAAI 2011 Spring Symposium - Artificial Intelligence for Business Intelligence (AI4BA), volume 2011 of Spring Symposium, page 2-8. AAAI, AAAI, (March 2011)On challenges of model transformation from UML to Alloy., , , and . Softw. Syst. Model., 9 (1): 69-86 (2010)