Object Specification Logic

DOI10.1093/logcom/5.5.603zbMath0829.03013OpenAlexW2045641460MaRDI QIDQ4849647

Costa, José Félix, 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

temporal logicobject-orientationmany-sorted logicsystem verificationsystem specificationlogic for specifying and reasoning about object classeslogic of inheritancelogic of interaction

Mathematics Subject Classification ID

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

Related Items (4)

Modeling and testing object-oriented distributed systems with linear-time temporal logic ⋮ Specification of abstract dynamic-data types: A temporal logic approach ⋮ A Branching Time Logical System for Open Distributed Systems Development ⋮ A two-level temporal logic for evolving specifications.

This page was built for publication: Object Specification Logic