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.

 

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

Generating OCL Constraints from Test Case Schemas For Testing Model Behavior., и . ICTSS, том 11146 из Lecture Notes in Computer Science, стр. 62-68. Springer, (2018)Graph Transformations on the UML Metamodel.. ICALP Satellite Workshops, стр. 359-372. Carleton Scientific, Waterloo, Ontario, Canada, (2000)Assembling Scenario Patterns for Checking Model Behavior., и . J. Object Technol., 19 (2): 19:1-27 (2020)Adding Random Operations to OCL., и . MoDELS (Satellite Events), том 2019 из CEUR Workshop Proceedings, стр. 324-328. CEUR-WS.org, (2017)Endogene Metamodellierung der Semantik von neueren UML 2 Sprachmitteln., и . Software Engineering & Management, том P-239 из LNI, стр. 31-32. GI, (2015)Towards Model Validation and Verification with SAT Techniques.. Algorithms and Applications for Next Generation SAT Solvers, том 09461 из Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Model Development in the Tool USE: Explorative, Consolidating and Analytic Steps for UML and OCL Models.. ICDCIT, том 12582 из Lecture Notes in Computer Science, стр. 24-43. Springer, (2021)Formally Modeling, Executing, and Testing Service-Oriented Systems with UML and OCL., и . ICSOC, том 10601 из Lecture Notes in Computer Science, стр. 113-122. Springer, (2017)Assessing UML Model Quality by Utilizing Metrics., и . QUATIC, стр. 92-100. IEEE Computer Society, (2018)A SWOT Analysis of the Object Constraint Language., , , , , и . STAF Workshops, том 2999 из CEUR Workshop Proceedings, стр. 178-184. CEUR-WS.org, (2021)