Modular Specification of Encapsulated Object-Oriented Components

DOI10.1007/11804192_15MaRDI QIDQ3591389zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(7)

• Specification by interface separation
• Specification and verification of encapsulation in Java programs
• 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

Describes a project that uses

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)