From post

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.

 

Другие публикации лиц с тем же именем

Realizing Graph Transformations by Pre- and Postconditions and Command Sequences, и . (2006)On translating UML models into graph transformation systems, , и . Journal of Visual Languages & Computing, 17 (1): 78--105 (февраля 2006)Modeling and validating Mondex scenarios described in UML and OCL with USE, и . Formal Aspects of Computing, 20 (1): 79--100 (января 2008)Teaching UML and OCL models and their validation to software engineering students: an experience report., , и . Computer Science Education, 28 (1): 23-41 (2018)Views on UML Interactions as Spreadsheet Queries., и . STAF Workshops, том 9946 из Lecture Notes in Computer Science, стр. 394-400. Springer, (2016)Parameterizing Object Specifications.. DISCO, том 1128 из Lecture Notes in Computer Science, стр. 126-137. Springer, (1996)Transforming Data Models with UML., и . Knowledge Transformation for the Semantic Web, том 95 из Frontiers in Artificial Intelligence and Applications, IOS Press, (2003)Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic., , и . TFAIS, стр. 145-157. Elsevier/North-Holland, (1985)Benefits and Problems of Formal Methods.. Ada-Europe, том 3063 из Lecture Notes in Computer Science, стр. 1-15. Springer, (2004)Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln., и . Software Engineering & Management, том P-239 из LNI, стр. 31-32. GI, (2015)