10 citations · 19 across the 3 of their papers we have counts for
3 papers
cs.HC2017★ 6 cited
User Assistance Characteristics of the USE Model Checking Tool
Frank Hilken, Martin Gogolla
The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defini…
cs.SE2015★ 3 cited
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Betty Cheng, Kerstin Eder, Martin Gogolla +10
A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirement…
cs.SE2011★ 10 cited
Tracing Properties of UML and OCL Models with Maude
Francisco Durán, Martin Gogolla, Manuel Roldán
The starting point of this paper is a system described in form of a UML class diagram where system states are characterized by OCL invariants and system transitions are defined by…