Search Results - "Hilken, Frank"
-
1
User Assistance Characteristics of the USE Model Checking Tool
Published in Electronic proceedings in theoretical computer science (27-01-2017)“…The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can…”
Get full text
Journal Article -
2
Testing models and model transformations using classifying terms
Published in Software and systems modeling (01-07-2018)“…This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of…”
Get full text
Journal Article -
3
Achieving model quality through model validation, verification and exploration
Published in Computer languages, systems & structures (01-12-2018)“…System development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to deal with architecture…”
Get full text
Journal Article -
4
Assisted generation of frame conditions for formal models
Published in 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE) (01-03-2015)“…Modeling languages such as UML or SysML allow for the validation and verification of the structure and the behavior of designs even in the absence of a…”
Get full text
Conference Proceeding -
5
Verifying Linear Temporal Logic Properties in UML/OCL Class Diagrams Using Filmstripping
Published in 2016 Euromicro Conference on Digital System Design (DSD) (01-08-2016)“…Testing system behavior in real world applications often requires analyzing properties over multiple system states to ensure that operations do not interfere…”
Get full text
Conference Proceeding -
6
User Assistance Characteristics of the USE Model Checking Tool
Published 30-01-2017“…EPTCS 240, 2017, pp. 91-97 The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language…”
Get full text
Journal Article -
7
Employing classifying terms for testing model transformations
Published in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (01-09-2015)“…This contribution proposes a new technique for developing test cases for UML and OCL models. The technique is based on an approach that automatically…”
Get full text
Conference Proceeding -
8
Extracting frame conditions from operation contracts
Published in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (01-09-2015)“…In behavioral modeling, operation contracts defined by pre- and postconditions describe the effects on model properties (i.e., model elements such as…”
Get full text
Conference Proceeding