Semantics, calculi, and analysis for object-oriented specifications

DOI10.1007/S00236-009-0093-8zbMATH Open1179.68078OpenAlexW2062768986MaRDI QIDQ2390933FDOQ2390933

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)

• 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)

• 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
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)
• Title not available (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
• Title not available (Why is no real title available?)
• Title not available (Why is no real title available?)

Uses Software

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

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)