Isabelle/UTP: A Mechanised Theory Engineering Framework.

Simon Foster Frank Zeyda Jim Woodcock

Published in: UTP (2014)

Keyphrases

theoretical framework
main contribution
conceptual framework
framework enables
computational model
general theory
case study
multi agent
computer science
information systems
software engineering
theoretical foundation
formal model
theoretical basis
mathematical framework
logical framework