@inproceedings{RoseKDWPPF10, title = {Concordance: A Framework for Managing Model Integrity}, author = {Louis M. Rose and Dimitrios S. Kolovos and Nikolaos Drivalos and James R. Williams and Richard F. Paige and Fiona A. C. Polack and Kiran Jude Fernandes}, year = {2010}, doi = {10.1007/978-3-642-13595-8_20}, url = {http://dx.doi.org/10.1007/978-3-642-13595-8_20}, tags = {C++}, researchr = {https://researchr.org/publication/RoseKDWPPF10}, cites = {0}, citedby = {0}, pages = {245-260}, booktitle = {Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings}, editor = {Thomas Kühne and Bran Selic and Marie-Pierre Gervais and François Terrier}, volume = {6138}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-13594-1}, } @inproceedings{PoskittDPR14, title = {Towards Rigorously Faking Bidirectional Model Transformations}, author = {Christopher M. Poskitt and Mike Dodds and Richard F. Paige and Arend Rensink}, year = {2014}, url = {http://ceur-ws.org/Vol-1277/8.pdf}, researchr = {https://researchr.org/publication/PoskittDPR14}, cites = {0}, citedby = {0}, pages = {70-75}, booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014}, editor = {Jürgen Dingel and Juan de Lara and Levi Lucio and Hans Vangheluwe}, volume = {1277}, series = {CEUR Workshop Proceedings}, publisher = {CEUR-WS.org}, } @inproceedings{TorshiziOPC09, title = {The SCOOP Concurrency Model in Java-like Languages}, author = {Faraz Ahmadi Torshizi and Jonathan S. Ostroff and Richard F. Paige and Marsha Chechik}, year = {2009}, doi = {10.3233/978-1-60750-065-0-7}, url = {http://dx.doi.org/10.3233/978-1-60750-065-0-7}, tags = {Java, modeling language, language modeling}, researchr = {https://researchr.org/publication/TorshiziOPC09}, cites = {0}, citedby = {0}, pages = {7-27}, booktitle = {The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009}, editor = {Peter H. Welch and Herman W. Roebbers and Jan F. Broenink and Fred R. M. Barnes and Carl G. Ritson and Adam T. Sampson and Gardiner S. Stiles and Brian Vinter}, volume = {67}, series = {Concurrent Systems Engineering Series}, publisher = {IOS Press}, isbn = {978-1-60750-065-3}, } @inproceedings{PaigeWSB06, title = {Towards an Agile Process for Building Software Product Lines}, author = {Richard F. Paige and Xiaochen Wang and Zoë R. Stephenson and Phillip J. Brooke}, year = {2006}, doi = {10.1007/11774129_24}, url = {http://dx.doi.org/10.1007/11774129_24}, tags = {software product lines}, researchr = {https://researchr.org/publication/PaigeWSB06}, cites = {0}, citedby = {0}, pages = {198-199}, booktitle = {Extreme Programming and Agile Processes in Software Engineering, 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings}, editor = {Pekka Abrahamsson and Michele Marchesi and Giancarlo Succi}, volume = {4044}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35094-2}, } @article{BrookePP10, title = {Document-centric XML workflows with fragment digital signatures}, author = {Phillip J. Brooke and Richard F. Paige and Christopher Power}, year = {2010}, doi = {10.1002/spe.974}, url = {http://dx.doi.org/10.1002/spe.974}, tags = {XML, XML Schema, workflow}, researchr = {https://researchr.org/publication/BrookePP10}, cites = {0}, citedby = {0}, journal = {Software: Practice and Experience}, volume = {40}, number = {8}, pages = {655-672}, } @inproceedings{KolovosPP09, title = {On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages}, author = {Dimitrios S. Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2009}, doi = {10.1007/978-3-642-11447-2_13}, url = {http://dx.doi.org/10.1007/978-3-642-11447-2_13}, tags = {OCL, modeling language, language modeling, constraints, C++}, researchr = {https://researchr.org/publication/KolovosPP09}, cites = {0}, citedby = {0}, pages = {204-218}, booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday}, editor = {Jean-Raymond Abrial and Uwe Glässer}, volume = {5115}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-11446-5}, } @article{PaigeO04, title = {ERC - An object-oriented refinement calculus for Eiffel}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {2004}, doi = {10.1007/s00165-003-0024-3}, url = {http://dx/doi.org/10.1007/s00165-003-0024-3}, tags = {meta-model, refinement, Meta-Environment, Eiffel, meta-objects}, researchr = {https://researchr.org/publication/PaigeO04}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {16}, number = {1}, pages = {51-79}, } @inproceedings{ChiversP05, title = {XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language}, author = {Howard Chivers and Richard F. Paige}, year = {2005}, doi = {10.1007/11581741_16}, url = {http://dx.doi.org/10.1007/11581741_16}, tags = {bidirectional transformation, transformation language, transformation}, researchr = {https://researchr.org/publication/ChiversP05}, cites = {0}, citedby = {0}, pages = {205-219}, booktitle = {Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings}, editor = {Alan Hartman and David Kreische}, volume = {3748}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-30026-0}, } @inproceedings{TanAPMMO01, title = {Extending the message flow debugger for MQSI}, author = {Shuxia Tan and Eshrat Arjomandi and Richard F. Paige and Evan Mamas and Simon Moser and Bill O Farrell}, year = {2001}, doi = {10.1145/782096.782111}, url = {http://doi.acm.org/10.1145/782096.782111}, tags = {data-flow, debugging}, researchr = {https://researchr.org/publication/TanAPMMO01}, cites = {0}, citedby = {0}, pages = {15}, booktitle = {Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative Research, November 5-7, 2001, Toronto, Ontario, Canada}, editor = {Darlene A. Stewart and J. Howard Johnson}, publisher = {IBM}, } @inproceedings{Paige99:0, title = {Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication}, author = {Richard F. Paige}, year = {1999}, tags = {refinement}, researchr = {https://researchr.org/publication/Paige99%3A0}, cites = {0}, citedby = {0}, pages = {353-372}, booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference on Integrated Formal Methods, IFM 99, York, UK, 28-29 June 1999}, editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi}, publisher = {Springer}, isbn = {1-85233-107-0}, } @inproceedings{ChiversPG05, title = {Agile Security Using an Incremental Security Architecture}, author = {Howard Chivers and Richard F. Paige and Xiaocheng Ge}, year = {2005}, doi = {10.1007/11499053_7}, url = {http://dx.doi.org/10.1007/11499053_7}, tags = {architecture, security, incremental}, researchr = {https://researchr.org/publication/ChiversPG05}, cites = {0}, citedby = {0}, pages = {57-65}, booktitle = {Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings}, editor = {Hubert Baumeister and Michele Marchesi and Mike Holcombe}, volume = {3556}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26277-6}, } @inproceedings{RoseKPP10, title = {Model Migration with Epsilon Flock}, author = {Louis M. Rose and Dimitrios S. Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2010}, doi = {10.1007/978-3-642-13688-7_13}, url = {http://dx.doi.org/10.1007/978-3-642-13688-7_13}, tags = {meta-model, C++, migration, Epsilon, Meta-Environment}, researchr = {https://researchr.org/publication/RoseKPP10}, cites = {0}, citedby = {0}, pages = {184-198}, booktitle = {Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings}, editor = {Laurence Tratt and Martin Gogolla}, volume = {6142}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-13687-0}, } @article{FuksOP04, title = {SECG: The SCOOP-to-Eiffel Code Generator}, author = {Oleksandr Fuks and Jonathan S. Ostroff and Richard F. Paige}, year = {2004}, url = {http://www.jot.fm/issues/issue_2004_10/article3}, tags = {Eiffel}, researchr = {https://researchr.org/publication/FuksOP04}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {3}, number = {10}, pages = {143-161}, } @incollection{AbdullahPBK07, title = {Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development}, author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble}, year = {2007}, tags = {rule-based, meta-model, UML, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/AbdullahPBK07}, cites = {0}, citedby = {0}, pages = {74-89}, booktitle = {Emerging Artificial Intelligence Applications in Computer Engineering}, } @article{ChiversP09, title = {XRound: A reversible template language and its application in model-based security analysis}, author = {Howard Chivers and Richard F. Paige}, year = {2009}, doi = {10.1016/j.infsof.2008.05.006}, url = {http://dx.doi.org/10.1016/j.infsof.2008.05.006}, tags = {rule-based, modeling language, language modeling, analysis, security}, researchr = {https://researchr.org/publication/ChiversP09}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {51}, number = {5}, pages = {876-893}, } @inproceedings{Rose:MoDELS:2010, title = {A Comparison of Model Migration Tools}, author = {Louis M. Rose and Markus Herrmannsdörfer and Williams and Kolovos and Garcés and Richard F. Paige and Fiona A. C. Polack}, year = {2010}, tags = {meta-model, C++, migration, Meta-Environment}, researchr = {https://researchr.org/publication/Rose%3AMoDELS%3A2010}, cites = {0}, citedby = {0}, booktitle = {Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings}, editor = {Dorina Petriu and Nicolas Rouquette and Øystein Haugen}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @inproceedings{Zschaler-10, title = {Domain-Specific Metamodelling Languages for Software Language Engineering}, author = {Steffen Zschaler and Dimitris Kolovos and Nicholas Drivalos and Richard F. Paige and Awais Rashid}, year = {2010}, month = {mar}, tags = {language engineering, software language engineering, software engineering, domain-specific language}, researchr = {https://researchr.org/publication/Zschaler-10}, cites = {0}, citedby = {0}, booktitle = {Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers}, volume = {5969}, series = {LNCS}, publisher = {Springer}, } @inproceedings{Gruschko:MoDSE:2007, title = {Towards Synchronizing Models with Evolving Metamodels}, author = {Boris Gruschko and Dimitris Kolovos and Richard F. Paige}, year = {2007}, url = {http://www.sciences.univ-nantes.fr/MoDSE2007/p15.pdf}, tags = {model-to-model transformation, synchronization, meta-model, modeling, model-driven development, source-to-source, migration, model transformation, Meta-Environment, systematic-approach, meta-objects, transformation}, researchr = {https://researchr.org/publication/Gruschko%3AMoDSE%3A2007}, cites = {0}, citedby = {0}, booktitle = {Workshop on Model-Driven Software Evolution at CSMR 2007}, } @article{PaigeOB00, title = {Principles for modeling language design}, author = {Richard F. Paige and Jonathan S. Ostroff and Phillip J. Brooke}, year = {2000}, doi = {10.1016/S0950-5849(00)00109-9}, url = {http://dx.doi.org/10.1016/S0950-5849(00)00109-9}, tags = {meta-model, modeling language, modeling, language modeling, language design, principles, Meta-Environment, design}, researchr = {https://researchr.org/publication/PaigeOB00}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {42}, number = {10}, pages = {665-675}, } @inproceedings{RosePKP08:0, title = {The Epsilon Generation Language}, author = {Louis M. Rose and Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack}, year = {2008}, doi = {10.1007/978-3-540-69100-6_1}, url = {http://dx.doi.org/10.1007/978-3-540-69100-6_1}, tags = {C++, Epsilon}, researchr = {https://researchr.org/publication/RosePKP08%3A0}, cites = {0}, citedby = {0}, pages = {1-16}, booktitle = {Model Driven Architecture - Foundations and Applications, 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings}, editor = {Ina Schieferdecker and Alan Hartman}, volume = {5095}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-69095-5}, } @inproceedings{PaigeH99, title = {Bunches for Object-Oriented, Concurrent, and Real-Time Specification}, author = {Richard F. Paige and Eric C. R. Hehner}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1708/17080530.htm}, tags = {meta-model, C++, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/PaigeH99}, cites = {0}, citedby = {0}, pages = {530-550}, booktitle = {FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, volume = {1708}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66587-0}, } @inproceedings{KolovosRAPPB10, title = {Taming EMF and GMF Using Model Transformation}, author = {Dimitrios S. Kolovos and Louis M. Rose and Saad bin Abid and Richard F. Paige and Fiona A. C. Polack and Goetz Botterweck}, year = {2010}, doi = {10.1007/978-3-642-16145-2_15}, url = {http://dx.doi.org/10.1007/978-3-642-16145-2_15}, tags = {model-to-model transformation, meta-model, EMF, source-to-source, C++, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/KolovosRAPPB10}, cites = {0}, citedby = {0}, pages = {211-225}, booktitle = {Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I}, editor = {Dorina C. Petriu and Nicolas Rouquette and Øystein Haugen}, volume = {6394}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16144-5}, } @inproceedings{PaigeO99, title = {Developing BON as an Industrial-Strength Formal Method}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1708/17080834.htm}, researchr = {https://researchr.org/publication/PaigeO99}, cites = {0}, citedby = {0}, pages = {834-853}, booktitle = {FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I}, editor = {Jeannette M. Wing and Jim Woodcock and Jim Davies}, volume = {1708}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-66587-0}, } @article{PaigeAB06, title = {Game Development Using Design-by-Contract}, author = {Richard F. Paige and Triston S. Attridge and Phillip J. Brooke}, year = {2006}, url = {http://www.jot.fm//issues/issue_2006_09/article3}, tags = {game development, contracts, design}, researchr = {https://researchr.org/publication/PaigeAB06}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {5}, number = {7}, pages = {57-73}, } @inproceedings{Paige98:0, title = {Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space}, author = {Richard F. Paige}, year = {1998}, researchr = {https://researchr.org/publication/Paige98%3A0}, cites = {0}, citedby = {0}, pages = {214-232}, booktitle = {ZUM 98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings}, editor = {Jonathan P. Bowen and Andreas Fett and Michael G. Hinchey}, volume = {1493}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-65070-9}, } @inproceedings{PaigeO98, title = {From Z to BON/Eiffel}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {1998}, url = {http://dlib.computer.org/conferen/ase/8750/pdf/87500209.pdf}, tags = {Eiffel}, researchr = {https://researchr.org/publication/PaigeO98}, cites = {0}, citedby = {0}, pages = {209-212}, booktitle = {ASE}, } @inproceedings{WilliamsPP10, title = {Formal Analysis in Model Management: Exploiting the Power of CZT}, author = {James R. Williams and Fiona A. C. Polack and Richard F. Paige}, year = {2010}, doi = {10.1007/978-3-642-11811-1_46}, url = {http://dx.doi.org/10.1007/978-3-642-11811-1_46}, tags = {analysis, C++}, researchr = {https://researchr.org/publication/WilliamsPP10}, cites = {0}, citedby = {0}, pages = {414}, booktitle = {Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings}, editor = {Marc Frappier and Uwe Glässer and Sarfraz Khurshid and Régine Laleau and Steve Reeves}, volume = {5977}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-11810-4}, } @inproceedings{BezivinBFGJKKP06, title = {A Canonical Scheme for Model Composition}, author = {Jean Bézivin and Salim Bouzitouna and Marcos Didonet Del Fabro and Marie-Pierre Gervais and Frédéric Jouault and Dimitris Kolovos and Ivan Kurtev and Richard F. Paige}, year = {2006}, doi = {10.1007/11787044_26}, url = {http://dx.doi.org/10.1007/11787044_26}, tags = {meta-model, composition, Meta-Environment}, researchr = {https://researchr.org/publication/BezivinBFGJKKP06}, cites = {0}, citedby = {0}, pages = {346-360}, booktitle = {Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings}, editor = {Arend Rensink and Jos Warmer}, volume = {4066}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35909-5}, } @inproceedings{DrivalosKPF08, title = {Engineering a DSL for Software Traceability}, author = {Nikolaos Drivalos and Dimitris Kolovos and Richard F. Paige and Kiran J. Fernandes}, year = {2008}, doi = {10.1007/978-3-642-00434-6_10}, url = {http://dx.doi.org/10.1007/978-3-642-00434-6_10}, tags = {software engineering, DSL}, researchr = {https://researchr.org/publication/DrivalosKPF08}, cites = {0}, citedby = {0}, pages = {151-167}, booktitle = {Software Language Engineering, First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers}, editor = {Dragan Gasevic and Ralf Lämmel and Eric {Van Wyk}}, volume = {5452}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-00433-9}, } @inproceedings{GePPCB06, title = {Agile development of secure web applications}, author = {Xiaocheng Ge and Richard F. Paige and Fiona A. C. Polack and Howard Chivers and Phillip J. Brooke}, year = {2006}, doi = {10.1145/1145581.1145641}, url = {http://doi.acm.org/10.1145/1145581.1145641}, tags = {C++, web applications}, researchr = {https://researchr.org/publication/GePPCB06}, cites = {0}, citedby = {0}, pages = {305-312}, booktitle = {Proceedings of the 6th International Conference on Web Engineering, ICWE 2006, Palo Alto, California, USA, July 11-14, 2006}, editor = {David Wolber and Neil Calder and Christopher H. Brooks and Athula Ginige}, publisher = {ACM}, isbn = {1-59593-352-2}, } @inproceedings{AydalPUW09, title = {Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation}, author = {Emine G. Aydal and Richard F. Paige and Mark Utting and Jim Woodcock}, year = {2009}, doi = {10.1109/ICST.2009.20}, url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.20}, tags = {rule-based, testing}, researchr = {https://researchr.org/publication/AydalPUW09}, cites = {0}, citedby = {0}, pages = {131-140}, booktitle = {ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3601-9}, } @inproceedings{OstroffMP04, title = {Agile Specification-Driven Development}, author = {Jonathan S. Ostroff and David Makalsky and Richard F. Paige}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3092&spage=104}, tags = {meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/OstroffMP04}, cites = {0}, citedby = {0}, pages = {104-112}, booktitle = {Extreme Programming and Agile Processes in Software Engineering, 5th International Conference, XP 2004, Garmisch-Partenkirchen, Germany, June 6-10, 2004, Proceedings}, editor = {Jutta Eckstein and Hubert Baumeister}, volume = {3092}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-22137-9}, } @article{OstroffPMB05, title = {E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel}, author = {Jonathan S. Ostroff and Richard F. Paige and David Makalsky and Phillip J. Brooke}, year = {2005}, url = {http://www.jot.fm/issues/issue_2005_09/article4}, tags = {rule-based, contracts, testing, e-science, context-aware, Eiffel}, researchr = {https://researchr.org/publication/OstroffPMB05}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {4}, number = {7}, pages = {97-114}, } @inproceedings{PaigeCMS05, title = {High-integrity extreme programming}, author = {Richard F. Paige and Howard Chivers and John A. McDermid and Zoë R. Stephenson}, year = {2005}, doi = {10.1145/1066677.1067019}, url = {http://doi.acm.org/10.1145/1066677.1067019}, tags = {extreme programming, programming}, researchr = {https://researchr.org/publication/PaigeCMS05}, cites = {0}, citedby = {0}, pages = {1518-1523}, booktitle = {Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005}, editor = {Hisham Haddad and Lorie M. Liebrock and Andrea Omicini and Roger L. Wainwright}, publisher = {ACM}, isbn = {1-58113-964-0}, } @inproceedings{AbdullahBPK07, title = {Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems}, author = {Mohd Syazwan Abdullah and Ian D. Benest and Richard F. Paige and Chris Kimble}, year = {2007}, doi = {10.1007/978-3-540-75563-0_30}, url = {http://dx.doi.org/10.1007/978-3-540-75563-0_30}, tags = {rule-based, meta-model, modeling language, modeling, language modeling, Meta-Environment}, researchr = {https://researchr.org/publication/AbdullahBPK07}, cites = {0}, citedby = {0}, pages = {438-453}, booktitle = {Conceptual Modeling - ER 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings}, editor = {Christine Parent and Klaus-Dieter Schewe and Veda C. Storey and Bernhard Thalheim}, volume = {4801}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-75562-3}, } @inproceedings{BrookeP07, title = {Lazy Exploration and Checking of CSP Models with CSPsim}, author = {Phillip J. Brooke and Richard F. Paige}, year = {2007}, tags = {laziness, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/BrookeP07}, cites = {0}, citedby = {0}, pages = {33-49}, booktitle = {The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007}, editor = {Alistair A. McEwan and Steve A. Schneider and Wilson Ifill and Peter H. Welch}, volume = {65}, series = {Concurrent Systems Engineering Series}, publisher = {IOS Press}, isbn = {978-1-58603-767-3}, } @inproceedings{TreharneTPK09, title = {Automatic Generation of Integrated Formal Models Corresponding to UML System Models}, author = {Helen Treharne and Edward Turner and Richard F. Paige and Dimitrios S. Kolovos}, year = {2009}, doi = {10.1007/978-3-642-02571-6_21}, url = {http://dx.doi.org/10.1007/978-3-642-02571-6_21}, tags = {meta-model, UML, Meta-Environment}, researchr = {https://researchr.org/publication/TreharneTPK09}, cites = {0}, citedby = {0}, pages = {357-367}, booktitle = {Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings}, editor = {Manuel Oriol and Bertrand Meyer}, volume = {33}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-642-02570-9}, } @inproceedings{ConmyP07, title = {Model-driven Development of Particle System Families}, author = {Philippa Conmy and Richard F. Paige}, year = {2007}, doi = {10.1109/MOMPES.2007.4}, url = {http://dx.doi.org/10.1109/MOMPES.2007.4}, tags = {meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/ConmyP07}, cites = {0}, citedby = {0}, pages = {127-136}, booktitle = {Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings}, editor = {João M. Fernandes and Ricardo Jorge Machado and Ridha Khédri and siobhán-clarke}, publisher = {IEEE Computer Society}, isbn = {0-7695-2769-8}, } @article{BrookePJ07, title = {A CSP model of Eiffel s SCOOP}, author = {Phillip J. Brooke and Richard F. Paige and Jeremy L. Jacob}, year = {2007}, doi = {10.1007/s00165-007-0033-8}, url = {http://dx.doi.org/10.1007/s00165-007-0033-8}, tags = {meta-model, Meta-Environment, Eiffel}, researchr = {https://researchr.org/publication/BrookePJ07}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {19}, number = {4}, pages = {487-512}, } @inproceedings{and-Louis-M.-Rose-and-Richard-F.-Paige:TTC:2010, title = {An Implementation of the Ecore to GenModel Case Study using the Epsilon Transformation Language}, author = {Dimitrios S. Kolovos and Louis M. Rose and Richard F. Paige and Juan de Lara}, year = {2010}, tags = {case study, transformation language, Epsilon, transformation}, researchr = {https://researchr.org/publication/and-Louis-M.-Rose-and-Richard-F.-Paige%3ATTC%3A2010}, cites = {0}, citedby = {0}, booktitle = {Transformation Tool Contest}, editor = {Pieter Van Gorp and Steffen Mazanek and Arend Rensink}, address = {Malaga}, } @article{BrookeP07-0, title = {Exceptions in Concurrent Eiffel}, author = {Phillip J. Brooke and Richard F. Paige}, year = {2007}, doi = {10.5381/jot.2007.6.10.a4}, url = {http://dx.doi.org/10.5381/jot.2007.6.10.a4}, tags = {exceptions, Eiffel}, researchr = {https://researchr.org/publication/BrookeP07-0}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {6}, number = {10}, pages = {111-126}, } @article{Rose:ASE:2009, title = {Enhanced Automation for Managing Model and Metamodel Inconsistency}, author = {Louis M. Rose and Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2009}, doi = {10.1109/ASE.2009.57}, url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57}, tags = {Eclipse, model checking, meta-model, modeling, EMF, model-driven engineering, C++, consistency, Meta-Environment, MDE, systematic-approach}, researchr = {https://researchr.org/publication/Rose%3AASE%3A2009}, cites = {0}, citedby = {0}, journal = {Automated Software Engineering, International Conference on}, volume = {0}, } @inproceedings{GuerraLKP10, title = {Inter-modelling: From Theory to Practice}, author = {Esther Guerra and Juan de Lara and Dimitrios S. Kolovos and Richard F. Paige}, year = {2010}, doi = {10.1007/978-3-642-16145-2_26}, url = {http://dx.doi.org/10.1007/978-3-642-16145-2_26}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/GuerraLKP10}, cites = {0}, citedby = {0}, pages = {376-391}, booktitle = {Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I}, editor = {Dorina C. Petriu and Nicolas Rouquette and Øystein Haugen}, volume = {6394}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16144-5}, } @inproceedings{PaigeO01, title = {Metamodelling and Conformance Checking with PVS}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2029/20290002.htm}, researchr = {https://researchr.org/publication/PaigeO01}, cites = {0}, citedby = {0}, pages = {2-16}, booktitle = {Fundamental Approaches to Software Engineering, FASE 2001 }, editor = {Heinrich Hußmann}, volume = {2029}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-41863-6}, } @inproceedings{CakicP06, title = {Origins of the Grid Architectural Style}, author = {Jovan Cakic and Richard F. Paige}, year = {2006}, doi = {10.1109/ICECCS.2006.67}, url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.67}, tags = {architecture}, researchr = {https://researchr.org/publication/CakicP06}, cites = {0}, citedby = {0}, pages = {227-235}, booktitle = {11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 15-17 August 2006, Stanford, California, USA}, publisher = {IEEE Computer Society}, isbn = {0-7695-2530-X}, } @inproceedings{AbdullahPBK05, title = {Unified Modeling Language for Knowledge Modelling}, author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble}, year = {2005}, tags = {meta-model, modeling language, modeling, language modeling, Meta-Environment}, researchr = {https://researchr.org/publication/AbdullahPBK05}, cites = {0}, citedby = {0}, pages = {952-957}, booktitle = {2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2005), 28-30 November 2005, Vienna, Austria}, publisher = {IEEE Computer Society}, isbn = {0-7695-2504-0}, } @article{Paige99:1, title = {When are methods complementary?}, author = {Richard F. Paige}, year = {1999}, researchr = {https://researchr.org/publication/Paige99%3A1}, cites = {0}, citedby = {0}, journal = {Information \& Software Technology}, volume = {41}, number = {3}, pages = {157-162}, } @article{RamsinP10, title = {Iterative criteria-based approach to engineering the requirements of software development methodologies}, author = {Raman Ramsin and Richard F. Paige}, year = {2010}, doi = {10.1049/iet-sen.2009.0032}, url = {http://dx.doi.org/10.1049/iet-sen.2009.0032}, tags = {rule-based, requirements engineering, software engineering, iterative development, systematic-approach}, researchr = {https://researchr.org/publication/RamsinP10}, cites = {0}, citedby = {0}, journal = {IEE Proceedings - Software}, volume = {4}, number = {2}, pages = {91-104}, } @inproceedings{AbdullahPBK06:0, title = {Knowledge Modelling Using The UML Profile}, author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble}, year = {2006}, doi = {10.1007/0-387-34224-9_9}, url = {http://dx.doi.org/10.1007/0-387-34224-9_9}, tags = {meta-model, UML, Meta-Environment}, researchr = {https://researchr.org/publication/AbdullahPBK06%3A0}, cites = {0}, citedby = {0}, pages = {70-77}, booktitle = {Artificial Intelligence Applications and Innovations, 3rd IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI) 2006, June 7-9, 2006, Athens, Greece}, editor = {Ilias Maglogiannis and Kostas Karpouzis and Max Bramer}, volume = {204}, series = {IFIP}, publisher = {Springer}, isbn = {0-387-34223-0}, } @inproceedings{Paige97, title = {A Meta-Method for Formal Method Integration}, author = {Richard F. Paige}, year = {1997}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Paige97}, cites = {0}, citedby = {0}, pages = {473-494}, booktitle = {FME 97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings}, editor = {John S. Fitzgerald and Cliff B. Jones and Peter Lucas}, volume = {1313}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63533-5}, } @inproceedings{RadjenovicP08, title = {The Role of Dependency Links in Ensuring Architectural View Consistency}, author = {Alek Radjenovic and Richard F. Paige}, year = {2008}, doi = {10.1109/WICSA.2008.30}, url = {http://doi.ieeecomputersociety.org/10.1109/WICSA.2008.30}, tags = {architecture, consistency}, researchr = {https://researchr.org/publication/RadjenovicP08}, cites = {0}, citedby = {0}, pages = {199-208}, booktitle = {Seventh Working IEEE / IFIP Conference on Software Architecture (WICSA 2008), 18-22 February 2008, Vancouver, BC, Canada}, publisher = {IEEE Computer Society}, } @inproceedings{KolovosPP06:0, title = {The Epsilon Object Language (EOL)}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2006}, doi = {10.1007/11787044_11}, url = {http://dx.doi.org/10.1007/11787044_11}, tags = {meta-model, C++, Epsilon, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/KolovosPP06%3A0}, cites = {0}, citedby = {0}, pages = {128-142}, booktitle = {Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings}, editor = {Arend Rensink and Jos Warmer}, volume = {4066}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35909-5}, } @inproceedings{PaigeCGB08, title = {Towards Agile Engineering of High-Integrity Systems}, author = {Richard F. Paige and Ramon Charalambous and Xiaocheng Ge and Phillip J. Brooke}, year = {2008}, doi = {10.1007/978-3-540-87698-4_6}, url = {http://dx.doi.org/10.1007/978-3-540-87698-4_6}, researchr = {https://researchr.org/publication/PaigeCGB08}, cites = {0}, citedby = {0}, pages = {30-43}, booktitle = {Computer Safety, Reliability, and Security, 27th International Conference, SAFECOMP 2008, Newcastle upon Tyne, UK, September 22-25, 2008, Proceedings}, editor = {Michael D. Harrison and Mark-Alexander Sujan}, volume = {5219}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-87697-7}, } @article{PaigeBO07, title = {Metamodel-based model conformance and multiview consistency checking}, author = {Richard F. Paige and Phillip J. Brooke and Jonathan S. Ostroff}, year = {2007}, doi = {10.1145/1243987.1243989}, url = {http://doi.acm.org/10.1145/1243987.1243989}, tags = {rule-based, model checking, meta-model, consistency, Meta-Environment}, researchr = {https://researchr.org/publication/PaigeBO07}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Software Engineering Methodology}, volume = {16}, number = {3}, pages = {11}, } @inproceedings{PaigeRGKB08, title = {FPTC: Automated Safety Analysis for Domain-Specific Languages}, author = {Richard F. Paige and Louis M. Rose and Xiaocheng Ge and Dimitris Kolovos and Phillip J. Brooke}, year = {2008}, doi = {10.1007/978-3-642-01648-6_25}, url = {http://dx.doi.org/10.1007/978-3-642-01648-6_25}, tags = {domain analysis, analysis, domain-specific language}, researchr = {https://researchr.org/publication/PaigeRGKB08}, cites = {0}, citedby = {0}, pages = {229-242}, booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers}, editor = {Michel R. V. Chaudron}, volume = {5421}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-01647-9}, } @inproceedings{RoseHWKGPP10, title = {A Comparison of Model Migration Tools}, author = {Louis M. Rose and Markus Herrmannsdörfer and James R. Williams and Dimitrios S. Kolovos and Kelly Garcés and Richard F. Paige and Fiona A. C. Polack}, year = {2010}, doi = {10.1007/978-3-642-16145-2_5}, url = {http://dx.doi.org/10.1007/978-3-642-16145-2_5}, tags = {meta-model, C++, migration, Meta-Environment}, researchr = {https://researchr.org/publication/RoseHWKGPP10}, cites = {0}, citedby = {0}, pages = {61-75}, booktitle = {Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I}, editor = {Dorina C. Petriu and Nicolas Rouquette and Øystein Haugen}, volume = {6394}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16144-5}, } @inproceedings{KolovosPP08:0, title = {The Epsilon Transformation Language}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2008}, doi = {10.1007/978-3-540-69927-9_4}, url = {http://dx.doi.org/10.1007/978-3-540-69927-9_4}, tags = {transformation language, C++, Epsilon, transformation}, researchr = {https://researchr.org/publication/KolovosPP08%3A0}, cites = {0}, citedby = {0}, pages = {46-60}, booktitle = {Theory and Practice of Model Transformations, First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008, Proceedings}, editor = {Antonio Vallecillo and Jeffrey G. Gray and Alfonso Pierantonio}, volume = {5063}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-69926-2}, } @inproceedings{ClowesKHRPJDP10, title = {A Reflective Approach to Model-Driven Web Engineering}, author = {Darren Clowes and Dimitrios S. Kolovos and Chris Holmes and Louis M. Rose and Richard F. Paige and Julian Johnson and Ray Dawson and Steve G. Probets}, year = {2010}, doi = {10.1007/978-3-642-13595-8_7}, url = {http://dx.doi.org/10.1007/978-3-642-13595-8_7}, tags = {meta-model, web engineering, model-driven engineering, Meta-Environment, systematic-approach}, researchr = {https://researchr.org/publication/ClowesKHRPJDP10}, cites = {0}, citedby = {0}, pages = {62-73}, booktitle = {Modelling Foundations and Applications, 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010. Proceedings}, editor = {Thomas Kühne and Bran Selic and Marie-Pierre Gervais and François Terrier}, volume = {6138}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-13594-1}, } @article{PaigeKOL02, title = {BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning}, author = {Richard F. Paige and Liliya Kaminskaya and Jonathan S. Ostroff and Jason Lancaric}, year = {2002}, url = {http://www.jot.fm/issues/issue_2002_08/article5}, researchr = {https://researchr.org/publication/PaigeKOL02}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {1}, number = {3}, pages = {77-96}, } @inproceedings{PaigeKP06, title = {An action semantics for MOF 2.0}, author = {Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack}, year = {2006}, doi = {10.1145/1141277.1141579}, url = {http://doi.acm.org/10.1145/1141277.1141579}, tags = {semantics, action semantics, C++}, researchr = {https://researchr.org/publication/PaigeKP06}, cites = {0}, citedby = {0}, pages = {1304-1305}, booktitle = {Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006}, editor = {Hisham Haddad}, publisher = {ACM}, isbn = {1-59593-108-2}, } @article{PaigeDrivalosKolovosFernandesPowerOlsenZschaler2010, title = {Rigorous Identification and Encoding of Trace-Links in Model-Driven Engineering}, author = {Richard F. Paige and Nikolaos Drivalos and Dimitris Kolovos and Kiran J. Fernandes and Christopher Power and Goran K. Olsen and Steffen Zschaler}, year = {2010}, doi = {10.1007/s10270-010-0158-8}, tags = {meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/PaigeDrivalosKolovosFernandesPowerOlsenZschaler2010}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, } @inproceedings{GePM09, title = {Domain analysis on an electronic health records system}, author = {Xiaocheng Ge and Richard F. Paige and John A. McDermid}, year = {2009}, doi = {10.1145/1629716.1629727}, url = {http://doi.acm.org/10.1145/1629716.1629727}, tags = {domain analysis, analysis}, researchr = {https://researchr.org/publication/GePM09}, cites = {0}, citedby = {0}, pages = {49-54}, booktitle = {Proceedings of the First International Workshop on Feature-Oriented Software Development, FOSD 2009, Denver, Colorado, USA, October 6, 2009}, editor = {Sven Apel and William R. Cook and Krzysztof Czarnecki and Christian Kästner and Neil Loughran and Oscar Nierstrasz}, series = {ACM International Conference Proceeding Series}, publisher = {ACM}, isbn = {978-1-60558-567-3}, } @inproceedings{PowerP09, title = {Content Personalization for Inclusive Education through Model-Driven Engineering}, author = {Christopher Power and Richard F. Paige}, year = {2009}, doi = {10.1007/978-3-642-02713-0_11}, url = {http://dx.doi.org/10.1007/978-3-642-02713-0_11}, tags = {meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/PowerP09}, cites = {0}, citedby = {0}, pages = {102-109}, booktitle = {Universal Access in Human-Computer Interaction. Applications and Services, 5th International Conference, UAHCI 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings, Part III}, editor = {Constantine Stephanidis}, volume = {5616}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-02712-3}, } @inproceedings{GuerraLKPS10, title = {::::trans::::ML: A Family of Languages to Model Model Transformations}, author = {Esther Guerra and Juan de Lara and Dimitrios S. Kolovos and Richard F. Paige and Osmar Marchi dos Santos}, year = {2010}, doi = {10.1007/978-3-642-16145-2_8}, url = {http://dx.doi.org/10.1007/978-3-642-16145-2_8}, tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/GuerraLKPS10}, cites = {0}, citedby = {0}, pages = {106-120}, booktitle = {Model Driven Engineering Languages and Systems - 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I}, editor = {Dorina C. Petriu and Nicolas Rouquette and Øystein Haugen}, volume = {6394}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-16144-5}, } @article{PaigeOB03, title = {Theorem Proving Support for View Consistency Checking}, author = {Richard F. Paige and Jonathan S. Ostroff and Phillip J. Brooke}, year = {2003}, url = {http://objet.revuesonline.com/article.jsp?articleId=3633}, tags = {consistency}, researchr = {https://researchr.org/publication/PaigeOB03}, cites = {0}, citedby = {0}, journal = {L OBJET}, volume = {9}, number = {4}, pages = {115-134}, } @inproceedings{Guerra:MoDELS:2010, title = {Inter-Modelling: from Theory to Practice}, author = {Esther Guerra and de Lara and Kolovos and Richard F. Paige}, year = {2010}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/Guerra%3AMoDELS%3A2010}, cites = {0}, citedby = {0}, booktitle = {Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings}, editor = {Dorina Petriu and Nicolas Rouquette and Øystein Haugen}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @inproceedings{EngelPK06, title = {Using a Model Merging Language for Reconciling Model Versions}, author = {Klaus D. Engel and Richard F. Paige and Dimitris Kolovos}, year = {2006}, doi = {10.1007/11787044_12}, url = {http://dx.doi.org/10.1007/11787044_12}, tags = {meta-model, modeling language, modeling, language modeling, Meta-Environment}, researchr = {https://researchr.org/publication/EngelPK06}, cites = {0}, citedby = {0}, pages = {143-157}, booktitle = {Model Driven Architecture - Foundations and Applications, Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006, Proceedings}, editor = {Arend Rensink and Jos Warmer}, volume = {4066}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35909-5}, } @article{Paige99, title = {Integrating a Program Design Calculus and a Subset of UML}, author = {Richard F. Paige}, year = {1999}, tags = {UML, design}, researchr = {https://researchr.org/publication/Paige99}, cites = {0}, citedby = {0}, journal = {Comput. J.}, volume = {42}, number = {2}, pages = {82-99}, } @inproceedings{PaigeB05, title = {Agile Formal Method Engineering}, author = {Richard F. Paige and Phillip J. Brooke}, year = {2005}, doi = {10.1007/11589976_8}, url = {http://dx.doi.org/10.1007/11589976_8}, researchr = {https://researchr.org/publication/PaigeB05}, cites = {0}, citedby = {0}, pages = {109-128}, booktitle = {Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings}, editor = {Judi Romijn and Graeme Smith and Jaco van de Pol}, volume = {3771}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-30492-4}, } @inproceedings{PaigeO99:0, title = {A Comparison of the Business Object Notation and the Unified Modelling Language}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {1999}, tags = {meta-model, modeling language, language modeling, UML, object-role modeling, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/PaigeO99%3A0}, cites = {0}, citedby = {0}, pages = {67-82}, booktitle = {«UML» 99: The Unified Modeling Language - Beyond the Standard, Second International Conference, Fort Collins, CO, USA, October 28-30, 1999, Proceedings}, editor = {Robert B. France and Bernhard Rumpe}, volume = {1723}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @inproceedings{PaigeO04:0, title = {Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3294&spage=107}, tags = {teaching, Eiffel, design}, researchr = {https://researchr.org/publication/PaigeO04%3A0}, cites = {0}, citedby = {0}, pages = {107-123}, booktitle = {Teaching Formal Methods, CoLogNET/FME Symposium, TFM 2004, Ghent, Belgium, November 18-19, 2004, Proceedings}, editor = {C. Neville Dean and Raymond T. Boute}, volume = {3294}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-23611-2}, } @article{Paige08, title = {Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700}, author = {Richard F. Paige}, year = {2008}, doi = {10.1002/stvr.378}, url = {http://dx.doi.org/10.1002/stvr.378}, tags = {meta-model, model-driven development, Meta-Environment}, researchr = {https://researchr.org/publication/Paige08}, cites = {0}, citedby = {0}, journal = {Softw. Test., Verif. Reliab.}, volume = {18}, number = {4}, pages = {251-252}, } @inproceedings{AbdullahPKB07, title = {A UML Profile for Knowledge-Based Systems Modelling}, author = {Mohd Syazwan Abdullah and Richard F. Paige and Chris Kimble and Ian D. Benest}, year = {2007}, doi = {10.1109/SERA.2007.36}, url = {http://doi.ieeecomputersociety.org/10.1109/SERA.2007.36}, tags = {rule-based, UML}, researchr = {https://researchr.org/publication/AbdullahPKB07}, cites = {0}, citedby = {0}, pages = {871-878}, booktitle = {5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea}, publisher = {IEEE Computer Society}, } @article{PaigeB09, title = {Editorial}, author = {Richard F. Paige and Phillip J. Brooke}, year = {2009}, doi = {10.1007/s00165-009-0113-z}, url = {http://dx.doi.org/10.1007/s00165-009-0113-z}, researchr = {https://researchr.org/publication/PaigeB09}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {21}, number = {4}, pages = {303}, } @article{PaigeO02, title = {The Single Model Principle}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {2002}, url = {http://www.jot.fm/issues/issue_2002_11/column6}, tags = {meta-model, Meta-Environment, single model principle}, researchr = {https://researchr.org/publication/PaigeO02}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {1}, number = {5}, pages = {63-81}, } @inproceedings{Kolovos:MoDELS:2010, title = {Taming EMF and GMF Using Model Transformation}, author = {Kolovos and Louis M. Rose and Abid and Richard F. Paige and Fiona A. C. Polack and Botterweck}, year = {2010}, tags = {model-to-model transformation, meta-model, EMF, source-to-source, C++, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/Kolovos%3AMoDELS%3A2010}, cites = {0}, citedby = {0}, booktitle = {Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings}, editor = {Dorina Petriu and Nicolas Rouquette and Øystein Haugen}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @inproceedings{RadjenovicP06:0, title = {The View Glue}, author = {Alek Radjenovic and Richard F. Paige}, year = {2006}, doi = {10.1007/978-3-540-74035-3_4}, url = {http://dx.doi.org/10.1007/978-3-540-74035-3_4}, researchr = {https://researchr.org/publication/RadjenovicP06%3A0}, cites = {0}, citedby = {0}, pages = {66-88}, booktitle = {Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops]}, editor = {Rogério de Lemos and Cristina Gacek and Alexander B. Romanovsky}, volume = {4615}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-74033-9}, } @article{AydalPW08, title = {Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse}, author = {Emine G. Aydal and Richard F. Paige and Jim Woodcock}, year = {2008}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/102}, tags = {OCL}, researchr = {https://researchr.org/publication/AydalPW08}, cites = {0}, citedby = {0}, journal = {ECEASST}, volume = {9}, } @inproceedings{Wimmer-ICMT-2011, title = {A Comparison of Rule Inheritance in Model-to-Model Transformation Languages}, author = {Manuel Wimmer and Gerti Kappel and Angelika Kusel and Werner Retschitzegger and Johannes Schoenboeck and Wieland Schwinger and Dimitris Kolovos and Richard F. Paige and Marius Lauder and Andy Schürr and Dennis Wagelaar}, year = {2011}, tags = {model-to-model transformation, semantics, rule-based, transformation engineering, application framework, model checking, meta-model, modeling language, modeling, language engineering, transformation language, ATL, language modeling, constraints, reuse, little language, source-to-source, rules, model-driven engineering, object-role modeling, compiler, model transformation, Meta-Environment, open-source, transformation}, researchr = {https://researchr.org/publication/Wimmer-ICMT-2011}, cites = {0}, citedby = {0}, pages = {31-46}, booktitle = {Theory and Practice of Model Transformations, Fourth International Conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011. Proceedings}, editor = {Jordi Cabot and Eelco Visser}, volume = {6707}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @inproceedings{PaigeOlsenKolovosZschalerPower08, title = {Building Model-Driven Engineering Traceability Classifications}, author = {Richard F. Paige and Goran Olsen and Dimitris Kolovos and Steffen Zschaler and Christopher Power}, year = {2008}, tags = {classification, meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/PaigeOlsenKolovosZschalerPower08}, cites = {0}, citedby = {0}, booktitle = {4th ECMDA Traceability Workshop}, } @inproceedings{PaigeAB03, title = {Combining Agile Practices with UML and EJB: A Case Study in Agile Development}, author = {Richard F. Paige and Priyanka Agarwal and Phillip J. Brooke}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2675&spage=351}, tags = {case study, UML}, researchr = {https://researchr.org/publication/PaigeAB03}, cites = {0}, citedby = {0}, pages = {351-353}, booktitle = {Extreme Programming and Agile Processes in Software Engineering, 4th International Conference, XP 2003, Genova, Italy, May 25-29, 2003 Proceedings}, editor = {Michele Marchesi and Giancarlo Succi}, volume = {2675}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-40215-2}, } @inproceedings{LaurensPBC07, title = {A Novel Approach to the Detection of Cheating in Multiplayer Online Games}, author = {Peter Laurens and Richard F. Paige and Phillip J. Brooke and Howard Chivers}, year = {2007}, doi = {10.1109/ICECCS.2007.11}, url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.11}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/LaurensPBC07}, cites = {0}, citedby = {0}, pages = {97-106}, booktitle = {12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-2895-3}, } @inproceedings{JohannesZFCKP09, title = {Abstracting Complex Languages through Transformation and Composition}, author = {Jendrik Johannes and Steffen Zschaler and Miguel A. Fernández and Antonio Castillo and Dimitris Kolovos and Richard F. Paige}, year = {2009}, doi = {10.1007/978-3-642-04425-0_41}, url = {http://dx.doi.org/10.1007/978-3-642-04425-0_41}, tags = {transformation language, composition, transformation}, researchr = {https://researchr.org/publication/JohannesZFCKP09}, cites = {0}, citedby = {0}, pages = {546-550}, booktitle = {Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings}, editor = {Andy Schürr and Bran Selic}, volume = {5795}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-04424-3}, } @inproceedings{RosePKP08, title = {Constructing Models with the Human-Usable Textual Notation}, author = {Louis M. Rose and Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack}, year = {2008}, doi = {10.1007/978-3-540-87875-9_18}, url = {http://dx.doi.org/10.1007/978-3-540-87875-9_18}, tags = {C++}, researchr = {https://researchr.org/publication/RosePKP08}, cites = {0}, citedby = {0}, pages = {249-263}, booktitle = {Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings}, editor = {Krzysztof Czarnecki and Ileana Ober and Jean-Michel Bruel and Axel Uhl and Markus Völter}, volume = {5301}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-87874-2}, } @article{PaigeB04, title = {Integrating BON and Object-Z}, author = {Richard F. Paige and Phillip J. Brooke}, year = {2004}, url = {http://www.jot.fm/issues/issue_2004_03/article3.pdf}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/PaigeB04}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {3}, number = {3}, pages = {121-141}, } @inproceedings{AydalPW07, title = {Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse}, author = {Emine G. Aydal and Richard F. Paige and Jim Woodcock}, year = {2007}, doi = {10.1007/978-3-540-69073-3_21}, url = {http://dx.doi.org/10.1007/978-3-540-69073-3_21}, tags = {OCL}, researchr = {https://researchr.org/publication/AydalPW07}, cites = {0}, citedby = {0}, pages = {194-205}, booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers}, editor = {Holger Giese}, volume = {5002}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-69069-6}, } @techreport{AbstractDSMLTechReport, title = {Abstracting Complex Languages through Transformation and Composition}, author = {Jendrik Johannes and Steffen Zschaler and Miguel A. Fern{'a}ndez and Antonio Castillo and Dimitris Kolovos and Richard F. Paige}, year = {2009}, url = {ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf}, tags = {transformation language, composition, transformation}, researchr = {https://researchr.org/publication/AbstractDSMLTechReport}, cites = {0}, citedby = {0}, institution = {Technische Universit{\"a}t Dresden}, number = {TUD-FI09-08 July 2009}, address = {ftp://ftp.inf.tu-dresden.de/pub/berichte/tud09-08.pdf}, } @article{RamsinP08, title = {Process-centered review of object oriented software development methodologies}, author = {Raman Ramsin and Richard F. Paige}, year = {2008}, doi = {10.1145/1322432.1322435}, url = {http://doi.acm.org/10.1145/1322432.1322435}, tags = {reviewing}, researchr = {https://researchr.org/publication/RamsinP08}, cites = {0}, citedby = {0}, journal = {ACM Computing Surveys}, volume = {40}, number = {1}, } @inproceedings{Kolovos:TTC:2010, title = {Ecore to GenModel Case Study}, author = {Dimitrios S. Kolovos and Louis M. Rose and Richard F. Paige and Juan de Lara}, year = {2010}, tags = {model-to-model transformation, rule-based, Java, Eclipse, case study, model editor, meta-model, modeling language, modeling, transformation language, language modeling, EMF, source-to-source, C++, code generation, model transformation, information models, Meta-Environment, higher-order transformations, process modeling, transformation}, researchr = {https://researchr.org/publication/Kolovos%3ATTC%3A2010}, cites = {0}, citedby = {0}, booktitle = {Transformation Tool Contest}, editor = {Pieter Van Gorp and Steffen Mazanek and Arend Rensink}, address = {Malaga}, } @inproceedings{KolovosPP08, title = {Detecting and Repairing Inconsistencies across Heterogeneous Models}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2008}, doi = {10.1109/ICST.2008.23}, url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2008.23}, tags = {C++}, researchr = {https://researchr.org/publication/KolovosPP08}, cites = {0}, citedby = {0}, pages = {356-364}, booktitle = {First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008}, publisher = {IEEE Computer Society}, } @inproceedings{AbdullahPBK06, title = {Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development}, author = {Mohd Syazwan Abdullah and Richard F. Paige and Ian D. Benest and Chris Kimble}, year = {2006}, tags = {meta-model, architecture, UML, model-driven development, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/AbdullahPBK06}, cites = {0}, citedby = {0}, pages = {74-81}, booktitle = {ICEIS 2006 - Proceedings of the Eighth International Conference on Enterprise Information Systems: Databases and Information Systems Integration, Paphos, Cyprus, May 23-27, 2006}, editor = {Yannis Manolopoulos and Joaquim Filipe and Panos Constantopoulos and José Cordeiro}, isbn = {972-8865-41-4}, } @inproceedings{SantosWPK09, title = {The Use of Model Transformation in the INESS Project}, author = {Osmar Marchi dos Santos and Jim Woodcock and Richard F. Paige and Steve King}, year = {2009}, doi = {10.1007/978-3-642-17071-3_8}, url = {http://dx.doi.org/10.1007/978-3-642-17071-3_8}, tags = {model-to-model transformation, meta-model, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/SantosWPK09}, cites = {0}, citedby = {0}, pages = {147-165}, booktitle = {Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers}, editor = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel}, volume = {6286}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-17070-6}, } @inproceedings{Rose:MCCM:2009, title = {An Analysis of Approaches to Model Migration}, author = {Louis M. Rose and Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack}, year = {2009}, tags = {meta-model, modeling, architecture, analysis, EMF, C++, migration, consistency, Meta-Environment, MDE, systematic-approach}, researchr = {https://researchr.org/publication/Rose%3AMCCM%3A2009}, cites = {0}, citedby = {1}, booktitle = {Proc. Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems}, } @inproceedings{AbdullahKPDE04, title = {Developing a UML Profile for Modelling Knowledge-Based Systems}, author = {Mohd Syazwan Abdullah and Chris Kimble and Richard F. Paige and Ian D. Benest and Andy Evans}, year = {2004}, doi = {10.1007/11538097_15}, url = {http://dx.doi.org/10.1007/11538097_15}, tags = {rule-based, UML}, researchr = {https://researchr.org/publication/AbdullahKPDE04}, cites = {0}, citedby = {0}, pages = {220-233}, booktitle = {Model Driven Architecture, European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004, Revised Selected Papers}, editor = {Uwe Aßmann and Mehmet Aksit and Arend Rensink}, volume = {3599}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-28240-8}, } @inproceedings{KolovosPP05, title = {An Agile and Extensible Code Generation Framework}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2005}, doi = {10.1007/11499053_33}, url = {http://dx.doi.org/10.1007/11499053_33}, tags = {C++, code generation}, researchr = {https://researchr.org/publication/KolovosPP05}, cites = {0}, citedby = {0}, pages = {226-229}, booktitle = {Extreme Programming and Agile Processes in Software Engineering, 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings}, editor = {Hubert Baumeister and Michele Marchesi and Mike Holcombe}, volume = {3556}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-26277-6}, } @inproceedings{louisrosemigratingTTC2010, title = {Migrating Activity Diagrams with Epsilon Flock}, author = {Louis M. Rose and Dimitrios Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2010}, url = {http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/submissions/final/flock.pdf}, tags = {C++, Epsilon}, researchr = {https://researchr.org/publication/louisrosemigratingTTC2010}, cites = {0}, citedby = {0}, booktitle = {Transformation Tool Contest}, editor = {Pieter Van Gorp and Steffen Mazanek and Arend Rensink}, address = {Malaga}, } @article{PaigeOON10, title = {Guest editorial to the theme issue on traceability in model-driven engineering}, author = {Richard F. Paige and Gøran K. Olsen and Jon Oldevik and Tor Neple}, year = {2010}, doi = {10.1007/s10270-010-0153-0}, url = {http://dx.doi.org/10.1007/s10270-010-0153-0}, tags = {meta-model, model-driven engineering, Meta-Environment}, researchr = {https://researchr.org/publication/PaigeOON10}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {9}, number = {4}, pages = {425-426}, } @article{RadjenovicP06, title = {Architecture Description Languages for High-Integrity Real-Time Systems}, author = {Alek Radjenovic and Richard F. Paige}, year = {2006}, doi = {10.1109/MS.2006.36}, url = {http://doi.ieeecomputersociety.org/10.1109/MS.2006.36}, tags = {architecture}, researchr = {https://researchr.org/publication/RadjenovicP06}, cites = {0}, citedby = {0}, journal = {IEEE Software}, volume = {23}, number = {2}, pages = {71-79}, } @article{AbdullahKBP06, title = {Knowledge-based systems: a re-evaluation}, author = {Mohd Syazwan Abdullah and Chris Kimble and Ian D. Benest and Richard F. Paige}, year = {2006}, doi = {10.1108/13673270610670902}, url = {http://dx.doi.org/10.1108/13673270610670902}, tags = {rule-based}, researchr = {https://researchr.org/publication/AbdullahKBP06}, cites = {0}, citedby = {0}, journal = {J. Knowledge Management}, volume = {10}, number = {3}, pages = {127-142}, } @inproceedings{CakicP05, title = {A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems}, author = {Jovan Cakic and Richard F. Paige}, year = {2005}, tags = {rule-based, web service, web services}, researchr = {https://researchr.org/publication/CakicP05}, cites = {0}, citedby = {0}, pages = {85-96}, booktitle = {iiWAS 2005 - The Seventh International Conference on Information Integrationand Web-based Applications Services, 19-21 September 2005, Kuala Lumpur, Malaysia}, editor = {Gabriele Kotsis and David Taniar and Stéphane Bressan and Ismail Khalil Ibrahim and Salimah Mokhtar}, volume = {196}, series = {books@ocg.at}, publisher = {Austrian Computer Society}, isbn = {3-85403-196-3}, } @inproceedings{KolovosPP06, title = {Merging Models with the Epsilon Merging Language (EML)}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2006}, doi = {10.1007/11880240_16}, url = {http://dx.doi.org/10.1007/11880240_16}, tags = {modeling language, language modeling, C++, Epsilon}, researchr = {https://researchr.org/publication/KolovosPP06}, cites = {0}, citedby = {0}, pages = {215-229}, booktitle = {Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006, Proceedings}, editor = {Oscar Nierstrasz and Jon Whittle and David Harel and Gianna Reggio}, volume = {4199}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-45772-0}, } @inproceedings{KolovosRMPPF10, title = {Constructing and Navigating Non-invasive Model Decorations}, author = {Dimitrios S. Kolovos and Louis M. Rose and Nikolaos Drivalos Matragkas and Richard F. Paige and Fiona A. C. Polack and Kiran Jude Fernandes}, year = {2010}, doi = {10.1007/978-3-642-13688-7_10}, url = {http://dx.doi.org/10.1007/978-3-642-13688-7_10}, tags = {meta-model, model, model decoration, C++, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/KolovosRMPPF10}, cites = {0}, citedby = {0}, pages = {138-152}, booktitle = {Theory and Practice of Model Transformations, Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings}, editor = {Laurence Tratt and Martin Gogolla}, volume = {6142}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-13687-0}, } @article{BrookeP09, title = {Cameo: an alternative model of concurrency for Eiffel}, author = {Phillip J. Brooke and Richard F. Paige}, year = {2009}, doi = {10.1007/s00165-008-0096-1}, url = {http://dx.doi.org/10.1007/s00165-008-0096-1}, tags = {meta-model, Meta-Environment, Eiffel}, researchr = {https://researchr.org/publication/BrookeP09}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {21}, number = {4}, pages = {363-391}, } @article{AydalPW08a, title = {Observations for Assertion-based Scenarios in the context of Model Validation}, author = {Emine G. Aydal and Richard F. Paige and Jim Woodstock}, year = {2008}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/181}, tags = {rule-based, context-aware}, researchr = {https://researchr.org/publication/AydalPW08a}, cites = {0}, citedby = {0}, journal = {ECEASST}, volume = {15}, } @inproceedings{GePM09-0, title = {Probabilistic Failure Propagation and Transformation Analysis}, author = {Xiaocheng Ge and Richard F. Paige and John A. McDermid}, year = {2009}, doi = {10.1007/978-3-642-04468-7_18}, url = {http://dx.doi.org/10.1007/978-3-642-04468-7_18}, tags = {analysis, transformation}, researchr = {https://researchr.org/publication/GePM09-0}, cites = {0}, citedby = {0}, pages = {215-228}, booktitle = {Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings}, editor = {Bettina Buth and Gerd Rabe and Till Seyfarth}, volume = {5775}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-04467-0}, } @article{KolovosPP06:1, title = {Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2006}, url = {http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/42}, tags = {OCL, modeling language, language modeling, C++, query language, domain-specific language}, researchr = {https://researchr.org/publication/KolovosPP06%3A1}, cites = {0}, citedby = {0}, journal = {ECEASST}, volume = {5}, } @inproceedings{ChanP05:0, title = {Designing a Domain-Specific Contract Language: A Metamodelling Approach}, author = {Zhan En Chan and Richard F. Paige}, year = {2005}, doi = {10.1007/11581741_14}, url = {http://dx.doi.org/10.1007/11581741_14}, tags = {contracts, systematic-approach, domain-specific language}, researchr = {https://researchr.org/publication/ChanP05%3A0}, cites = {0}, citedby = {0}, pages = {175-189}, booktitle = {Model Driven Architecture - Foundations and Applications, First European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings}, editor = {Alan Hartman and David Kreische}, volume = {3748}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-30026-0}, } @inproceedings{PaigeKRDP09, title = {The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering}, author = {Richard F. Paige and Dimitrios S. Kolovos and Louis M. Rose and Nikolaos Drivalos and Fiona A. C. Polack}, year = {2009}, doi = {10.1109/ICECCS.2009.14}, url = {http://dx.doi.org/10.1109/ICECCS.2009.14}, tags = {meta-model, modeling language, language engineering, language modeling, language design, model-driven engineering, C++, Meta-Environment, design}, researchr = {https://researchr.org/publication/PaigeKRDP09}, cites = {0}, citedby = {0}, pages = {162-171}, booktitle = {14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009}, publisher = {IEEE Computer Society}, } @inproceedings{PaigeO01:0, title = {A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {2001}, tags = {rule-based, UML}, researchr = {https://researchr.org/publication/PaigeO01%3A0}, cites = {0}, citedby = {0}, pages = {192-206}, booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada}, editor = {Andy Evans and Robert B. France and Ana M. D. Moreira and Bernhard Rumpe}, volume = {7}, series = {LNI}, publisher = {GI}, isbn = {3-88579-335-0}, } @inproceedings{PaigeO01:1, title = {The Single Model Principle}, author = {Richard F. Paige and Jonathan S. Ostroff}, year = {2001}, url = {http://computer.org/proceedings/re/1125/11250292.pdf}, tags = {rule-based, Java, model checking, meta-model, modeling language, modeling, language modeling, UML, model-driven development, consistency, abstraction, Meta-Environment, Eiffel, systematic-approach, domain-specific language}, researchr = {https://researchr.org/publication/PaigeO01%3A1}, cites = {0}, citedby = {0}, pages = {292-293}, booktitle = {5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada}, publisher = {IEEE Computer Society}, isbn = {0-7695-1125-2}, } @inproceedings{louism.rosemodel, title = {Model Migration Case for TTC 2010}, author = {Louis M. Rose and Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2010}, url = {http://is.ieis.tue.nl/staff/pvgorp/events/TTC2010/cases/ttc2010_submission_2_v2010-04-22.pdf}, tags = {C++, migration}, researchr = {https://researchr.org/publication/louism.rosemodel}, cites = {0}, citedby = {0}, booktitle = {Transformation Tool Contest}, editor = {Pieter Van Gorp and Steffen Mazanek and Arend Rensink}, address = {Malaga}, } @article{KolovosPPR07, title = {Update Transformations in the Small with the Epsilon Wizard Language}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack and Louis M. Rose}, year = {2007}, url = {http://www.jot.fm/issues/issue_2007_10/paper3/index.html}, tags = {transformation language, C++, Epsilon, transformation}, researchr = {https://researchr.org/publication/KolovosPPR07}, cites = {0}, citedby = {0}, journal = {Journal of Object Technology}, volume = {6}, number = {9}, pages = {53-69}, } @inproceedings{GuerraLKP10-0, title = {A Visual Specification Language for Model-to-Model Transformations}, author = {Esther Guerra and Juan de Lara and Dimitrios S. Kolovos and Richard F. Paige}, year = {2010}, doi = {10.1109/VLHCC.2010.25}, url = {http://dx.doi.org/10.1109/VLHCC.2010.25}, tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/GuerraLKP10-0}, cites = {0}, citedby = {0}, pages = {119-126}, booktitle = {IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010, Leganés-Madrid, Spain, 21-25 September 2010, Proceedings}, editor = {Christopher D. Hundhausen and Emmanuel Pietriga and Paloma Díaz and Mary Beth Rosson}, publisher = {IEEE}, isbn = {978-0-7695-4206-5}, } @inproceedings{GePPB07, title = {Extreme Programming Security Practices}, author = {Xiaocheng Ge and Richard F. Paige and Fiona A. C. Polack and Phillip J. Brooke}, year = {2007}, doi = {10.1007/978-3-540-73101-6_42}, url = {http://dx.doi.org/10.1007/978-3-540-73101-6_42}, tags = {extreme programming, C++, security, programming}, researchr = {https://researchr.org/publication/GePPB07}, cites = {0}, citedby = {0}, pages = {226-230}, booktitle = {Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings}, editor = {Giulio Concas and Ernesto Damiani and Marco Scotto and Giancarlo Succi}, volume = {4536}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-73100-9}, } @inproceedings{AydalPCB06, title = {Security Planning and Refactoring in Extreme Programming}, author = {Emine G. Aydal and Richard F. Paige and Howard Chivers and Phillip J. Brooke}, year = {2006}, doi = {10.1007/11774129_16}, url = {http://dx.doi.org/10.1007/11774129_16}, tags = {refactoring, extreme programming, security, programming}, researchr = {https://researchr.org/publication/AydalPCB06}, cites = {0}, citedby = {0}, pages = {154-163}, booktitle = {Extreme Programming and Agile Processes in Software Engineering, 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings}, editor = {Pekka Abrahamsson and Michele Marchesi and Giancarlo Succi}, volume = {4044}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-35094-2}, } @inproceedings{Guerra:MoDELS:2010-0, title = {transML: A Family of Languages to Model Model Transformations}, author = {Esther Guerra and de Lara and Kolovos and Richard F. Paige and dos Santos}, year = {2010}, tags = {model-to-model transformation, meta-model, modeling language, transformation language, language modeling, source-to-source, model transformation, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/Guerra%3AMoDELS%3A2010-0}, cites = {0}, citedby = {0}, booktitle = {Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010. Proceedings}, editor = {Dorina Petriu and Nicolas Rouquette and Øystein Haugen}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @inproceedings{RoseKPP09, title = {Enhanced Automation for Managing Model and Metamodel Inconsistency}, author = {Louis M. Rose and Dimitrios S. Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2009}, doi = {10.1109/ASE.2009.57}, url = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.57}, tags = {C++}, researchr = {https://researchr.org/publication/RoseKPP09}, cites = {0}, citedby = {0}, pages = {545-549}, booktitle = {ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3891-4}, } @article{PaigeKP05, title = {Refinement via Consistency Checking in MDA}, author = {Richard F. Paige and Dimitris Kolovos and Fiona A. C. Polack}, year = {2005}, doi = {10.1016/j.entcs.2005.04.029}, url = {http://dx.doi.org/10.1016/j.entcs.2005.04.029}, tags = {refinement, C++, consistency}, researchr = {https://researchr.org/publication/PaigeKP05}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {137}, number = {2}, pages = {151-161}, } @article{Paige98, title = {Heterogeneous Notations for Pure Formal Method Integration}, author = {Richard F. Paige}, year = {1998}, url = {http://link.springer.de/link/service/journals/00165/bibs/8010003/80100233.htm}, researchr = {https://researchr.org/publication/Paige98}, cites = {0}, citedby = {0}, journal = {Formal Asp. Comput.}, volume = {10}, number = {3}, pages = {233-242}, } @article{BrookeP03, title = {Fault trees for security system design and analysis}, author = {Phillip J. Brooke and Richard F. Paige}, year = {2003}, doi = {10.1016/S0167-4048(03)00313-4}, url = {http://dx.doi.org/10.1016/S0167-4048(03)00313-4}, tags = {analysis, security, design}, researchr = {https://researchr.org/publication/BrookeP03}, cites = {0}, citedby = {0}, journal = {Computers & Security}, volume = {22}, number = {3}, pages = {256-264}, } @inproceedings{BrookeP02, title = {The Design of a Tool-Supported Graphical Notation for Timed CSP}, author = {Phillip J. Brooke and Richard F. Paige}, year = {2002}, url = {http://link.springer.de/link/service/series/0558/bibs/2335/23350299.htm}, tags = {design}, researchr = {https://researchr.org/publication/BrookeP02}, cites = {0}, citedby = {0}, pages = {299-318}, booktitle = {Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings}, editor = {Michael J. Butler and Luigia Petre and Kaisa Sere}, volume = {2335}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-43703-7}, } @inproceedings{Paige97:0, title = {Case Studies in Using a Meta-Method for Formal Method Integration}, author = {Richard F. Paige}, year = {1997}, tags = {case study, meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Paige97%3A0}, cites = {0}, citedby = {0}, pages = {395-408}, booktitle = {Algebraic Methodology and Software Technology, 6th International Conference, AMAST 97, Sydney, Australia, December 13-17, 1997, Proceedings}, editor = {Michael Johnson}, volume = {1349}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-63888-1}, } @inproceedings{KolovosPP08:1, title = {The Grand Challenge of Scalability for Model Driven Engineering}, author = {Dimitris Kolovos and Richard F. Paige and Fiona A. C. Polack}, year = {2008}, doi = {10.1007/978-3-642-01648-6_5}, url = {http://dx.doi.org/10.1007/978-3-642-01648-6_5}, tags = {meta-model, model-driven engineering, C++, Meta-Environment}, researchr = {https://researchr.org/publication/KolovosPP08%3A1}, cites = {0}, citedby = {0}, pages = {48-53}, booktitle = {Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers}, editor = {Michel R. V. Chaudron}, volume = {5421}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-01647-9}, } @proceedings{tools:46-2008, title = {Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008}, year = {2008}, tags = {object-role modeling}, researchr = {https://researchr.org/publication/tools%3A46-2008}, cites = {0}, citedby = {0}, booktitle = {Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008}, conference = {TOOLS}, editor = {Richard F. Paige and Bertrand Meyer}, volume = {11}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-540-69823-4}, } @proceedings{sle-2013, title = {6th International Conference on Software Language Engineering, Proceedings (SLE 2013)}, year = {2013}, researchr = {https://researchr.org/publication/sle-2013}, cites = {0}, citedby = {0}, booktitle = {6th International Conference on Software Language Engineering, Proceedings (SLE 2013)}, conference = {SLE}, editor = {Martin Erwig and Richard F. Paige and Eric {Van Wyk}}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, } @proceedings{ecmdafa:2007, title = {Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings}, year = {2007}, tags = {architecture}, researchr = {https://researchr.org/publication/ecmdafa%3A2007}, cites = {0}, citedby = {0}, booktitle = {Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings}, conference = {ECMDA-FA}, editor = {David H. Akehurst and Régis Vogel and Richard F. Paige}, volume = {4530}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-72900-6}, } @proceedings{iceccs-2010, title = {15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010}, year = {2010}, researchr = {https://researchr.org/publication/iceccs-2010}, cites = {0}, citedby = {0}, booktitle = {15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010}, conference = {ICECCS}, editor = {Radu Calinescu and Richard F. Paige and Marta Z. Kwiatkowska}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4015-3}, } @proceedings{icmt-2009, title = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings}, year = {2009}, doi = {10.1007/978-3-642-02408-5}, url = {http://dx.doi.org/10.1007/978-3-642-02408-5}, tags = {model-to-model transformation, meta-model, source-to-source, model transformation, peer-to-peer, Meta-Environment, transformation}, researchr = {https://researchr.org/publication/icmt-2009}, cites = {0}, citedby = {0}, booktitle = {Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings}, conference = {ICMT}, editor = {Richard F. Paige}, volume = {5563}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-02407-8}, } @proceedings{ecmdafa:2009, title = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings}, year = {2009}, doi = {10.1007/978-3-642-02674-4}, url = {http://dx.doi.org/10.1007/978-3-642-02674-4}, tags = {architecture}, researchr = {https://researchr.org/publication/ecmdafa%3A2009}, cites = {0}, citedby = {0}, booktitle = {Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings}, conference = {ECMDA-FA}, editor = {Richard F. Paige and Alan Hartman and Arend Rensink}, volume = {5562}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-02673-7}, } @proceedings{spc:2006, title = {Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings}, year = {2006}, tags = {security}, researchr = {https://researchr.org/publication/spc%3A2006}, cites = {0}, citedby = {0}, booktitle = {Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings}, conference = {spc}, editor = {John A. Clark and Richard F. Paige and Fiona A. C. Polack and Phillip J. Brooke}, volume = {3934}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-33376-2}, }