( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Refinement Patterns for UML

, , и . Electronic Notes in Theoretical Computer Science, 137 (2): 131--149 (июля 2005)
DOI: 10.1016/j.entcs.2005.04.028

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.

Alexander Ali Kevin

Arnaud Lanoix

Malgorzata Lanowska

Kevin Thurley

Kevin Reddig

 

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

Model-Transformation Design Patterns., и . IEEE Trans. Software Eng., 40 (12): 1224-1259 (2014)A Model-Based Development Approach for Model Transformations., и . FSEN, том 7141 из Lecture Notes in Computer Science, стр. 48-63. Springer, (2011)Transformational Formal Development of Real-Time Systems., и . ARTS, том 1231 из Lecture Notes in Computer Science, стр. 184-198. Springer, (1997)Translating UML-RSDS OCL to ANSI C., , , и . STAF Workshops, том 10748 из Lecture Notes in Computer Science, стр. 317-330. Springer, (2017)Reactive System Refinement of Distributed Systems in B., и . IFM, стр. 415-434. Springer, (1999)Semantics of Activity Diagrams.. UML 2 Semantics and Applications, Wiley, (2009)Specification and Verification of Model Transformations Using UML-RSDS., и . IFM, том 6396 из Lecture Notes in Computer Science, стр. 199-214. Springer, (2010)The UML as a formal modeling notation., , , и . Comput. Stand. Interfaces, 19 (7): 325-334 (1998)Technical Debt in Model Transformation Specifications., , , и . ICMT, том 10888 из Lecture Notes in Computer Science, стр. 127-141. Springer, (2018)An Algebraic Semantics for the Specification Language Z++., и . AMAST, стр. 478-493. Springer, (1991)