Object Specification Logic (Q4849647)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 802493
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Object Specification Logic |
scientific article; zbMATH DE number 802493 |
Statements
Object Specification Logic (English)
0 references
4 October 1995
0 references
system specification
0 references
object-orientation
0 references
logic of inheritance
0 references
logic of interaction
0 references
temporal logic
0 references
many-sorted logic
0 references
system verification
0 references
logic for specifying and reasoning about object classes
0 references
0.7786976099014282
0 references
0.7702131271362305
0 references
0.7661248445510864
0 references
