Browsing Department of Informatics by Author "Wolter, Uwe Egbert"
Macias, Fernando; Rutle, Adrian; Stolz, Volker; Rodriguez-Echeverria, Roberto; Wolter, Uwe Egbert (German Informatics Society (GI), 2018-07-12)Multilevel modelling approaches tackle issues related to lack of flexibility and mixed levels of abstraction by providing features like deep modelling and linguistic extension. However, the lack of a clear consensus on ...Journal article
Diskin, Zinovy; Wolter, Uwe Egbert (Elsevier, 2008-11-21)Formal generalized sketches is a graph-based specification format that borrows its main ideas from categorical and ordinary first-order logic, and adapts them to software engineering needs. In the engineering jargon, it ...Journal article