Object Specification Logic

DOI10.1093/LOGCOM/5.5.603MaRDI QIDQ4849647zbMATH OpenOpenAlexFDO

Authors José Félix Costa, Amílcar Sernadas, Cristina Sernadas

Publication date 4 October 1995

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/5.5.603

zbMATH Keywords

logic for specifying and reasoning about object classeslogic of inheritancelogic of interactionmany-sorted logicobject-orientationsystem specificationsystem verificationtemporal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Other applications of logic (03B80) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• A temporal logic approach to object certification
• A logic of object-oriented programs
• Denotational semantics of object specification
• scientific article; zbMATH DE number 1304381
• scientific article; zbMATH DE number 1569132

Cited in

(13)

• Denotational semantics of object specification
• Specification of abstract dynamic-data types: A temporal logic approach
• A two-level temporal logic for evolving specifications.
• Logic of determination of objects (LDO): how to articulate ``extension with ``intension and ``objects with ``concepts
• A specification formalism for interacting objects
• Specification of object-oriented systems
• Reasoning About Objects Using a Tableau Method
• scientific article; zbMATH DE number 1304381 (Why is no real title available?)
• scientific article; zbMATH DE number 550329 (Why is no real title available?)
• Modeling and testing object-oriented distributed systems with linear-time temporal logic
• A Branching Time Logical System for Open Distributed Systems Development
• Constructing systems as object communities
• Second-Order Principles in Specification Languages for Object-Oriented Programs

This page was built for publication: Object Specification Logic

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