Richard F. Paige - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 129

2014

Towards Rigorously Faking Bidirectional Model TransformationsChristopher M. Poskitt, Mike Dodds, Richard F. Paige, Arend Rensink. MoDELS 2014: 70-75 [doi]

2013

6th International Conference on Software Language Engineering, Proceedings (SLE 2013)Martin Erwig, Richard F. Paige, Eric {Van Wyk}, editors, Lecture Notes in Computer Science, Springer, 2013.

2011

A Comparison of Rule Inheritance in Model-to-Model Transformation LanguagesManuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schoenboeck, Wieland Schwinger, Dimitris Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Dennis Wagelaar. ICMT 2011: 31-46

2010

Document-centric XML workflows with fragment digital signaturesPhillip J. Brooke, Richard F. Paige, Christopher Power. SPE, 40(8):655-672, 2010. [doi]

15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, IEEE Computer Society, 2010.

A Reflective Approach to Model-Driven Web EngineeringDarren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets. ECMDA-FA 2010: 62-73 [doi]

transML: A Family of Languages to Model Model TransformationsEsther Guerra, de Lara, Kolovos, Richard F. Paige, dos Santos. MoDELS 2010:

Inter-Modelling: from Theory to PracticeEsther Guerra, de Lara, Kolovos, Richard F. Paige. MoDELS 2010:

A Visual Specification Language for Model-to-Model TransformationsEsther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige. vl 2010: 119-126 [doi]

Inter-modelling: From Theory to PracticeEsther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige. MoDELS 2010: 376-391 [doi]

::::trans::::ML: A Family of Languages to Model Model TransformationsEsther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos. MoDELS 2010: 106-120 [doi]

Taming EMF and GMF Using Model TransformationKolovos, Louis M. Rose, Abid, Richard F. Paige, Fiona A. C. Polack, Botterweck. MoDELS 2010:

Constructing and Navigating Non-invasive Model DecorationsDimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes. ICMT 2010: 138-152 [doi]

Ecore to GenModel Case StudyDimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Juan de Lara. TTC 2010:

An Implementation of the Ecore to GenModel Case Study using the Epsilon Transformation LanguageDimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Juan de Lara. TTC 2010:

Taming EMF and GMF Using Model TransformationDimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck. MoDELS 2010: 211-225 [doi]

Guest editorial to the theme issue on traceability in model-driven engineeringRichard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple. SoSyM, 9(4):425-426, 2010. [doi]

Rigorous Identification and Encoding of Trace-Links in Model-Driven EngineeringRichard F. Paige, Nikolaos Drivalos, Dimitris Kolovos, Kiran J. Fernandes, Christopher Power, Goran K. Olsen, Steffen Zschaler. Software and Systems Modeling, , 2010. [doi]

Iterative criteria-based approach to engineering the requirements of software development methodologiesRaman Ramsin, Richard F. Paige. iee, 4(2):91-104, 2010. [doi]

A Comparison of Model Migration ToolsLouis M. Rose, Markus Herrmannsdörfer, Williams, Kolovos, Garcés, Richard F. Paige, Fiona A. C. Polack. MoDELS 2010:

Concordance: A Framework for Managing Model IntegrityLouis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes. ECMDA-FA 2010: 245-260 [doi]

Model Migration Case for TTC 2010Louis M. Rose, Dimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. TTC 2010:

Model Migration with Epsilon FlockLouis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack. ICMT 2010: 184-198 [doi]

Migrating Activity Diagrams with Epsilon FlockLouis M. Rose, Dimitrios Kolovos, Richard F. Paige, Fiona A. C. Polack. TTC 2010:

A Comparison of Model Migration ToolsLouis M. Rose, Markus Herrmannsdörfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack. MoDELS 2010: 61-75 [doi]

Formal Analysis in Model Management: Exploiting the Power of CZTJames R. Williams, Fiona A. C. Polack, Richard F. Paige. asm 2010: 414 [doi]

Domain-Specific Metamodelling Languages for Software Language EngineeringSteffen Zschaler, Dimitris Kolovos, Nicholas Drivalos, Richard F. Paige, Awais Rashid. In Software Language Engineering, 2nd Int'l Conf. (SLE 2009), Revised Selected Papers. 2010:

2009

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for ValidationEmine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock. icst 2009: 131-140 [doi]

Cameo: an alternative model of concurrency for EiffelPhillip J. Brooke, Richard F. Paige. fac, 21(4):363-391, 2009. [doi]

XRound: A reversible template language and its application in model-based security analysisHoward Chivers, Richard F. Paige. INFSOF, 51(5):876-893, 2009. [doi]

The Use of Model Transformation in the INESS ProjectOsmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King. FMCO 2010: 147-165 [doi]

Probabilistic Failure Propagation and Transformation AnalysisXiaocheng Ge, Richard F. Paige, John A. McDermid. safecomp 2009: 215-228 [doi]

Domain analysis on an electronic health records systemXiaocheng Ge, Richard F. Paige, John A. McDermid. MoDELS 2009: 49-54 [doi]

