Semantics, calculi, and analysis for object-oriented specifications

DOI10.1007/S00236-009-0093-8MaRDI QIDQ2390933zbMATH OpenOpenAlexFDO

Authors Achim D. Brucker, Burkhart Wolff

Publication date 10 August 2009

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-009-0093-8

zbMATH Keywords

object-oriented specification language

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1927417
• A formal approach to object-oriented software engineering
• Semantics and logic of object calculi
• rCOS: a refinement calculus of object systems
• scientific article; zbMATH DE number 1487496

Cites work

• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 42431 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 2085181 (Why is no real title available?)
• scientific article; zbMATH DE number 2085183 (Why is no real title available?)
• scientific article; zbMATH DE number 1568685 (Why is no real title available?)
• scientific article; zbMATH DE number 2090132 (Why is no real title available?)
• scientific article; zbMATH DE number 910746 (Why is no real title available?)
• A formulation of the simple theory of types
• An extensible encoding of object-oriented data models in HOL. With an application to IMP++
• An introduction to mathematical logic and type theory: To truth through proof.
• Building Formal Method Tools in the Isabelle/Isar Framework
• FM 2005: Formal Methods
• Hoare logic for Java in Isabelle/HOL
• Isabelle/HOL. A proof assistant for higher-order logic
• The B-Book
• Theorem Proving in Higher Order Logics

Cited in

(12)

• scientific article; zbMATH DE number 1512072 (Why is no real title available?)
• Inter-deriving semantic artifacts for object-oriented programming
• A formal approach to object-oriented software engineering
• Denotational semantics of object specification
• Semantics and logic of object calculi
• scientific article; zbMATH DE number 1927417 (Why is no real title available?)
• scientific article; zbMATH DE number 2079996 (Why is no real title available?)
• scientific article; zbMATH DE number 2155176 (Why is no real title available?)
• Theory and Applications of Models of Computation
• rCOS: a refinement calculus of object systems
• Difunctorial semantics of object calculus
• scientific article; zbMATH DE number 814800 (Why is no real title available?)

Describes a project that uses

Uses Software

• Z
• KeY
• ETPS
• HOL-OCL
• Isar
• SecureUML
• Isabelle/HOL
• IMP++

This page was built for publication: Semantics, calculi, and analysis for object-oriented specifications

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