( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Definition and Correct Refinement of Operation Specifications

, , , и . (2006)
DOI: http://dx.doi.org/10.1007/11808107\_6

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.

Thomas Baar

Thomas Baar

Klaus Baar

Wolfgang Baar

Reinhard Baar

 

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

On the Usage of Concrete Syntax in Model Transformation Rules, и . (2007)A Metamodel-Based Approach for Adding Modularization to KeYmaera's Input Syntax.. Ershov Informatics Conference, том 11964 из Lecture Notes in Computer Science, стр. 125-139. Springer, (2019)Applying Fondue to Specify a Drink Vending Machine., , и . OCL 2.0 @ UML, том 102 из Electronic Notes in Theoretical Computer Science, стр. 155-173. Elsevier, (2003)Tool Support for OCL and Related Formalisms ^a€“ Needs and Trends, , , , , , , и . (2006)Correctly defined concrete syntax.. Softw. Syst. Model., 7 (4): 383-398 (2008)Semantics of OCL specified with QVT., и . Softw. Syst. Model., 7 (4): 399-422 (2008)Visualization Support for Contracts in VeriFast., , , и . GI-Jahrestagung, том P-337 из LNI, стр. 265-275. Gesellschaft für Informatik, Bonn, (2023)Refactoring OCL annotated UML class diagrams., и . Softw. Syst. Model., 7 (1): 25-47 (2008)Proceedings of the 8th International Conference on Model Driven Engineering Languages and Systems - MoDELS 2005 - Lecture Notes in Computer Science, и . 3713, глава Refactoring OCL Annotated UML Class Diagrams, стр. 280-294. Springer Verlag, (октября 2005)Metamodels without Metacircularities.. L'OBJET, 9 (4): 95-114 (2003)