Login / Signup
Non-monotonic Reasoning for Requirements Engineering - State Diagrams Driven by Plausible Logic.
David Billington
Vladimir Estivill-Castro
René Hexel
Andrew Rock
Published in:
ENASE (2010)
Keyphrases
</>
requirements engineering
systems engineering
software engineering
goal oriented
defeasible logic
automotive industry
requirements elicitation
requirements specification
real world
knowledge representation
software development
formal theory
commonsense reasoning
security patterns