Login / Signup
The Logic of Requirements.
John Mylopoulos
Published in:
Perspectives Workshop: Science of Design: High-Impact Requirements for Software-Intensive Systems (2008)
Keyphrases
</>
modal logic
database
user requirements
classical logic
predicate logic
information retrieval
artificial intelligence
information systems
knowledge base
logic programming
real time systems
formal theory
sound and complete axiomatization