Abstracting Complex Languages through Transformation and CompositionJendrik Johannes, Steffen Zschaler, Miguel A. FernÃ¡ndez, Antonio Castillo, Dimitris Kolovos, Richard F. Paige. MoDELS 2009: 546-550 [doi]

On the Evolution of OCL for Capturing Structural Constraints in Modelling LanguagesDimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack. BIRTHDAY 2009: 204-218 [doi]

Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. ProceedingsRichard F. Paige, editor, Volume 5563 of Lecture Notes in Computer Science, Springer, 2009. [doi]

The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language EngineeringRichard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos, Fiona A. C. Polack. ICECCS 2009: 162-171 [doi]

EditorialRichard F. Paige, Phillip J. Brooke. fac, 21(4):303, 2009. [doi]

Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. ProceedingsRichard F. Paige, Alan Hartman, Arend Rensink, editors, Volume 5562 of Lecture Notes in Computer Science, Springer, 2009. [doi]

Content Personalization for Inclusive Education through Model-Driven EngineeringChristopher Power, Richard F. Paige. hci 2009: 102-109 [doi]

Enhanced Automation for Managing Model and Metamodel InconsistencyLouis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack. ASE 2009: 545-549 [doi]

Enhanced Automation for Managing Model and Metamodel InconsistencyLouis M. Rose, Dimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. Automated Software Engineering, International Conference on, 0, 2009. [doi]

An Analysis of Approaches to Model MigrationLouis M. Rose, Richard F. Paige, Dimitris Kolovos, Fiona A. C. Polack. In Proc. Models and Evolution (MoDSE-MCCM) Workshop, 12th ACM/IEEE International Conference on Model Driven Engineering, Languages and Systems. 2009:

The SCOOP Concurrency Model in Java-like LanguagesFaraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik. wotug 2009: 7-27 [doi]

Automatic Generation of Integrated Formal Models Corresponding to UML System ModelsHelen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos. TOOLS 2009: 357-367 [doi]

2008

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex PurseEmine G. Aydal, Richard F. Paige, Jim Woodcock. eceasst, 9, 2008. [doi]

Observations for Assertion-based Scenarios in the context of Model ValidationEmine G. Aydal, Richard F. Paige, Jim Woodstock. eceasst, 15, 2008. [doi]

Engineering a DSL for Software TraceabilityNikolaos Drivalos, Dimitris Kolovos, Richard F. Paige, Kiran J. Fernandes. SLE 2008: 151-167 [doi]

The Epsilon Transformation LanguageDimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. ICMT 2008: 46-60 [doi]

The Grand Challenge of Scalability for Model Driven EngineeringDimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. MoDELS 2009: 48-53 [doi]

Detecting and Repairing Inconsistencies across Heterogeneous ModelsDimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. icst 2008: 356-364 [doi]

Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. ProceedingsRichard F. Paige, Bertrand Meyer, editors, Volume 11 of Lecture Notes in Business Information Processing, Springer, 2008.

Towards Agile Engineering of High-Integrity SystemsRichard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke. safecomp 2008: 30-43 [doi]

FPTC: Automated Safety Analysis for Domain-Specific LanguagesRichard F. Paige, Louis M. Rose, Xiaocheng Ge, Dimitris Kolovos, Phillip J. Brooke. MoDELS 2009: 229-242 [doi]

Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700Richard F. Paige. stvr, 18(4):251-252, 2008. [doi]

Building Model-Driven Engineering Traceability ClassificationsRichard F. Paige, Goran Olsen, Dimitris Kolovos, Steffen Zschaler, Christopher Power. In 4th ECMDA Traceability Workshop. 2008:

The Role of Dependency Links in Ensuring Architectural View ConsistencyAlek Radjenovic, Richard F. Paige. wicsa 2008: 199-208 [doi]

Process-centered review of object oriented software development methodologiesRaman Ramsin, Richard F. Paige. ACM Comput. Surv., 40(1), 2008. [doi]

The Epsilon Generation LanguageLouis M. Rose, Richard F. Paige, Dimitris Kolovos, Fiona A. C. Polack. ECMDA-FA 2008: 1-16 [doi]

Constructing Models with the Human-Usable Textual NotationLouis M. Rose, Richard F. Paige, Dimitris Kolovos, Fiona A. C. Polack. MoDELS 2008: 249-263 [doi]

2007

Knowledge Modelling Using UML Profile for Knowledge-Based Systems DevelopmentMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble. In Emerging Artificial Intelligence Applications in Computer Engineering. pages 74-89, 2007.

Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based SystemsMohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble. er 2007: 438-453 [doi]

A UML Profile for Knowledge-Based Systems ModellingMohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest. sera 2007: 871-878 [doi]

Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, ProccedingsDavid H. Akehurst, Régis Vogel, Richard F. Paige, editors, Volume 4530 of Lecture Notes in Computer Science, Springer, 2007.

Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex PurseEmine G. Aydal, Richard F. Paige, Jim Woodcock. MoDELS 2007: 194-205 [doi]

Lazy Exploration and Checking of CSP Models with CSPsimPhillip J. Brooke, Richard F. Paige. wotug 2007: 33-49

