Author of the publication

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

EPTUD: An Eclipse Plugin for Testing UML Designs., , , , and . UML Satellite Activities, volume 3297 of Lecture Notes in Computer Science, page 234-237. Springer, (2004)Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations., , , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 216-230. Springer, (1997)Object-Oriented Theories for Model Driven Architecture., , and . OOIS Workshops, volume 2426 of Lecture Notes in Computer Science, page 235-244. Springer, (2002)Formal Parameterization of Log Synchronization Events within a Distributed Forensic Compute Cloud Database Environment., , , , , and . ICDF2C, volume 88 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 156-171. Springer, (2011)Aspect Oriented Modeling of Component Architectures Using AADL., , , and . NTMS, page 1-6. IEEE, (2008)Globalizing Modeling Languages., , , , , and . IEEE Computer, 47 (6): 68-71 (2014)Models@ run.time., , and . IEEE Computer, 42 (10): 22-27 (2009)Test Adequacy Assessment for UML Design Model Testing., , , , , and . ISSRE, page 332-346. IEEE Computer Society, (2003)Formal specification of real-time dependable systems., and . ICECCS, page 342-348. IEEE Computer Society, (1995)Slicing feature models., , , and . ASE, page 424-427. IEEE Computer Society, (2011)