Author of the publication

OCL and Model Driven Engineering.

, , , , , , , , and . UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 67-75. Springer, (2004)

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

Two First-Order Theories of Ordinals.. Fields of Logic and Computation III, volume 12180 of Lecture Notes in Computer Science, page 247-257. Springer, (2020)A Formal Operational Semantics for Languages of Type Prolog III., and . CSL, volume 533 of Lecture Notes in Computer Science, page 67-79. Springer, (1990)A Tableau System for Linear-TIME Temporal Logic., and . TACAS, volume 1217 of Lecture Notes in Computer Science, page 130-144. Springer, (1997)A Survey of Rewrite Systems.. CSL, volume 329 of Lecture Notes in Computer Science, page 235-262. Springer, (1987)On the Computational Complexity of Quantified Horn Clauses., , and . CSL, volume 329 of Lecture Notes in Computer Science, page 129-137. Springer, (1987)Tableau Calculus for Order Sorted Logic, and . IWBS Report, (1990)Verifying the Mondex Case Study., and . SEFM, page 47-58. IEEE Computer Society, (2007)A case study of specification and verification using JML in an avionics application., , , , , and . JTRES, page 107-116. ACM, (2006)Provably correct loops bounds for realtime Java programs., , , and . JTRES, page 162-169. ACM, (2006)A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras, and . IWBS Report, (1990)