Sotabase

Career

· Professor of Mathematics of Software Engineering, University of Edinburgh2014–
· Reader, University of Edinburgh2003–2014
· Researcher, University of Edinburgh1994–2003
· Software Engineer, BT's Glasgow Software and Systems Engineering Centre1992–1994
· PhD in Mathematics, University of Warwick1988–1992
· Master of Science in Mathematics, University of Warwick1987–1988
· Bachelor of Arts in Mathematics, University of Cambridge1984–1987

Publications (110)

Modelling Recursive Calls with UML State Diagrams
Fundamental Approaches to Software Engineering · 2003
1,080
cited
Bidirectional model transformations in QVT: semantic issues and open questions
ACM/IEEE International Conference on Model Driven Engineering Languages and Systems · 2007
366
cited
A simple game-theoretic approach to checkonly QVT Relations
Journal of Software and Systems Modeling · 2009
277
cited
Refinement in Z and object-Z: foundations and advanced applications
Software testing, verification & reliability · 2002
189
cited
A Landscape of Bidirectional Model Transformations
Generative and Transformational Techniques in Software Engineering · 2007
173
cited
Using UML: Software Engineering with Objects and Components (2nd Edition) (Addison-Wesley Object Technology)
2006
150
cited
Practical Model-Checking Using Games
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 1998
96
cited
Enriching OCL Using Observational Mu-Calculus
Fundamental Approaches to Software Engineering · 2002
62
cited
Systems reengineering patterns
SIGSOFT '98/FSE-6 · 1998
60
cited
On the interpretation of binary associations in the Unified Modelling Language
Journal of Software and Systems Modeling · 2002
55
cited
Bidirectionally Tolerating Inconsistency: Partial Transformations
Fundamental Approaches to Software Engineering · 2014
54
cited
Analysing UML 2.0 activity diagrams in the software performance engineering process
Workshop on Software and Performance · 2004
44
cited
Dagstuhl seminar on bidirectional transformations (BX)
SGMD · 2011
44
cited
Performance modelling with UML and stochastic process algebras
2002
44
cited
«UML» 2003 - The Unified Modeling Language. Modeling Languages and Applications
Lecture Notes in Computer Science · 2003
42
cited
Notions of Bidirectional Computation and Entangled State Monads
International Conference on Mathematics of Program Construction · 2015
41
cited
On Use Cases and Their Relationships in the Unified Modelling Language
Fundamental Approaches to Software Engineering · 2001
41
cited
Performance modelling with the Unified Modelling Language and stochastic process algebras
2003
38
cited
Connecting software build with maintaining consistency between models: towards sound, optimal, and flexible building from megamodels
Journal of Software and Systems Modeling · 2020
35
cited
Small-Scale XMI Programming: A Revolution in UML Tool Use?
International Conference on Automated Software Engineering · 2004
35
cited
Sotabase