Institutions for OCL-Like Expression Languages
From MaRDI portal
Publication:5256349
DOI10.1007/978-3-319-15545-6_14zbMath1453.68106OpenAlexW1007011413MaRDI QIDQ5256349
María Victoria Cengarle, Alexander Knapp
Publication date: 22 June 2015
Published in: Software, Services, and Systems (Search for Journal in Brave)
Full work available at URL: https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44294
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Foundations of algebraic specification and formal software development.
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- What Is a Multi-modeling Language?
- A Heterogeneous Approach to UML Semantics
- Institutions: abstract model theory for specification and programming
- Institutions for OCL-Like Expression Languages