C
Chris George
Researcher at United Nations University International Institute for Software Technology
Publications - 36
Citations - 581
Chris George is an academic researcher from United Nations University International Institute for Software Technology. The author has contributed to research in topics: Formal specification & Formal methods. The author has an hindex of 11, co-authored 36 publications receiving 508 citations. Previous affiliations of Chris George include United Nations University & Computer Resources International.
Papers
More filters
Journal ArticleDOI
Introducing a new open source GIS user interface for the SWAT model
TL;DR: The aim of this paper was to develop an open source user interface for the SWAT model, QSWAT, which is written in the Python programming language and uses various functionalities of the open source geographic information system, QGIS.
The RAISE Development Method
Chris George,Anne Elisabeth Haxthausen,S.L. Hughes,Roger L. Milne,Søren Prehn,J. Storbank Pedersen +5 more
Journal ArticleDOI
The RAISE language, methods and tools
TL;DR: This paper presents the RAISE1 software development method, its associated specification language, and the tools supporting it, and surveys RAISE.
Journal ArticleDOI
Specification, proof, and model checking of the Mondex electronic purse using RAISE
TL;DR: The communication protocol of Mondex electronic purses can be specified and verified against desired security properties by stepwise refinement using the RAISE formal specification language, RSL.
Book ChapterDOI
An Operational Semantics for Timed RAISE
Xia Yong,Chris George +1 more
TL;DR: In this paper, an operational semantics of TRSL is first introduced, and a pre-order and test equivalence relation for TRSS is defined, and some proof rules for T RSL are listed, and their soundness corresponding to the operational model is explained.