A Heterogeneous Approach to UML Semantics
From MaRDI portal
Publication:3507375
DOI10.1007/978-3-540-68679-8_23zbMath1143.68373OpenAlexW1871900403MaRDI QIDQ3507375
María Victoria Cengarle, Andrzej Tarlecki, Alexander Knapp, Martin Wirsing
Publication date: 19 June 2008
Published in: Concurrency, Graphs and Models (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44461
Related Items (9)
What Is a Multi-modeling Language? ⋮ Heterogeneous Logical Environments for Distributed Specifications ⋮ Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans ⋮ Model-Driven Engineering in the Heterogeneous Tool Set ⋮ A Homage to Martin Wirsing ⋮ Ode to the PST ⋮ An Institution for Object-Z with Inheritance and Polymorphism ⋮ Institutions for OCL-Like Expression Languages ⋮ Towards an Institutional Framework for Heterogeneous Formal Development in UML
Uses Software
This page was built for publication: A Heterogeneous Approach to UML Semantics
