Programme Committees

Forthcoming events:

• Sixth European Conference on Modelling: Foundations and Applications 2010 (formerly ECMDA-FA), Paris, France, June 15-18 2010 (Steering Committee, PC)
• International Conference on Model Transformation 2010, Malaga, Spain, June 2010 (Steering Committee)
• TOOLS Europe 2010, Malaga, Spain, June 2010 (Steering Committee, PC)
• Eighth International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems 2010, Madeira, Portugal, June 2010 (PC)
• International Conference on Engineering of Complex Computer Systems (ICECCS) 2010, Oxford, UK, March 2010 (PC co-chair)
• Workshop on Model-Based Engineering for Embedded Systems Design (M-BED) 2010, Dresden, Germany, March 2010 (PC)
• SOFSEM 2010: 36th International Conference on Current Trends in Theory and Practice of Computer Science, Czech Republic, January 2010 (PC)

Some recent-ish past events:

• Software Language Engineering 2009, Denver, Colorado, USA, October 2009 (PC)
• MoDELS/UML 2009, Denver, Colorado, USA, October 2009 (PC)
• Workshop on Non-Functional Properties in DSLs, Denver, Colorado, USA, October 2009 (PC)
• Workshop on Models and Evolution, Denver, Colorado, USA, October 2009 (PC)
• Workshop on OCL, Denver, Colorado, USA, October 2009 (PC)
• TOOLS Europe 2009, Zurich, Switzerland (PC and Steering Committee), July 2009.
• International Conference on Model Transformation 2009, Zurich, Switzerland, July 2009 (PC Chair)
• UML and AADL 2009, Potsdam, Germany, June 2009 (PC)
• KISS Workshop @ CAiSE 2009, Amsterdam, the Netherlands, June 2009 (PC)
• European Conference on Model-Driven Architecture (ECMDA) 2009, Twente, The Netherlands, June 2009 (PC co-chair and steering committee)
• ETAPS 2009, York, UK, March 2009 (Organising Committee).
• Fundamental Aspects of Software Engineering (FASE) 2009, ETAPS 2009, York UK, March 2009 (PC).
• First International Workshop on UML and Formal Methods, ICFEM 2008, Kitakyushu, Japan, October 2008 (PC).
• VSTTE'08: Second Working Conference on Verified Software: Theories, Tools, and Experiments, October 2008 (Publicity Chair).
• Workshop on Challenges in Model-Driven Engineering, MODELS 2008, Toulouse, France, September 2008 (PC)
• ACM/IEEE 11th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2008, Toulouse, France, September 2008 (PC).
• Software Language Engineering 2008, Toulouse, France, September 2008 (PC).
• Dagstuhl Perspective Workshop: Model Engineering of Complex Systems, 10-13 August 2008, Dagstuhl, Germany (Organiser).
• TOOLS Europe 2008, Zurich, Switzerland, 30 June-4 July 2008 (PC Chair).
• International Conference on Model Transformation (MT) 2008, Zurich, Switzerland, July 2008 (PC).
• Fourth ECMDA-FA Workshop on Traceability, Berlin, Germany, June 9-12 2008 (Organiser).
• European Conference on Model-Driven Architecture 2008, Berlin, Germany, June 9-12, 2008 (PC and Steering Committee).
• International Conference on Complex and Critical Systems 2008, March-April 2008, Belfast, Northern Ireland (PC).
• UML & AADL 2008: Third Workshop on UML and AADL, March-April 2008, Belfast, Northern Ireland (PC).
• 4th Workshop on Language Engineering (ATEM) 2007, Nashville, USA (PC).
• International Conference on Complex and Critical Systems 2007, Auckland, New Zealand, August 2007 (PC).
• Integrated Formal Methods 2007, Oxford, UK (Workshops and Tutorials Chair, PC).
• UML & AADL’2007: Second Workshop on UML and AADL, July 2007, Auckland, New Zealand.
• TOOLS Europe 2007, ETH Zurich, Switzerland, June 2007 (PC).
• TOWERS 2007: Towers of Models Workshop, June 2007, Zurich, Switzerland (Co-Chair)
• European Conference on Model-Driven Architecture 2007, Haifa, Israel, June 2007 (Publications Chair).
• Third Workshop on Traceability in MDD, Haifa, Israel, June 2007 (PC)
• First International Symposium on Concurrency, Real-Time, and Distribution in Eiffel-like Languages (CORDIE'06), York, UK, 4-5 July 2006 (Co-Chair and Local Organiser)
• Second European Conference on Model-Driven Architecture (EC-MDA) 2006, Bilbao, Spain, 10-14 July 2006 (PC)
• Second Workshop on Traceability in MDD, Bilbao, Spain, 10 July 2006 (PC)
• European Workshop on Composition of Model Transformations (CMT) 2006, Bilbao, Spain, 10 July 2006 (PC).
• Workshop on Integration of Model-Driven Development and Model-Driven Testing, Bilbao, Spain, 11 July 2006 (PC).
• First International Symposium on Unifying Theories of Programming, Walworth Castle, UK, 5-7 February 2006 (PC).
• Third International Conference on Security in Pervasive Computing, York, UK, 18-21 April 2006 (PC, Publications Chair, Local Organiser)
• Integrated Formal Methods 2005, Eindhoven, December 2005 (PC)
• First European Conference on Model-Driven Architecture (EC-MDA) 2005, Nuremberg, Germany, November 2005 (PC).
• Workshop on Traceability in MDD, co-located with EC-MDA 2005 (PC).
• Seventh International Conference on Formal Engineering Methods (ICFEM) 2005, Manchester, UK, 1-4 November 2005 (PC)

Publications and Submissions

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.

L.M. Rose, D.S. Kolovos, R.F. Paige and F.A.C. Polack. Towards Automation for Managing Model and Metamodel Inconsistency, accepted and to appear 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.

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, 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.

2008

R.F. Paige. Review of Model-Driven Software Development, in Software Testing, Verification and Reliability 18(4), Wiley, December 2008.

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.

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 accepted and to appear in Dagstuhl Festschrift in Honour of Egon Boerger: Rigorous Object-Oriented Methods, Springer-Verlag, 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.

2007

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.

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.

2006

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. 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.

2005

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.

2004

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.

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.

2003

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.)

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.

2002

R.F. Paige and J.S. Ostroff. The Single Model Principle, Journal of Object Technology, 1(5):63-81, November/December 2002.

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.)

2001

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.

2000

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.

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.

1999

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.)

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.

1998 and earlier

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.

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.

Theses

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).

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.

Miscellaneous

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.