Loose Specification and Its Semantics.

Published in: IFIP Congress (1989)

Keyphrases

specification language
specification languages
conceptual model
operational semantics
formal language
formal semantics
formal specification
high level
active rules
definition language
action language
conceptual schema
argumentation semantics
logic programming
formal languages
object oriented data models
data model