Fast Formal Analysis of Requirements via "Topoi Diagrams".

Tim Menzies John D. Powell Michael E. Houle

Published in: ICSE (2001)

Keyphrases

formal analysis
formal methods
functional requirements
multi agent systems
user requirements
information systems
case study
fine grained
agent model