The following pages link to Object Specification Logic (Q4849647):
Displaying 10 items.
- Denotational semantics of object specification (Q1127818) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- A two-level temporal logic for evolving specifications. (Q1853062) (← links)
- Logic of determination of objects (LDO): how to articulate ``extension'' with ``intension'' and ``objects'' with ``concepts'' (Q1942336) (← links)
- A specification formalism for interacting objects (Q2718776) (← links)
- Specification of object-oriented systems (Q2744183) (← links)
- Reasoning About Objects Using a Tableau Method (Q3983935) (← links)
- Modeling and testing object-oriented distributed systems with linear-time temporal logic (Q4790927) (← links)
- A Branching Time Logical System for Open Distributed Systems Development (Q4916209) (← links)
- Constructing systems as object communities (Q5044754) (← links)