Object Specification Logic

From MaRDI portal

Revision as of 03:28, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4849647

Jump to:navigation, search

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 logic object-orientation many-sorted logic system verification system specification logic for specifying and reasoning about object classes logic of inheritance logic 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4849647&oldid=19196682"