Modular Specification of Encapsulated Object-Oriented Components

DOI10.1007/11804192_15zbMATH Open1196.68040OpenAlexW1864192957MaRDI QIDQ3591389FDOQ3591389

Authors: Arnd Poetzsch-Heffter, Jan Schäfer 

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

Recommendations

• Specification and verification of encapsulation in Java programs
• Specifying, relating and composing object oriented interfaces, components and architectures
• Formal Methods for Components and Objects
• On assertion-based encapsulation for object invariants and simulations
• Modular specification and verification of object-oriented programs

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (7)

• Specification and verification of encapsulation in Java programs
• Specification by interface separation
• An operational semantics for object-oriented concepts based on the class hierarchy
• Modular structuring of VDM specifications in VVSL
• Formal Methods for Components and Objects
• An Algebraic Semantics for Contract-Based Software Components
• On assertion-based encapsulation for object invariants and simulations

Uses Software

• LARCH

This page was built for publication: Modular Specification of Encapsulated Object-Oriented Components

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3591389)