Exceptions in Concurrent EiffelPhillip J. Brooke, Richard F. Paige. jot, 6(10):111-126, 2007. [doi]

A CSP model of Eiffel s SCOOPPhillip J. Brooke, Richard F. Paige, Jeremy L. Jacob. fac, 19(4):487-512, 2007. [doi]

Model-driven Development of Particle System FamiliesPhilippa Conmy, Richard F. Paige. MOMPES 2007: 127-136 [doi]

Extreme Programming Security PracticesXiaocheng Ge, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke. xpu 2007: 226-230 [doi]

Towards Synchronizing Models with Evolving MetamodelsBoris Gruschko, Dimitris Kolovos, Richard F. Paige. In Workshop on Model-Driven Software Evolution at CSMR 2007. 2007:

Update Transformations in the Small with the Epsilon Wizard LanguageDimitris Kolovos, Richard F. Paige, Fiona A. C. Polack, Louis M. Rose. jot, 6(9):53-69, 2007. [doi]

A Novel Approach to the Detection of Cheating in Multiplayer Online GamesPeter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers. ICECCS 2007: 97-106 [doi]

Metamodel-based model conformance and multiview consistency checkingRichard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff. TOSEM, 16(3):11, 2007. [doi]

2006

Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System DevelopmentMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble. ICEIS 2006: 74-81

Knowledge Modelling Using The UML ProfileMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble. ifip12 2006: 70-77 [doi]

Knowledge-based systems: a re-evaluationMohd Syazwan Abdullah, Chris Kimble, Ian D. Benest, Richard F. Paige. jkm, 10(3):127-142, 2006. [doi]

Security Planning and Refactoring in Extreme ProgrammingEmine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke. xpu 2006: 154-163 [doi]

A Canonical Scheme for Model CompositionJean Bézivin, Salim Bouzitouna, Marcos Didonet Del Fabro, Marie-Pierre Gervais, Frédéric Jouault, Dimitris Kolovos, Ivan Kurtev, Richard F. Paige. ECMDA-FA 2006: 346-360 [doi]

Origins of the Grid Architectural StyleJovan Cakic, Richard F. Paige. ICECCS 2006: 227-235 [doi]

Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, ProceedingsJohn A. Clark, Richard F. Paige, Fiona A. C. Polack, Phillip J. Brooke, editors, Volume 3934 of Lecture Notes in Computer Science, Springer, 2006.

Using a Model Merging Language for Reconciling Model VersionsKlaus D. Engel, Richard F. Paige, Dimitris Kolovos. ECMDA-FA 2006: 143-157 [doi]

Agile development of secure web applicationsXiaocheng Ge, Richard F. Paige, Fiona A. C. Polack, Howard Chivers, Phillip J. Brooke. ICWE 2006: 305-312 [doi]

Merging Models with the Epsilon Merging Language (EML)Dimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. MoDELS 2006: 215-229 [doi]

The Epsilon Object Language (EOL)Dimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. ECMDA-FA 2006: 128-142 [doi]

Aligning OCL with Domain-Specific Languages to Support Instance-Level Model QueriesDimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. eceasst, 5, 2006. [doi]

Game Development Using Design-by-ContractRichard F. Paige, Triston S. Attridge, Phillip J. Brooke. jot, 5(7):57-73, 2006. [doi]

An action semantics for MOF 2.0Richard F. Paige, Dimitris Kolovos, Fiona A. C. Polack. SAC 2006: 1304-1305 [doi]

Towards an Agile Process for Building Software Product LinesRichard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke. xpu 2006: 198-199 [doi]

The View GlueAlek Radjenovic, Richard F. Paige. ICSE 2007: 66-88 [doi]

Architecture Description Languages for High-Integrity Real-Time SystemsAlek Radjenovic, Richard F. Paige. IEEE Software, 23(2):71-79, 2006. [doi]

2005

Unified Modeling Language for Knowledge ModellingMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble. cimca 2005: 952-957

A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based SystemsJovan Cakic, Richard F. Paige. iiwas 2006: 85-96

Designing a Domain-Specific Contract Language: A Metamodelling ApproachZhan En Chan, Richard F. Paige. ECMDA-FA 2005: 175-189 [doi]

XRound: Bidirectional Transformations and Unifications Via a Reversible Template LanguageHoward Chivers, Richard F. Paige. ECMDA-FA 2005: 205-219 [doi]

Agile Security Using an Incremental Security ArchitectureHoward Chivers, Richard F. Paige, Xiaocheng Ge. xpu 2005: 57-65 [doi]

An Agile and Extensible Code Generation FrameworkDimitris Kolovos, Richard F. Paige, Fiona A. C. Polack. xpu 2005: 226-229 [doi]

E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for EiffelJonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke. jot, 4(7):97-114, 2005. [doi]

Agile Formal Method EngineeringRichard F. Paige, Phillip J. Brooke. IFM 2005: 109-128 [doi]

Refinement via Consistency Checking in MDARichard F. Paige, Dimitris Kolovos, Fiona A. C. Polack. ENTCS, 137(2):151-161, 2005. [doi]

Sign in or sign up to see more results.

runs on WebDSL