( en | de | ru )

 

Disambiguation of "Hilken, Frank"

Author of the publication

copydeleteadd this publication to your clipboard
Employing Classifying Terms for Testing Model Transformations.

, , , and . Software Engineering, volume P-267 of LNI, page 91-92. GI, (2017)

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.

Günter Hilken

Stefan Hilken

Klaus Hilken

Arnold Hilken

Susanne Hilken

 

Other publications of authors with the same name

Testing Transformation Models Using Classifying Terms., , , and . ICMT, volume 10374 of Lecture Notes in Computer Science, page 69-85. Springer, (2017)Generating effective test suites for model transformations using classifying terms., , , and . PAME/VOLT@MoDELS, volume 1693 of CEUR Workshop Proceedings, page 48-57. CEUR-WS.org, (2016)Modeling Low-Level Network Configurations for Analysis, Simulation and Testing., , , , and . Modellierung, volume P-302 of LNI, page 157-172. Gesellschaft für Informatik e.V., (2020)From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics., , , , and . Modellierung, volume P-225 of LNI, page 273-288. GI, (2014)Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models., , , and . Modellierung, volume P-254 of LNI, page 117-124. GI, (2016)Towards a Developer-Oriented Process for Verifying Behavioral Properties in UML and OCL Models., , and . STAF Workshops, volume 9946 of Lecture Notes in Computer Science, page 207-220. Springer, (2016)Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping., and . DSD, page 708-713. IEEE Computer Society, (2016)Checking UML and OCL Model Behavior with Filmstripping and Classifying Terms., , , and . TAP, volume 10375 of Lecture Notes in Computer Science, page 119-128. Springer, (2017)Employing Classifying Terms for Testing Model Transformations., , , and . Software Engineering, volume P-267 of LNI, page 91-92. GI, (2017)UML and OCL Transformation Model Analysis: Checking Invariant Independence., and . VOLT@STAF, volume 1530 of CEUR Workshop Proceedings, page 20-27. CEUR-WS.org, (2015)