Auflistung nach Autor "Hilken, Frank"
Anzeige der Dokumente 1-5 von 5
-
Employing Classifying Terms for Testing Model Transformations
Gogolla, Martin; Vallecillo, Antonio; Burgueno, Loli; Hilken, Frank
91 -
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics
Gogolla, Martin; Hamann, Lars; Hilken, Frank; Kuhlmann, Mirco; France, Robert
273-288 -
Model validation and verification options in a contemporary UML and OCL analysis tool
Gogolla, Martin; Hilken, Frank
205-220 -
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing
Schuster, Marcel; Germeier, Markus; Hilken, Frank; Gogolla, Martin; Sohr, Karsten
157-172 -
Towards a catalog of structural and behavioral verification tasks for UML/OCL models
Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, Robert
117-124