Login / Signup
Augmenting Formal Development with Use Case Reasoning.
Alexei Iliasov
Published in:
Ada-Europe (2012)
Keyphrases
</>
software engineering
database
knowledge base
object oriented
reasoning processes
formal model
st century
formal models
development environment
logical reasoning
model based reasoning
reasoning process
spatial reasoning
meta level
information processing
knowledge based systems
information systems