Modular Specification of Encapsulated Object-Oriented Components
From MaRDI portal
Publication:3591389
DOI10.1007/11804192_15zbMath1196.68040OpenAlexW1864192957MaRDI QIDQ3591389
Jan Schäfer, Arnd Poetzsch-Heffter
Publication date: 11 September 2007
Published in: Formal Methods for Components and Objects (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11804192_15
Related Items (2)
An operational semantics for object-oriented concepts based on the class hierarchy ⋮ An Algebraic Semantics for Contract-Based Software Components
Uses Software
This page was built for publication: Modular Specification of Encapsulated Object-Oriented Components
