Login / Signup
Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.
Rix Groenboom
Gerard R. Renardel de Lavalette
Published in:
Semantics of Specification Languages (1993)
Keyphrases
</>
specification languages
formal specification
object oriented programs
multiple views
spatial reasoning
database
first order logic
nonmonotonic logics
creation process
information retrieval
artificial intelligence
cooperative
viewpoint
multi view
modal logic
formal theory