Output details

A Discipline of Mathematical Systems Modelling

<25> This open-access published book presents a complete theoretical foundation - together with its associated implemented tool, incorporating the content of several journal articles, and much more besides from several conference papers - for deploying logical and algebraic methods from theoretical computer science in the style of classical applied mathematics as a systems modelling technology. This innovation combines structural compositionality with the control of abstraction-level that is a key feature of engineering science. The methodology described forms the cornerstone of two RCUK/GCHQ-funded projects ('Productive Security' and 'Algebra and Logic for Policy and Utility in Information Security') and an FP7-funded project.