Forthcoming events:
Some recent-ish past events:
It's very likely this list is out of date; do check DBLP and Google Scholar if there's something not listed (I apologise for inconsistencies).
| 2017 |
R.F. Paige. Engineering Bidirectional Transformations, accepted and to appear in Proc. Summer School on Bidirectional Transformations, Springer, 2017.
D.S. Kolovos, A. García-Domínguez, L.M. Rose, R.F. Paige. Eugenia: towards disciplined and automated development of GMF-based graphical model editors. Software and System Modeling 16(1): 229-255, 2017.
A. Zolotas, R. Clariso, N. Matragkas, D.S. Kolovos and R.F. Paige. Constraint programming for type inference in flexible Model-Driven Engineering. Accepted and to appear in Computer Languages, Systems and Structures, Springer, 2017.
| 2016 |
D. Salah, R.F. Paige, P.A. Cairns: A Maturity Model for Integrating Agile Processes and User Centred Design. SPICE 2016: 109-122
R.F. Paige, N. Matragkas, L.M. Rose: Evolving models in Model-Driven Engineering: State-of-the-art and future challenges. Journal of Systems and Software 111: 272-280 (2016)
Richard F. Paige: Language engineering: challenges, opportunities and potential disasters for interactive systems. EICS 2016: 3
Ran Wei, Dimitrios S. Kolovos, Antonio García-Domínguez, Konstantinos Barmpis, Richard F. Paige: Partial loading of XMI models. Proc. MoDELS 2016, IEEE, p329-339
R.F. Paige, D. Kolovos, A. Garcia-Dominguez, N. Matragkas and H. Hoyos Rodriguez, Tutorial: Advanced Model Management with Epsilon, in Proc MoDELS 2016, IEEE, St-Malo, France, September 2016.
A. Garcia-Dominguez, D. Kolovos, K. Barmpis, R. Wei and R.F. Paige. Stress-Testing Centralised Model Stores, in Proc. ECMFA 2016, LNCS, Springer, Vienna, Austria, July 2016.
A. Sánchez-Barbudo Herrera, R.F. Paige and E. Willink: A Domain Specific Transformation Language to Bridge Concrete and Abstract Syntax, in Proc ICMT 2016, LNCS, Springer, Vienna, Austria, July 2016.
M. Ellison, R. Calinescu, R.F. Paige. Towards Platform Independent Database Modelling in Enterprise Systems. STAF Workshops 2016: 42-50
D.S. Kolovos, A. García-Domínguez, R.F Paige, Esther Guerra, Jesús Sánchez Cuadrado, Juan de Lara, István Ráth, Dániel Varró, Gerson Sunyé, Massimo Tisi: MONDO: Scalable Modelling and Model Management on the Cloud. STAF Doctoral Symposium / Showcase 2016: 55-64
R.F. Paige, J. Cabot, M. Brambilla, J. H. Hill: Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud, 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 29, 2015. CEUR Workshop Proceedings 1563, CEUR-WS.org 2016
H. Ergin, R.F. Paige, E. Syriani, S. Zschaler, M. Amrani. Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. CEUR Workshop Proceedings 1693, CEUR-WS.org 2016.
R.F. Paige, E. Syriani, S. Zschaler, H. Ergin. Proceedings of the First Workshop on Patterns in Model Engineering, PAME 2015, co-located with the 3rd International Conference on Software Technologies: Applications and Foundations (STAF 2015), L'Aquila, Italy, July 21, 2015.
| 2015 |
R. Hawkins, I. Habli, D.S. Kolovos, R.F. Paige, T. Kelly. Weaving an Assurance Case from Design: A Model-Based Approach. In Proc. HASE 2015, IEEE Press, 110-117
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi: Formal verification and validation of embedded systems: the UML-based MADES approach. Software and System Modeling 14(1): 343-363 (2015)
P.J. Brooke and R.F. Paige. User-visible cryptography in email and web scenarios. Information and Computer Security 23(1), 2015.
D.S. Kolovos, A. Garcia-Dominguez, L.M. Rose and R.F. Paige. Eugenia: towards disciplined and automated development of GMF-based graphical model editors,
accepted and to appear in
R.F. Paige, D.S. Kolovos and R.F. Paige. A Tutorial on Metamodelling for Grammar Researchers, accepted and to appear in Science of Computer Programming, 2014.
S.M. Shah, R. Wei, D.S. Kolovos, L.M. Rose, R.F. Paige and K. Barmpis. A Framework to Benchmark NoSQL Data Stores for Large-Scale Model Persistence, in Proc. MoDELS Conference 2014, LNCS, Springer-Verlag, Valencia, Spain, October 2014.
D.S. Kolovos, N. Matragkas, J.R. Williams and R.F. Paige. Model-Driven Grant Proposal Engineering, in Proc. MoDELS Conference 2014, LNCS, Springer-Verlag, Valencia, Spain, October 2014.
S. Kokaly, Z. Diskin, T. Maibaum and R.F. Paige. How to megamodel diagrammatically: theory and practices, Tutorial at MoDELS 2014, Valencia, Spain, October 2014.
A. Zolotas, D.S. Kolovos, N. Matragkas, R.F. Paige. Assigning Semantics to Graphical Concrete Syntaxes. In Proc. XM@MoDELS 2014, CEUR Proceedings, September 2014.
D. Salah, R.F. Paige and P. Cairns: Integrating Agile Development Processes and User Centred Design - A Place for Usability Maturity Models? In Proc. HCSE 2014, LNCS, Springer, September 2014.
R.F. Paige. Software Engineering with Models: State of the Art and Future Challenges, in Novatica, April-July 2014. (Spanish journal; English version also to be published.)
F. Hermans, R.F. Paige and P. Sestoft (editors). Proceedings of Software Engineering Methods in Spreadsheets, CEUR, Delft, the Netherlands, July 2014.
R.F. Paige, D.S. Kolovos and N. Matragkas. Spreadsheets are Models Too, in Proc. Software Engineering Methods in Spreadsheets 2014, CEUR Proceedings, Delft, the Netherlands, July 2014.
D. Salah, R.F. Paige and P. Cairns. A Systematic Literature Review for Agile Development Processes and User Centred Design Integration, in Proc. 18th International Conference on Evaluation and Assessment in Software Engineering (EASE'14), ACM Press, May 2014.
N. Matragkas, J.R. Williams, D.S. Kolovos and R.F. Paige.
Analysing the 'Biodiversity' of Open Source Ecosystems: the Github Case, in Proc. Mining Software Repositories 2014, ACM, May 2014.
F. Burton, R.F. Paige, S. Poulding and S. Smith. System-of-Systems Acquisition Tradeoffs, in Proc. 2014 Conference on Systems Engineering Research, March 2014.
Alessandra Bagnato, Etienne Brosse, Imran Rafiq Quadri, Andrey Sadovykh, Leandro Indrusiak, R.F. Paige, Matteo Rossi, Matteo Carlo Crippa, Stefano Genolini, Scott Hansen, Gundula Meisel-Blohm, Ian Gray, Neil Audsley, Dimitrios S. Kolovos, Nicholas Matragkas and Luciano Baresi. MADES FP7 EU Project: Effective High Level SysML/MARTE Methodology for Real-Time and Embedded Systems, in Industry and Research Perspectives on Embedded Systems Design, 2014.
J. Gibbons, R.F Paige, A. Schurr, J. Terwilliger, J. Weber. Bi-directional transformations (BX) – Theory and Applications Across Disciplines (13w5115), BIRS Workshop Report, 2014.
R.F. Paige, M. Harman and J.R. Williams (editors). Proceedings of the First Workshop on Combining Modelling and Search-Based Software Engineering, co-located with ICSE 2013, San Francisco, USA, May 2013. IEEE Press.
J. Atlee, R. Baillergeon, M. Chechik, R. France, J. Gray, R.F. Paige and B. Rumpe (editors). Proceedings of the Fifth Workshop on Modelling in Software Engineering, co-located with ICSE 2013, San Francisco, USA, May 2013. IEEE Press.
M. Erwig, R.F. Paige and E. van Wyk (editors). Proceedings of the 6th Conference on Software Language Engineering (SLE) 2013, co-located with OOPSLA/GPCE 2013, Indianapolis, USA, LNCS 8825, Springer-Verlag, October 2013.
L.M. Rose, D.S. Kolovos, R.F. Paige, F.A.C. Polack and S.M. Poulding. Epsilon Flock: a model migration language, accepted and to appear in Software and Systems Modelling, 2013.
L.M. Rose, E. Guerra, J. de Lara, A. Etien, D.S. Kolovos and R.F. Paige. Genericity for Model Management Operations, Software and Systems Modelling, Springer 12(1), 2013. DOI: 10.1007/s10270-011-0203-2
E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. Santos. Engineering Model Transformations with transML, Software and Systems Modelling (Special issue of best papers from MoDELS/UML 2010) 12(3), 2013. DOI: 10.1007/s10270-011-0211-2
R.F. Paige and J. Gray (editors). Special issue of revised papers of the Second International Conference on Model Transformation (ICMT), Software and Systems Modelling 12(1), 2013. DOI: 10.1007/s10270-011-0209-9
A. Etien, T. Legrand, A. Muller and R.F. Paige. Localized Model Transformations for Building Large-Scale Transformations, accepted and to appear in Software and Systems Modelling, 2013.
R.F. Paige and L.M. Rose. Lies, Damned Lies and UML2Java. Journal of Object Technology 12(1), January 2013.
L. Baresi, G. Blohm, D.S. Kolovos, N. Matragkas, A. Motta, R.F. Paige, A. Radjenovic and M. Rossi. Formal verification and validation of embedded systems: the MADES approach, accepted and to appear in Software and Systems Modelling, 2013.
D.S. Kolovos, N. Matragkas and R.F. Paige. Adding Spreadsheets to the MDE Toolkit, in Proc. MoDELS 2013, Miami, Florida, LNCS, Springer-Verlag, October 2013.
L.M. Rose, S.M. Poulding, R.F. Paige and R. Feldt. Towards A Scalable Cloud Platform for Search-Based Probabilistic Testing, accepted and to appear in Proc. International Conference on Software Maintenance (ICSM) 2013, Eindhoven, the Netherlands, September 2013. IEEE Press.
R.F. Paige, Radu Calinescu, Dimitris Kolovos, Nicholas Drivalos and Dave Cliff. Multimodel-Driven Software Engineering for Evolving Enterprise Systems, in Proc. Towards the Model-Driven Enterprise (AMINO) 2013, CEUR Proceedings, November 2013.
D.S. Kolovos, N. Matragkas, H. Rodriguez and R.F. Paige. Programmatic Muddle Management, in Proc. Extreme Modelling 2013, CEUR Proceedings, November 2013.
J.R. Williams, S. Poulding, R.F. Paige and F.A.C. Polack. Exploring the use of metaheuristic search to infer models of dynamic system behaviour, in Proc. Models@Runtime 2013, CEUR Proceedings, November 2013.
N. Matragkas, R.F. Paige and D.S. Kolovos. A Traceability Approach to Model Transformation Testing, in Proc. Analysis of Model Transformations 2013, CEUR Proceedings, November 2013.
M. Taromirad, R.F. Paige and N. Matragkas. Towards a Multi-Domain Model-Driven Traceability Approach, in Proc. Multi-Paradigm Modelling Workshop 2013, CEUR Proceedings, November 2013.
J.R. Williams, Athanasios Zolotas, Nicholas Matragkas, Louis Rose, Dimitris Kolovos, Richard Paige and Fiona Polack. What do metamodels really look like? In Proc. Experiences and Empirical Studies in Software Modelling 2013, CEUR Proceedings, November 2013.
R.F. Paige, D. Cancila, H. Espinoza and B. Selic (editors). Special issue of revised papers of the workshop on Model-Driven Embedded Systems, Journal of Systems Architecture, Elsevier, 2012.
L.M. Rose, E. Guerra, J. de Lara, A. Etien, D.S. Kolovos and R.F. Paige. Genericity for Model Management Operations, Software and Systems Modelling, Springer, to appear 2012.
E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. Santos. Engineering Model Transformations with transML, Software and Systems Modelling (Special issue of best papers from MoDELS/UML 2010), Springer-Verlag, to appear 2012.
I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T.P. Kelly, M.Z. Kwiatkowska, J.A. McDermid, and R.F. Paige. Large-scale Complex IT Systems, Communications of the ACM, July 2012.
R.F. Paige and D. Varro. Lessons Learned from Building Model-Driven Development Tools, accepted and to appear in Software and Systems Modelling – 10th Anniversary Issue, Springer-Verlag, 2012.
A. Kusel, M. Wimmer, A. Schurr, R.F. Paige et al. Surveying Rule Inheritance in Model-to-Model Transformation Languages, accepted and to appear in Journal of Object Technology – Special Issue of Papers from ICMT’11.
R.F. Paige, D.S. Kolovos, L.M. Rose, N. Matragkas and J.R. Williams. Model Management in the Wild, invited paper accepted and to appear in Proc. GTTSE 2011, LNCS, Springer-Verlag, 2012.
R.F. Paige. Metamodelling for Grammarware Researchers, invited paper accepted and to appear in Proc. Software Language Engineering 2012, LNCS, Springer-Verlag, 2012.
P.J. Brooke, R.F. Paige and C. Power. Approaches to Modelling Security Protocols with Domain Specific Languages, in 20th Security Protocols Workshop, LNCS, Springer-Verlag, 2012.
X. Cui and R.F. Paige. An Integrated Framework for System/Software Requirements Development Aligning with Business Motivations, in Proc. ICIS 2012, IEEE Press, Shanghai, China, June 2012.
L.M. Rose, N. Matragkas, D.S. Kolovos and R.F. Paige. A Feature Model for Model-to-text Transformation, in Proc. Modelling in Software Engineering Workshop 2012, co-located with ICSE 2012, Zurich. Switzerland, IEEE Press, June 2012.
A. Radjenovic, N. Matragkas, R.F. Paige, A. Motta, M. Rossi, L. Baresi and D.S. Kolovos, MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.
A. Radjenovic, R.F. Paige, L.M. Rose, J. Woodcock and S. King, A Plug-in Based Approach to UML Model Simulation, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.
D.S. Kolovos, L.M. Rose, N. Matragkas, J.R. Williams and R.F. Paige, A Lightweight Approach for Managing XML Documents with MDE Languages, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.
F. Burton, R.F. Paige, D.S. Kolovos, L.M. Rose, S.M. Poulding and S. Smith, Solving Acquisition Problems using Model-Driven Engineering and Model Transformation, in Proc. European Conference on Modelling: Foundations and Applications 2012, LNCS, Springer-Verlag, July 2012.
A. Radjenovic and R.F. Paige. Towards a Common Modelling Platform for Migration to the Cloud, in Proc. CloudMDE Workshop, co-located with ECMFA 2012, CEUR Proceedings, July 2012.
R. Pakir, D.S. Kolovos and R.F. Paige. Cloud Computing Workload and Capacity Management Using Domain Specific Modelling, in Proc. CloudMDE Workshop, co-located with ECMFA 2012, CEUR Proceedings, July 2012.
J.R. Williams, R.F. Paige, F. Burton and S. Poulding. Sensitivity Analysis in Model-Driven Engineering, accepted and to appear in Proc. MoDELS/UML 2012, LNCS, Springer-Verlag, October 2012.
A. Garcia Dominguez, D.S. Kolovos, L.M. Rose, R.F. Paige and
I. Medina. EUnit: a Unit Testing Framework for Model Management Tasks, in Proc. MoDELS/UML 2011, LNCS, Wellington, New Zealand, October 2011. X. Ge, R.F. Paige and J.A. McDermid. Failures of a Business Process in Enterprise Systems, accepted and to appear in Proc. CENTERIS 2011, Springer-Verlag, October 2011. J.R. Williams, S. Poulding, L.M. Rose, R.F. Paige and F.A.C. Polack. Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels, in Proc. Third International Symposium on Search Based Software Engineering, LNCS, September 2011, Szeged, Hungary R.F. Paige and J. Gray (editors). Editorial for the special issue of revised papers of the Second International Conference on Model Transformation (ICMT), Software and Systems Modelling, Springer-Verlag, 2011. I. Sommerville, D. Cliff, R. Calinescu, J. Keen, T.P. Kelly, M.Z. Kwiatkowska, J.A. McDermid, and R.F. Paige. Large-scale Complex IT Systems, CoRR abs/1109.3444, 2011. D. Cancila, H. Espinoza and R.F. Paige (editors). Editorial for the special issue of revised papers of the workshop on Model-Driven Embedded Systems, Journal of Systems Architecture, Elsevier, 2011. E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. Santos. Engineering Model Transformations with transML, accepted and to appear in Software and Systems Modelling (Special issue of best papers from MoDELS/UML 2010), Springer-Verlag, 2011. L.M. Rose, E. Guerra, J. de Lara, A. Etien, D.S. Kolovos and R.F. Paige. Genericity for Model Management Operations, accepted and to appear in Software and Systems Modelling, Springer-Verlag, 2011. R.F. Paige, A. Galloway, R. Charalambous, X. Ge and P.J. Brooke. High-Integrity Agile Processes for the Development of Safety-Critical Software, in International Journal on Critical Computer-Based Systems 2(2), Inderscience Press, 2011. J.R. Williams, D.S. Kolovos, F.A.C. Polack and R.F. Paige. Requirements for a Model Comparison Language, in Proc. 2nd Workshop on Model Comparison in Practice, ACM Press, June 2011. I. Gray, N. Magtrakas, N.C. Audsley, D.S. Kolovos, R.F. Paige and L. Indrusiak. Model-based hardware generation and programming - the MADES approach, in Proc. ISORC Workshops 2011, April 2011, IEEE Press. O. Marchi dos Santos, R.F. Paige, J.C.P. Woodcock and S. King. Using Model Transformation to Generate Graphical Counter-Examples for the Analysis of xUML Models, in Proc. ICECCS 2011, IEEE Press, April 2011. I. Gray, N. Magtrakas, N.C. Audsley, R.F. Paige, D.S. Kolovos and L. Indrusiak. Model-based development of embedded systems with MADES, in Proc. M-BED 2011, May 2011, IEEE Press. X. Ge, R.F. Paige and J.A. McDermid. Model-Based Failure Analysis of Business Processes, in Proc. ICEIS 2011, June 2011, IEEE Press. M. Wimmer, G. Kappel, A. Kusel, W. Retschitzegger, J. Schoenboeck, W. Schwinger, D.S. Kolovos, R.F. Paige, M. Lauder, A. Schürr and D. Wagelaar, A Comparison of Rule Inheritance in Model-to-Model Transformation Languages, in Proc. 4th International Conference on Model Transformation (ICMT) 2011, LNCS, Springer-Verlag, June 2011. A. Espinoza, J. Garbajosa and R.F. Paige. Value-Based Software Traceability, in Proc. Extreme Programming 2011, LNBIP, Springer-Verlag, June 2011. D.S. Kolovos, R.F. Paige, L.M. Rose and J. Williams. Integrated Model Management with Epsilon, in Proc. 7th International Conference on Modelling: Foundations and Applications 2011, LNCS 6988, Springer-Verlag, 2011. R.B. France, J. Kuester, B. Bordbar and R.F. Paige (editors). Proceedings of the 7th International Conference on Modelling: Foundations and Applications 2011, LNCS 6988, Springer-Verlag, 2011.
R.F. Paige, J.C.P. Woodcock, A.L.C. Cavalcanti and P.J. Brooke. Formal
Methods in the Programming Phase, accepted and to appear in Encyclopedia of
Software Engineering, Taylor & Francis, 2010. P.J. Brooke, R.F. Paige and C. Power.
Document-Centric XML Workflows with
Fragment Digital Signatures, Software: Practice and
Experience 40(8), 2010.
R.F. Paige, N. Drivalos, D.S. Kolovos, C. Power, G.K. Olsen and S. Zschaler.
Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering,
accepted and to appear in Journal of Software and Systems Modelling,
Springer, 2010.
L.M. Rose, M. Hermannsdoerfer, J. Williams, D.S. Kolovos, K. Garces, R.F. Paige and F.A.C. Polack.
A Comparison of Model Migration Tools, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010.
E. Guerra, J. de Lara, D.S. Kolovos and R.F. Paige.
Inter-Modelling: from Theory to Practice, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010.
D.S. Kolovos, L.M. Rose, S. Bin Abid, R.F. Paige, F.A.C. Polack and G. Botterweck.
Taming EMF and GMF Using Model Transformations, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010.
E. Guerra, J. de Lara, D.S. Kolovos, R.F. Paige and O. dos Santos.
transML: A Family of Languages to Model Model Transformations, in Proc. MoDELS/UML 2010, LNCS, Springer-Verlag, Oslo, Norway, October 2010.
[Winner of ACM Distinguished Paper Prize]
M. Tabatabaie, F.A.C. Polack and R.F. Paige.
Evaluating Goal-Oriented Analysis
in the Domain of Enterprise Information Systems, in
Proc. Conference on Enterprise Information Systems (CENTERIS) 2010,
Springer, Porto, Portugal, October 2010.
L.M. Rose, A. Etien, D. Mendez, D.S. Kolovos, R.F. Paige and F.A.C. Polack.
Comparing Model-Metamodel and Transformation-Metamodel Co-Evolution, in
Proc. Models and Evolution Workshop 2010, Oslo, Norway, October 2010.
A. Radjenovic and R.F. Paige.
Behavioural interoperability to support model-driven systems integration, in
Proc. Workshop on Model-Driven Interoperability, ACM Press, Oslo, Norway,
October 2010.
R.F. Paige, F. Burton and S.M. Poulding.
Modelling to Support Decision
Making in Complex Environments - an Impossible Challenge?, keynote at 3rd
Workshop on Non-Functional Properties in Domain-Specific Modelling Languages,
CEUR Proceedings, Oslo, Norway, October 2010. [Note, paper doesn't say much -
email me if you'd like the slides.]
R.F. Paige, G.K. Olsen, J. Oldevik and T. Neple.
Guest Editorial to Theme Issue
on Traceability in Model-Driven Engineering,
Software and Systems Modelling 9(4), September 2010.
E. Guerra, J. de Lara, D.S. Kolovos and R.F. Paige. A Visual Specification Language for Model-to-Model Transformations, in Proc. 26th IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 2010, IEEE Press, Madrid, Spain, September 2010.
X. Ge, R.F. Paige and J.A. McDermid.
An Iterative Approach for Development of
Safety-Critical Software and Safety Arguments, in
Proc. Agile 2010, IEEE Press, Nashville, Tennessee, August 2010. D.Salah, R.F. Paige and H. Petrie. Practices in the Integration of Agile and
UCD Processes - A Reality Check, in Proc. Agile 2010:
UX Session, IEEE Press, Nashville, Tennessee, August 2010. X. Ge, R.F. Paige and J.A. McDermid.
Analysing System Failure Behaviours with
PRISM, in Proc. Workshop on Model-Checking Secure and
Reliable Systems (co-located with SSIRI 2010), IEEE Press, Singapore, June
2010.
L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack.
Model Migration
with Epsilon Flock, in Proc. Third
International Conference on Model Transformation (ICMT) 2010, LNCS,
Springer-Verlag, Malaga, Spain, June 2010.
D.S. Kolovos, L.M. Rose, N. Matragkas, R.F. Paige, F.A.C. Polack and
K.J. Fernandes.
Constructing and Navigating Non-Invasive Model
Decorations, in Proc. Third International
Conference on Model Transformation (ICMT) 2010, LNCS,
Springer-Verlag, Malaga, Spain, June 2010.
Ecore to GenModel, in
Proc. Transformation
Tools Contest Workshop (TTC), co-located
with TOOLS Europe 2010, Malaga, Spain, June 2010.
in
Proc. Transformation
Tools Contest Workshop (TTC), co-located
with TOOLS Europe 2010, Malaga, Spain, June 2010.
A. Bagnato, A. Sadovykh, R.F. Paige, D.S. Kolovos, L.
Baresi, A. Morzenti and M. Rossi. MADES: Embedded Systems Engineering Approach
in the Avionics Domain, in Proc. Hands-on Platforms and Tools for
Model-Driven Embedded Systems (HoPES) Workshop (co-located with ECMFA 2010),
June 2010.
N. Matragkas, D.S. Kolovos, R.F. Paige and K.J.
Fernandes. A State-based
Approach to Traceability Maintenance, in Proc. ECMFA Traceability
Workshop 2010, ACM Press, Paris, France, June 2010.
R.F. Paige.
Traceability in
Model-Driven Safety Critical Software Engineering (Keynote), in Proc.
ECMFA Traceability Workshop 2010, ACM Press, Paris, France, June 2010 [note:
the paper doesn't say much, but the slides
say more] L.M. Rose, D.S. Kolovos, N. Matragkas, J.R.Williams, R.F. Paige, F.A.C.
Polack and K. J. Fernandes.
Concordance: An Efficient Framework for Managing
Model Consistency, in Proc. European Conference on
Modelling: Foundations and Applications (ECMFA) 2010, LNCS 6138, Springer-Verlag,
Paris, France, June 2010. D. Clowes, D.S. Kolovos, C. Holmes, L.M. Rose, R.F. Paige, J. Johnson, R.
Dawson and S. Probets. A Reflective Approach to Model-Driven Web Engineering, in Proc. European Conference on Modelling: Foundations
and Applications (ECMFA) 2010, LNCS 6138, Springer-Verlag, Paris, France, June
2010.
L. Harbird, A. Galloway and R.F. Paige.
Towards a
Model-Based Refinement Process for
Contractual Statecharts, in Workshop on Model-Based
Real-Time and Embedded Systems 2010, IEEE Press, May 2010.
R. Ramsin and R.F. Paige.
An Iterative Criteria-Based Approach to Engineering the
Requirements of Software Development Methodologies, IET Software
4(2), April 2010.
J. Williams, F.A.C. Polack and R.F. Paige.
Formal analysis in model management:
exploiting the power of CZT, in Proc. ABZ 2010,
LNCS 5977, Springer-Verlag, February 2010.
L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack.
Enhanced Automation for
Managing Model and Metamodel Inconsistency, in Proc.
Automated Software Engineering 2009, ACM Press, November 2009. F. Torshizi, J.S. Ostroff, R.F. Paige and M. Chechik:
The SCOOP Concurrency
Model in Java-like Languages, in Proc. Communicating
Process Architectures 2009, Eindhoven, the Netherlands, November 2009. D.S. Kolovos, L.M. Rose and R.F. Paige.
EuGENia:
GMF for Mortals, in Proc. Eclipse Summit Europe 2009, Ludwigsberg,
Germany, October 2009.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack.
On the Evolution of OCL for
Capturing Structural Constraints in Modelling Languages, invited paper in
Dagstuhl Festschrift in Honour of Egon Boerger: Rigorous Methods for Software
Construction and Analysis, LNCS 5115, Springer-Verlag, 2009.
S. Zschaler, N. Drivalos, D.S. Kolovos, R.F. Paige and A. Rashid.
Domain-Specific Metamodelling Languages for Software Language Engineering,
in Proc. Software Language Engineering 2009,
Denver, Colorado, LNCS 5969, Springer-Verlag, October 2009. X. Ge, R.F. Paige and J.A. McDermid.
Domain
Analysis on an Electronic Health Records System, in Proc.
Feature-Oriented Software Development Workshop 2009, Denver, Colorado, ACM
Press, October 2009. L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack.
An Analysis of
Approaches to Model Migration, in Proc. Workshop on
Models and Evolution, co-located with MoDELS/UML 2009, Denver,
Colorado, October 2009. J. Johannes, S. Zschaler, M. Fernandez, A. Castillo, D. Kolovos and R.F. Paige.
Abstracting Complex Languages through Transformation and Composition, in Proc. MoDELS/UML 2009, LNCS
5795, Springer-Verlag, October
2009. M. Tabatabaie, R.F. Paige and C. Kimble. Exploring Enterprise Information Systems,
in Enterprise Information Systems for Business Integration in SMEs:
Technological, Organizational and Social Dimensions, IGI Global, October 2009. D. Salah, H. Petrie and R.F. Paige. Towards a Framework for Bridging User-Centred
Design and Agile Software Development Processes, in
Proc. 3rd Irish HCI Conference 2009, September 2009. X. Ge, R.F. Paige and J.A. McDermid.
Probabilistic
Failure Propagation and Transformation Analysis, in Proc. SAFECOMP 2009, LNCS
5775, Springer-Verlag,
September 2009.
P.J. Brooke and R.F. Paige. Cameo:
an Alternative Model of Concurrency for Eiffel, Formal Aspects of Computing
21(4), Springer, August 2009.
R.F. Paige and P.J. Brooke.
Editorial for special issue on Concurrency, Real-Time and Distribution in
Eiffel-like Languages, Formal Aspects of Computing
21(4), August 2009. C. Power and R.F. Paige.
Content
Personalization for Inclusive Education through Model-Driven Engineering, in Proc. HCI International 2009: Universal Access in HCI
Theme, LNCS 5616, Springer-Verlag, San Diego, USA, August 2009. R.F. Paige (editor).
Proceedings of the Second International Conference on Model Transformation (ICMT) 2009,
LNCS 5563, Springer-Verlag, June 2009.
R.F. Paige, A. Hartman and A. Rensink (editors).
Proceedings of the Fifth European Conference on MDA: Foundations and Applications (ECMDA-FA) 2009, LNCS 5562, Springer-Verlag, June 2009.
E. Turner, H. Treharne, R.F. Paige, D.S. Kolovos.
Automatic generation of integrated formal models corresponding to UML system
models, in Proc. 47th International TOOLS Conference on
Objects, Models, Components and Patterns, LNBIP 33, Springer-Verlag, Zurich, July 2009.
L.M. Rose, D.S. Kolovos, R.F. Paige, T. Gilliam and F.A.C. Polack.
Patterns for Testing Model Management Tools, in Proc. 2nd Workshop on Model-based Testing in Practice, co-located with ECMDA-FA 2009, Enschede, the Netherlands, June 2009.
I. Habli, T.P. Kelly and R.F. Paige.
Functional Hazard Assessment in Product
Lines: a Model-Based Approach, in Proc. Workshop on
Model-Driven Product Line Engineering 2009, co-located with ECMDA-FA 2009,
Enschede, the Netherlands, June 2009.
R.F. Paige, D.S. Kolovos, L.M. Rose, N. Drivalos and F.A.C. Polack.
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering, in Proc. 14th IEEE Conference on Engineering of Complex Computer Systems (ICECCS) 2009, IEEE Press, Potsdam, Germany, June 2009.
D.S. Kolovos, L.M. Rose, R.F. Paige and F.A.C. Polack.
Raising the Level of Abstraction in the
Development of GMF-based Graphical Model Editors,
in Proc. 3rd Workshop on Modeling in Software
Engineering (MISE), ACM/IEEE International Conference on Software
Engineering (ICSE), Vancouver, Canada, May 2009 D.S. Kolovos, D. de Ruscio, A. Pierantonio and R.F. Paige.
Different Models for
Model Matching: an analysis of approaches to support model differencing,
in Proc. 2nd International Workshop on Comparison and
Versioning of Models (CVSM 2009), co-located with ICSE 2009,
Vancouver, Canada, ACM Press, May 2009. R.F. Paige, L.M. Rose, X. Ge, D.S. Kolovos and P.J. Brooke.
FPTC: Automated Safety Analysis for Domain-Specific Languages, in Proc.
Models in Software Engineering, MoDELS/UML'08 Workshop Reader, LNCS 5421,
Springer-Verlag, April 2009. D.S. Kolovos, R.F. Paige and F.A.C. Polack.
The Grand Challenge of Scalability in Model-Driven Engineering, in Proc.
Models in Software Engineering, MoDELS/UML'08 Workshop Reader, LNCS 5421,
Springer-Verlag, April 2009.
E.G. Aydal, R.F. Paige, J. Woodcock and M. Utting.
Putting Formally Verified Software under the Magnifying Glass: Model-based Testing for Validation,
in Proc. 2nd International Conference on Software Testing,
Verification and Validation (ICST) 2009, IEEE Press, Denver, Colorado, April 2009.
R.F. Paige, L.M. Rose, X. Ge, D.S. Kolovos and P.J. Brooke.
Automated Safety Analysis for Domain-Specific Languages,
in Proc. Workshop on Non-Functional System Properties in
Domain Specific Modeling Languages, co-located with MoDELS '08,
Toulouse, France, Sept 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack. Scalability: The Holy Grail of
Model-Driven Engineering, in Proc. Workshop on
Challenges in MDE, co-located with MoDELS'08, Toulouse, France, Sept 2008.
E.G. Aydal, R.F. Paige and J.C.P. Woodcock.
Observations for Assertion-based Scenarios
in the context of Model Validation and Extension to Test Case Generation,
in Proc. OCL 2008,
co-located with MoDELS'08, Toulouse, France, September 2008.
N. Drivalos, D.S. Kolovos, R.F. Paige and K.J. Fernandes.
Engineering a
DSL for Software Traceability, in
Software Language Engineering 2008, LNCS, Springer-Verlag, Toulouse,
France, October 2008.
L.M. Rose, R.F. Paige, D.S. Kolovos and F.A.C. Polack.
Constructing Models
with the Human-Usable Textual Notation, in
ACM/IEEE 11th International Conference on Model Driven Engineering Languages and
Systems (MoDELS/UML) 2008, LNCS, Springer-Verlag, Toulouse, France,
October 2008.
R.F. Paige, R. Charalambous, X. Ge and P.J. Brooke.
Towards Agile
Development of High-Integrity Systems, in
Proc. 27th International Conference on Computer Safety, Reliability
and Security (SAFECOMP) 2008, LNCS, Springer-Verlag, Newcastle, UK,
September 2008.
G. Despotou, D.S. Kolovos, T.P. Kelly and R.F. Paige. Defining a Framework
for the Development and Management of Dependability Cases,
in Proc. 26th International System Safety Conference (ISSC'08), Vancouver,
Canada, August 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack. The
Epsilon Transformation Language,
in Proc. International Conference on Model Transformation
(ICMT) 2008, LNCS 5063, Springer-Verlag, Zurich, Switzerland, July 2008.
R.F. Paige and B. Meyer (editors). Proceedings
of TOOLS EUROPE 2008:
Objects, Components, Models and Patterns, Lecture Notes in Business
and Information Processing volume 11, Springer-Verlag, June 2008.
R.F. Paige, G.K. Olsen, D.S. Kolovos, and S. Zschaler. Building Model-Driven
Engineering Traceability Classifications, in
Proc. 4th Workshop on Traceability, ECMDA'08, Berlin, Germany, June 2008
N. Drivalos, R.F. Paige, K. Fernandes and D.S. Kolovos. Towards Rigorously
Defined Model-to-Model Traceability, in Proc. 4th Workshop
on Traceability, ECMDA'08, Berlin, Germany, June 2008
D.S. Kolovos, R.F. Paige and F.A.C. Polack. A Framework for Composing Modular and
Interoperable Model Management Tasks, in Proc. Workshop on Model Driven
Tool and Process Integration (MDTPI), EC-MDA '08, Berlin, Germany, June 2008
L.M. Rose, R.F. Paige, D.S. Kolovos and F.A.C. Polack. The Epsilon
Generation Language, in Proc. Fourth European
Conference on Model-Driven Architecture (EC-MDA) 2008, LNCS, Springer-Verlag,
Berlin, Germany, June 2008.
D.S. Kolovos, R.F. Paige, L.M. Rose and F.A.C. Polack.
Unit Testing Model Management Operations, in Proc. 5th Workshop on Model Driven Engineering
Verification and Validation (MoDeVVa), ICST '08, IEEE Press, Lillehammer, Norway, April 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack.
Novel Features in Model
Management Languages of the Epsilon Platform, in Workshop
on Modelling in Software Engineering (MISE) 2008, ICSE 2008, ACM Press,
Leipzig, Germany, May 2008.
H. Chivers and R.F. Paige. XRound: a
Reversible Template Language and its
Application in Model-Based Security Analysis, accepted and to appear in
Journal of Information and Software Technology, special issue on
Model-Based Development for Secure Information Systems, Elsevier, 2008.
D.S. Kolovos, R.F. Paige and F.A.C. Polack. Detecting and repairing
inconsistencies across heterogeneous models, in Proc.
IEEE International Conference on Software Testing, Verification and Validation (ICST
2008), IEEE Press, Lillehammer, Norway, April 2008
A. Radjenovic and R.F. Paige. The role of dependency links in
ensuring architectural view consistency, in
IEEE/IFIP Conference on Software Architecture (WICSA) 2008,
IEEE Press, Vancouver, Canada, February 2008.
R. Ramsin and R.F. Paige. Process-Centred Review of
Object-Oriented Software Development Methodologies,
ACM Computing Surveys 40(1), February 2008. 89 pages.
P.J. Brooke and R.F. Paige. Practical Distributed Processing, Undergraduate Texts in
Computer Science, Springer, 2008. 275 pages.
D.S. Kolovos, R.F. Paige, L.M. Rose, and F.A.C. Polack. Bridging
the Epsilon Wizard Language and the Eclipse Graphical Modelling
Framework, in the Modelling Symposium, Eclipse Summit Europe 2007.
E.G. Aydal, R.F. Paige and J.C.P. Woodcock. Evaluation
of OCL for Large-Scale Modelling: A Different View of the Mondex Smart Card
Application, in MoDELS/UML 2007 Workshops, LNCS 5002, Springer-Verlag,
2008.
M.S. Abdullah, R.F. Paige, C. Kimble and I.D. Benest. A UML Profile for
Knowledge-Based Systems Modelling, in
Proc. Fifth International Conference on Software Engineering
Research, Management, and Applications (SERA'07), IEEE Press,
Busan, Korea, August 2007 (Winner of best paper prize.)
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Agile Model Editing in the Eclipse Modeling
Framework using Executable Metamodel Annotations, in Proc. Towers of Models Workshop,
co-located with TOOLS Europe 2007, Zurich, Switzerland, June 2007.
D.S. Kolovos, R.F. Paige, L.M. Rose, and F.A.C. Polack. Implementing the
Interactive Television Applications Case Study using Epsilon, in
Proc. MDD Tool Implementers Forum, co-located with TOOLS Europe
2007, Zurich, Switzerland, June 2007.
P.J. Brooke, R.F. Paige, and J.L. Jacob. A CSP Model for Eiffel's SCOOP, to appear in
Formal Aspects of Computing, 2007.
A. Radjenovic and R.F. Paige. The View Glue, invited paper in Architecting Dependable
Systems IV, LNCS, Springer-Verlag, 2007.
P.J. Brooke and R.F. Paige. Exceptions in Concurrent
Eiffel, Journal of Object Technology 6(10), November/December 2007.
R.F. Paige, P.J. Brooke, and J.S. Ostroff. Metamodel-Based Model Conformance and
Multiview Consistency Checking, ACM Transactions on Software Engineering
and Methodology 16(3), July 2007. 49 pages.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Aligning OCL with Domain-Specific
Languages to Support Instance-Level Model Queries, in Journal
of the Electronic Communications of the EASST, 2007.
P.J. Brooke and R.F. Paige. Lazy exploration and checking of CSP models with CSPsim,
in Proc. Communicating Process Algebras 2007, IOS Press, Guildford, Surrey, July 2007.
P.A. Laurens, R.F. Paige, P.J. Brooke, and H. Chivers.
A novel approach to the detection of cheating in multiplayer online games,
in Proc. 12th International Conference on Engineering of Complex
Computer Systems (ICECCS) 2007, IEEE Press, Auckland, New Zealand, July 2007.
R.F. Paige and J. Bezivin (editors). First International Workshop on Towers
of Models, proceedings,
Technical Report YCS-2007-416, Zurich, Switzerland, June 2007.
D.S. Kolovos, R.F. Paige, F.A.C. Polack, and L. Rose.
Update Transformations in the Small
with the Epsilon Wizard Language, in Proc. TOOLS Europe 2007,
proceedings published in a special issue of Journal of Object Technology, Zurich,
Switzerland, June 2007.
D.H. Akehurst, R.F. Paige, and R. Vogel (editors). Proceedings of the Third European
Conference on Model-Driven Architecture: Foundations and Applications 2007, LNCS,
Springer-Verlag, Haifa, Israel, June 2007.
X. Ge, R.F. Paige, F.A.C. Polack, and P.J. Brooke.
Extreme programming security practices, in
Proc. Extreme Programming 2007, LNCS, Springer-Verlag, Lake Como, Italy, June 2007.
G. Despotou, D.S. Kolovos, R.F. Paige, T.P. Kelly, and F.A.C. Polack.
Towards a Metamodel for Dependability Cases, in
Proc. OMG Software Assurance Workshop 2007, March 2007.
P.M. Conmy and R.F. Paige.
Challenges when using Model-Driven Architecture
in the development of Safety Critical Software. In
Proc. Fourth International Workshop on Model-based
Methodologies for Pervasive and Embedded Software (MOMPES 2007) ,
co-located with ETAPS 2007, IEEE Press, Braga, Portugal, March 2007.
B. Gruschko, D.S. Kolovos, and R.F. Paige.
Towards Synchronising Models
with Evolving Metamodels. In Proc. Workshop on Model-Driven
Software Evolution (MODSE), 11th European Conference on Software
Maintenance and Engineering, Amsterdam, The Netherlands, March 2007.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Towards
using OCL for Instance-Level Queries in Domain-Specific Languages, in
Proc. OCLApps 2006, co-located with Models/UML'06, Genova
Italy, October 2006.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack.
Merging Models with the Epsilon
Merging Language, in Proc. ACM/IEEE 9th International Conference on Model
Driven Engineering Languages and Systems (Models/UML 2006), LNCS 4199, Springer-Verlag,
Genova, Italy, October 2006.
R.F. Paige, T.R. Attridge, and P.J. Brooke.
Game Development using Design
by Contract, Journal of Object Technology 5(7), September-October 2006.
J. Cakic and R.F. Paige.
Origins of the Grid Architectural Style,
in Proc. Eleventh International Conference on Engineering Complex Computer
Systems, IEEE Press, Palo Alto, USA, August 2006.
P.J. Brooke and R.F. Paige. A Critique of SCOOP, in
Proc. First International Symposium on Concurrency,
Real-Time, and Distribution in Eiffel-like Languages,
York, UK, July 2006.
P.J. Brooke and R.F. Paige. An Alternative Concurrency Model
for Eiffel, in Proc. First International Symposium
on Concurrency, Real-Time, and Distribution in Eiffel-like
Languages, York, UK, July 2006.
R.F. Paige and P.J. Brooke (editors). First International Symposium on
Concurrency, Real-Time, and Distribution in Eiffel-like Languages,
proceedings, Technical
Report YCS-2006-405, York, UK, July 2006.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. On-Demand Merging of Traceability Links with Models,
in Proc. Second Workshop on Traceability, co-located with
EC-MDA 2006, Bilbao, Spain, July 2006.
D.S. Kolovos, R.F. Paige, T.P. Kelly, and F.A.C. Polack. Requirements
for Domain-Specific Languages, in Proc. First ECOOP
Workshop on Domain-Specific Program Development, co-located with
ECOOP 2006, Nantes, France, July 2006.
J. Bézivin, S. Bouzitouna, M. Didonet Del Fabro, M.-P. Gervais, F. Jouault, D.S. Kolovos, I. Kurtev, and R.F. Paige.
A Canonical Scheme for Model Composition, in
Proc. Second European Conference on Model-Driven Architecture (EC-MDA) 2006, LNCS 4066,
Springer-Verlag, Bilbao, Spain, July 2006.
K.-D. Engel, R.F. Paige, and D.S. Kolovos. Using a Model Merging Language for Reconciling
Model Versions, in
Proc. Second European Conference on Model-Driven Architecture (EC-MDA) 2006, LNCS 4066,
Springer-Verlag, Bilbao, Spain, July 2006.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. The Epsilon Object Language (EOL), in
Proc. Second European Conference on Model-Driven Architecture (EC-MDA) 2006, LNCS 4066,
Springer-Verlag, Bilbao, Spain, July 2006.
X. Ge, R.F. Paige, F.A.C. Polack, H. Chivers, and P.J. Brooke. Agile Development of Secure
Web Applications, in Proc. International Conference on Web Engineering (ICWE) 2006,
ACM Press, Palo Alto, USA, July 2006.
M.S. Abdullah, C. Kimble, I.D. Benest and R.F Paige.
Knowledge-Based System - A Re-Evaluation, Journal of Knowledge Management, 10(3), 2006.
R.F. Paige, X. Wang, Z.R. Stephenson, and P.J. Brooke. Towards an Agile Process
for Building
Software Product Lines, in Proc. Extreme Programming (XP) 2006, LNCS 4044, Springer-Verlag,
Oulu, Finland, June 2006.
E.G. Aydal, R.F. Paige, H. Chivers, and P.J. Brooke. Security Planning
and Refactoring with
Extreme Programming, in Proc. Extreme Programming (XP) 2006, LNCS 4044, Springer-Verlag,
Oulu, Finland, June 2006.
M.S. Abdullah, R.F. Paige, I.D. Benest, and C. Kimble. Knowledge Modelling Using The UML Profile,
in Proc. Third IFIP Conference on Artificial Intelligence Applications and Innovations
(AIAI 2006), Springer-Verlag, Athens, Greece, June 2006.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Model Comparison:
a Foundation for Model Composition and Model Transformation Testing, in Proc. First International
Workshop on Global Integrated Model Management (G@MMA) 2006, co-located with ICSE'06,
Shanghai, China, May 2006.
M.S. Abdullah, R.F. Paige, I.D. Benest, and C. Kimble. Knowledge Engineering Using the
UML Profile: Adopting the Model-Driven Architecture for Knowledge-Based System Development,
in Proc. 8th International Conference on Enterprise Information Systems (ICEIS 2006),
Paphos, Cyprus, May 2006.
J.A. Clark, R.F. Paige, F.A.C. Polack, and P.J. Brooke (editors).
Security in Pervasive Computing (SPC) 2006, Lecture Notes
in Computer Science 3934, Springer-Verlag, April 2006.
R.F. Paige, D.S. Kolovos, and F.A.C. Polack. Adding an Action Semantics to MOF 2.0,
in Proc. Symposium on Applied Computing (SAC) 2006, ACM Press, Dijon,
France, April 2006.
A. Radjenovic and R.F. Paige. Architecture Description Languages for High Integrity Real-Time
Systems, IEEE Software, March/April 2006.
R.F. Paige and P.J. Brooke.
Agile Formal Method Engineering, in Proc. Integrated
Formal Methods (IFM) 2005, LNCS 3771, Eindhoven, the Netherlands, December 2005.
X. Ge, H. Chivers, F.A.C. Polack, and R.F. Paige. Adapting Security Risk Analysis to the
Design of Database-Centric Web-based Information Systems, in
Proc. International Conference on Software Engineering and its Applications (ICSSEA) 2005,
CNAM, Paris, France, December 2005.
M.S. Abdullah, R.F. Paige, I.D. Benest, and C. Kimble. Unified Modelling Language for
Knowledge Modelling, in Proc. International Conference on Computation
Intelligence for Modelling Control and Automation (CIMCA) 2005, IEEE Press, Vienna,
Austria, November 2005.
N. Aizenbud-Reshef, R.F. Paige, J. Rubin, Y. Shaham-Gafni, and D.S. Kolovos.
Operational Semantics for Traceability,
in Proc. Workshop on Traceability,
co-located with EC-MDA'05, Nuremberg, Germany, November 2005.
H. Chivers and R.F. Paige.
XRound: Bidirectional Transformations via a Reversible Template Language,
in Proc. European Conference on MDA (EC-MDA) 2005, LNCS 3748,
Springer-Verlag, Nuremberg, Germany, November 2005.
Z.E. Chan and R.F. Paige.
Designing a Domain-Specific Contract Language: a Metamodelling
Approach, in Proc. European Conference on MDA (EC-MDA) 2005, LNCS 3748,
Springer-Verlag, Nuremberg, Germany, November 2005.
A. Galloway, R.F. Paige, N.J. Tudor, R.A. Weaver, I. Toyn, and J.A. McDermid.
Proof versus Testing in the Context of Safety Standards, in
Proc. Digital Avionics Systems Conference (DASC) 2005, IEEE Press,
Washington, USA, October 2005. Winner of Best in Session and Best in Track paper
awards.
J.S. Ostroff, R.F. Paige, D. Makalsky, and P.J. Brooke.
ETester: a Contract-Aware and Agent-Based
Testing Framework for Eiffel, Journal of Object Technology, 4(7), September/October 2005.
J. Cakic and R.F. Paige. A Web Services Description
Framework to Support Dynamic Run-time Binding in Grid-based Systems, in
Proc. Seventh International Conference on Information Integration and Web-Based
Applications and Services (iiWAS 2005), Austrian Computer Society,
Kuala Lumpur, Malaysia, September 2005.
M.S. Abdullah, R.F. Paige, C. Thompson, I.D. Benest, and C. Kimble.
Conceptual Modelling of Knowledge-Based System Using UML,
Proc. IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI 2005),
Springer, p23-34, Beijing, China, September 2005.
J. Cakic, R.F. Paige, H. Chivers, X. Ge, J.A. McDermid, and J. Austin. Flexible Dynamic Binding in
Agile Grid Development, in Proc. All Hands Meeting 2005, Nottingham, UK, September 2005.
H. Chivers, R.F. Paige, and X. Ge.
Agile Security via an Incremental Security Architecture, in
Proc. Extreme Programming 2005, LNCS 3556, June 2005.
D.S. Kolovos, R.F. Paige, and F.A.C. Polack.
An Agile and Extensible Code Generation Framework,
in Proc. Extreme Programming 2005, LNCS 3556, June 2005.
R.F. Paige, D.S. Kolovos, and F.A.C. Polack. Refinement via Consistency Checking for MDA, in
Proc. Refinenet Workshop 2005, ENTCS, Surrey, UK, April 2005.
R.F. Paige, H. Chivers, J. McDermid, and Z. Stephenson. High-Integrity Extreme Programming,
in ACM Symposium on Applied Computing 2005, ACM Press, Santa Fe, New Mexico, March 2005.
M.S. Abdullah, R.F. Paige, I. Benest, C. Kimble, and A.S. Evans.
Designing Knowledge-Based Systems Using a UML Profile (Metamodel Based Extension), in
Proc. ICICIS 2005, IEEE Press, Cairo, Egypt, March 5-7, 2005.
R.F. Paige, J. Cakic, X. Ge, and H. Chivers. Towards Agile Re-engineering of Dependable Grid
Applications, in Proc. International Conference on Software
Engineering and its Applications 2004, Paris, France, December 2004.
O. Fuks, J.S. Ostroff, and R.F. Paige.
SECG: the SCOOP-to-Eiffel Code Generator,
Journal of Object Technology, 3(10):143-160, November/December 2004.
R.F. Paige and J.S. Ostroff. Specification-Driven Design for Teaching Lightweight Formal
Methods, in Proc. CologNet Conference on Teaching Formal Methods 2004, LNCS,
Springer-Verlag, Ghent, Belgium, November 2004.
R.F. Paige, P.J. Brooke, and J.S. Ostroff. Agile Development of a Metamodel in
Eiffel, in Proc. Fifteenth IEEE International Symposium on Software
Reliability Engineering 2004, St-Malo, France, November 2004.
R.F. Paige, P.J. Brooke, and J.S. Ostroff.
Specification-Driven Development of an
Executable Metamodel, in Proc. Third Workshop in Software Model
Engineering 2004 (co-located with UML 2004), Lisbon, Portugal, October 2004.
P.M. Conmy and R.F. Paige. Using UML, OCL, and MDA to Support Development of
Modular Avionics Systems, in Proc. Third International Workshop on
Critical Systems Development with UML 2004 (co-located with UML 2004), Lisbon,
Portugal, October 2004.
P.J. Brooke, R.F. Paige, J.A. Clark, and S. Stepney.
Playing the Game: Cheating, Loopholes, and Virtual Identity,
ACM Computers and Society, ACM Press, September 2004.
J.S. Ostroff, D. Makalsky, and R.F. Paige. Agile Specification-Driven Development, in
Proc. Extreme Programming 2004, LNCS 3092, Springer-Verlag, Garmisch-Partenkirchen, Germany, June 2004.
A. Radjenovic, R.F. Paige, P. Conmy, M. Wallace, and J. McDermid. An Information Model for
High-Integrity Real-Time Systems, in Proc. Second RTAS Workshop on Model-Driven Embedded
Systems 2004, Toronto, Canada, May 2004.
R.F. Paige and P.J. Brooke. An Integration of BON and Object-Z,
Journal of Object Technology, 3(3):121-141, March/April 2004.
R.F. Paige and J.S. Ostroff.
ERC: an Object-Oriented Refinement Calculus for Eiffel, Formal
Aspects of Computing, 16(1):51-79, Springer-Verlag, April 2004. A
technical
report is available, though it is a very preliminary version.
R.F. Paige, J.S. Ostroff, and P.J. Brooke. Theorem Proving Support for
View Consistency Checking, L'Objet 9(4):115-134, 2003.
R.F. Paige and A. Radjenovic. Towards Model Transformation with TXL, in
Proc. Metamodelling for MDA Workshop 2003, York, UK, November 2003.
R.F. Paige, J.S. Ostroff, and P.J. Brooke. A Test-Based Agile Approach to Checking the Consistency of Class
and Collaboration Diagrams, in Proc. UK Softest Workshop II, York, UK, September 2003.
R.F. Paige, J.S. Ostroff, and P.J. Brooke. Formalising Eiffel Reference and Expanded
Types in PVS, in Proc. International Workshop on Aliasing,
Confinement, and Ownership in Object-Oriented Programming (IWACO), co-located with
ECOOP 2003, Utrecht University Technical Report, Darmstadt, Germany, July 2003.
R. Paige, P. Conmy, A. Radjenovic, M. Wallace, and J. McDermid. Platform Abstract Models for
High-Integrity Real-time Systems, accepted as a poster to the MDAFA'03 Workshop, Twente,
The Netherlands, June 2003. (We withdrew the paper since we didn't think it was suitable for
presentation as a poster.)
R.F. Paige, P. Agarwal, and P.J. Brooke. Combining XP Practices with UML and EJB: a Case
Study in Agile Development, in Proc. XP 2003, LNCS 2675, Springer-Verlag, May 2003
[ Longer version, Poster ]
P.J. Brooke and R.F. Paige. Fault Trees for Security System Analysis and Design, Journal of
Computers and Security, 22(3):256-264, Elsevier, May 2003.
R.F. Paige, L. Kaminskaya, J.S. Ostroff, and J. Lancaric.
BON-CASE: an Extensible
CASE Tool for Formal Specification and Reasoning, in Journal of Object Technology
1(3), special proceedings of TOOLS USA 2002, pages 77-96, August 2002.
P.J. Brooke and R.F. Paige. The Design of a Tool-Supported Graphical Notation
for Timed CSP, in Proc. Integrated Formal Methods 2002 (IFM'02), LNCS 2335,
Springer-Verlag, Turku, Finland, May 2002.
R.F. Paige and P.J. Brooke. Using PVS to Support a
Real-Time Refinement Calculus (Work in Progress),
in Proc. Second Workshop on Automated Verification of Critical Systems 2002 (AVoCS'02),
Technical Report CSR-02-6, University of Birmingham, Birmingham, UK, April 2002.
R.F. Paige, J.S. Ostroff, and P.J. Brooke. Checking the Consistency of Class
and Collaboration Diagrams using PVS, in Proc. Fourth Workshop on Rigorous Object-Oriented
Methods (ROOM4), London, England, British Computer Society, March 2002.
R.F. Paige and J.S. Ostroff. A Seamless Eiffel-Based Refinement Calculus for
Object-Oriented Systems, in Proc. Workshop on Refinement of Critical Systems 2002
(co-located with ZB-2002), Grenoble, France, January 2002. (Unfortunately I could not attend the
workshop due to last-minute timetabling problems, but this version of the paper was the one I intended to
present.)
S. Tan, E. Arjomandi, R.F. Paige, E. Mamas, S. Moser, and B. O'Farrell.
Extending the Message Flow Debugger for MQSI, in
Proc. Centre for Advanced Studies Conference (CASCON) 2001, p165-176,
Toronto, Canada, IBM Press, November 2001.
R.F. Paige and J.S. Ostroff.
A Proposal for a Lightweight Rigorous UML-Based
Development Method for Reliable Systems, in Proc. Workshop on
Practical UML-Based Rigorous Development Methods 2001 (co-located with
UML 2001), p192-207, Toronto, Canada, Lecture Notes in Informatics (GI Series), German Society, October 2001.
R.F. Paige and J.S. Ostroff. The
Single Model Principle, in Proc. Requirements Engineering '01 (RE'01),
Toronto, Canada, IEEE Press, August 2001.
R.F. Paige and J.S. Ostroff.
Metamodelling and Conformance Checking with PVS, in Proc.
Fundamental Aspects of Software Engineering (FASE'01), Genoa, Italy, LNCS 2029, p2-16,
Springer-Verlag, April 2001.
J.S. Ostroff and R.F. Paige.
The Logic of Software Design,
IEE Proceedings -- Software Engineering 147(3):73-80, IEE, October 2000.
R.F. Paige and J.S. Ostroff.
Precise and Formal
Metamodeling with the Business Object Notation and PVS, CS Technical Report
2000-03, August 2000. This report captures a lot of the work that we did on metamodelling
with PVS in 2000. We have since published a great deal of this, particularly in FASE'01,
ROOM'02, L'Objet, and most recently in ACM TOSEM.
R.F. Paige and J.S. Ostroff.
Developing BON as an Industrial-Strength Formal
Method, in Proc. World Congress on Formal Methods (FM'99),
Toulouse, France, LNCS 1708, Springer-Verlag, September 1999.
R.F. Paige and E.C.R. Hehner.
Bunches for Object-Oriented, Concurrent, and Real-Time
Specification, in
Proc. World Congress on Formal Methods (FM'99), Toulouse, France,
LNCS 1708, Springer-Verlag, September 1999.
R.F. Paige.
Specification and Refinement using
a Heterogeneous Notation
for Concurrency and Communication,
in Proc. First International Workshop on Integrated Formal Methods
(IFM'99), York, UK, Springer-Verlag Workshops in Computing, p353-372, June 1999.
R.F. Paige. Integrating a Program Design Calculus and a
Subset of UML, The Computer Journal 42(2), Cambridge University Press, March 1999.
R.F. Paige.
When Are Methods Complementary?,
Information and Software Technology 41(3), Elsevier, February 1999.
R.F. Paige and J.S. Ostroff.
From Z to BON/Eiffel, in
Proc. Thirteenth International Conference on Automated Software
Engineering (ASE'98), Honolulu, Hawaii, IEEE Press, p209-212, October 1998.
R.F. Paige.
Comparing Extended Z with a Heterogeneous
Z Notation for Reasoning about Time and Space, in
Proc. Eleventh International Conference of Z Users (ZUM'98), Berlin, Germany,
Lecture Notes in Computer Science 1493, Springer-Verlag, p214-232, September 1998.
R.F. Paige.
Heterogeneous Notations for Pure
Formal Method Integration,
Formal Aspects of Computing 10(3): 233-242, Springer-Verlag, June 1998.
R.F. Paige.
Heterogeneous Notations for Pure
Formal Method Integration (Extended Version),
Formal Aspects of Computing 10(E):1-27, Springer-Verlag Electronic
Publications, June 1998. (The published version is available from
Springer-Verlag.)
R.F. Paige.
Using an Object-Oriented Predicative
Style to Solve the Invoicing Case Study,
in Proc. Sixth International Workshop on Comparing System Specification
Techniques (INVOICING'98), Nantes, France, IRIN Press, p445-460, March 1998.
R.F. Paige.
Case Studies in Using a Meta-Method
for Formal Method Integration, in
Proc. Algebraic Methodology and Software Technology 1997 (AMAST'97),
Sydney, Australia, Lecture Notes
in Computer Science 1349, Springer-Verlag, p395-408, December 1997.
R.F. Paige.
A Meta-Method for Formal Method
Integration, in Proc. Formal Methods Europe 1997 (FME'97),
Graz, Austria, Lecture Notes in Computer Science 1313, Springer-Verlag, p473-494,
September 1997.
R.F. Paige.
Formal Method Integration
via Heterogeneous
Notations, Ph.D dissertation, Department of Computer Science,
University of Toronto, November 1997. (250 pages, PDF). Apologies for the typesetting -
the fonts aren't particularly attractive.
R.F. Paige. An Introduction to BON (revised
August 6, 1999). Also available in
Postscript and Adobe Acrobat.
Various writings related to the DARP project can be found on the
DARP web site.
2014
2013
2012
2011
2010
2009
R.F. Paige. Review
of Model-Driven Software Development, in Software
Testing, Verification and Reliability 18(4), Wiley, December 2008.
2008
M.S. Abdullah, I.D. Benest, R.F. Paige and C. Kimble. Using the Unified
Modelling Language for Conceptual Modelling of Knowledge-Based Systems, in Proc. 26th International Conference on
Entity-Relationship Modelling (ER'07), LNCS, Springer-Verlag,
Auckland, New Zealand, November 2007.
2007
D.S. Kolovos, R.F. Paige, and F.A.C. Polack. Epsilon Development
Tools for Eclipse, in Proc. Eclipse Summit 2006,
Esslingen, Germany, October 2006.
2006
2005
M.S. Abdullah, A.S. Evans, I. Benest, R.F. Paige, and C. Kimble. Modelling Knowledge-Based
Systems using the eXecutable Modelling Framework (XMF), in Proc. IEEE Conference on
Cybernetics and Intelligent Systems 2004, Singapore, December 2004.
2004
E.C.R. Hehner,
T.S. Norvell, and R.F. Paige.
High-Level Circuit Design,
Chapter 18 in Essays in Programming Methodology, Springer-Verlag, 2003. (Note: the first
printing of the book had numerous typesetting problems in Chapter 18. Springer has recalled the first
printing and is in the process of reprinting with corrections. The version here is correct.)
2003
R.F. Paige and J.S. Ostroff. The Single Model Principle,
Journal of Object Technology, 1(5):63-81, November/December 2002.
2002
2001
R.F. Paige, J.S. Ostroff, and P.J. Brooke.
Principles of modeling language design,
Information and Software Technology, 42(10):665-675, Elsevier, June 2000.
2000
R.F. Paige and J.S. Ostroff.
A Comparison of the Business Object Notation and the Unified Modeling
Language, in Proc. Second International Conference on the
Unified Modeling Language (UML'99), Fort Collins, Colorado,
LNCS 1723, p67-82, Springer-Verlag, October 1999.
(A longer version of this paper is available as CS Technical Report 1999-03.)
1999
J.S. Ostroff and R.F. Paige.
Formal Methods in the Classroom: The
Logic of Real-Time Software Design,
in Proc. 3rd IEEE Real-Time Systems Education
Workshop, Poznan, Poland, IEEE Press, p63-70, November 1998.
1998 and earlier
R.F. Paige.
Correctness and Performance
Analysis of Imperative and Functional Circuits, M.Sc thesis,
Department of Computer Science, University of Toronto, March 1994.
(127 pages, PDF).
Theses
Miscellaneous