Specification and verification of encapsulation in Java programs

DOI10.1007/11494881_13MaRDI QIDQ4989029zbMATH OpenOpenAlexFDO

Authors Andreas Roth

Publication date 20 May 2021

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11494881_13

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Modular specification and verification of object-oriented programs
• Modular Specification of Encapsulated Object-Oriented Components
• Formal Methods for Components and Objects
• On assertion-based encapsulation for object invariants and simulations
• Specification and verification challenges for sequential object-oriented programs

Cited in

(6)

• On assertion-based encapsulation for object invariants and simulations
• scientific article; zbMATH DE number 1728234 (Why is no real title available?)
• Properties of Java Simple Closures
• Modular Specification of Encapsulated Object-Oriented Components
• Verification of Java Programs with Generics
• Formal Methods for Components and Objects

This page was built for publication: Specification and verification of encapsulation in Java programs

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