 | 2010 |
|---|
| 96 |       | James R. Williams,
Fiona A. C. Polack,
Richard F. Paige:
Formal Analysis in Model Management: Exploiting the Power of CZT.
ASM 2010: 414 |
| 2009 |
|---|
| 95 | | Richard F. Paige,
Alan Hartman,
Arend Rensink:
Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings
Springer 2009 |
| 94 | | Richard F. Paige:
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings
Springer 2009 |
| 93 | | Louis M. Rose,
Dimitrios S. Kolovos,
Richard F. Paige,
Fiona A. C. Polack:
Enhanced Automation for Managing Model and Metamodel Inconsistency.
ASE 2009: 545-549 |
| 92 | | Xiaocheng Ge,
Richard F. Paige,
John A. McDermid:
Domain analysis on an electronic health records system.
FOSD 2009: 49-54 |
| 91 | | Christopher Power,
Richard F. Paige:
Content Personalization for Inclusive Education through Model-Driven Engineering.
HCI (7) 2009: 102-109 |
| 90 | | Richard F. Paige,
Dimitrios S. Kolovos,
Louis M. Rose,
Nikolaos Drivalos,
Fiona A. C. Polack:
The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering.
ICECCS 2009: 162-171 |
| 89 | | Emine G. Aydal,
Richard F. Paige,
Mark Utting,
Jim Woodcock:
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation.
ICST 2009: 131-140 |
| 88 | | Jendrik Johannes,
Steffen Zschaler,
Miguel A. Fernández,
Antonio Castillo,
Dimitrios S. Kolovos,
Richard F. Paige:
Abstracting Complex Languages through Transformation and Composition.
MoDELS 2009: 546-550 |
| 87 | | Xiaocheng Ge,
Richard F. Paige,
John A. McDermid:
Probabilistic Failure Propagation and Transformation Analysis.
SAFECOMP 2009: 215-228 |
| 86 | | Steffen Zschaler,
Dimitrios S. Kolovos,
Nikolaos Drivalos,
Richard F. Paige,
Awais Rashid:
Domain-Specific Metamodelling Languages for Software Language Engineering.
SLE 2009: 334-353 |
| 85 | | Helen Treharne,
Edward Turner,
Richard F. Paige,
Dimitrios S. Kolovos:
Automatic Generation of Integrated Formal Models Corresponding to UML System Models.
TOOLS (47) 2009: 357-367 |
| 84 | | Richard F. Paige,
Phillip J. Brooke:
Editorial.
Formal Asp. Comput. 21(4): 303 (2009) |
| 83 | | Phillip J. Brooke,
Richard F. Paige:
Cameo: an alternative model of concurrency for Eiffel.
Formal Asp. Comput. 21(4): 363-391 (2009) |
| 82 | | Howard Chivers,
Richard F. Paige:
XRound: A reversible template language and its application in model-based security analysis.
Information & Software Technology 51(5): 876-893 (2009) |
| 2008 |
|---|
| 81 |  | Richard F. Paige,
Bertrand Meyer:
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings
Springer 2008 |
| 80 | | Louis M. Rose,
Richard F. Paige,
Dimitrios S. Kolovos,
Fiona Polack:
The Epsilon Generation Language.
ECMDA-FA 2008: 1-16 |
| 79 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack:
The Epsilon Transformation Language.
ICMT 2008: 46-60 |
| 78 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack:
Detecting and Repairing Inconsistencies across Heterogeneous Models.
ICST 2008: 356-364 |
| 77 | | Louis M. Rose,
Richard F. Paige,
Dimitrios S. Kolovos,
Fiona Polack:
Constructing Models with the Human-Usable Textual Notation.
MoDELS 2008: 249-263 |
| 76 | | Richard F. Paige,
Louis M. Rose,
Xiaocheng Ge,
Dimitrios S. Kolovos,
Phillip J. Brooke:
FPTC: Automated Safety Analysis for Domain-Specific Languages.
MoDELS Workshops 2008: 229-242 |
| 75 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack:
The Grand Challenge of Scalability for Model Driven Engineering.
MoDELS Workshops 2008: 48-53 |
| 74 | | Richard F. Paige,
Ramon Charalambous,
Xiaocheng Ge,
Phillip J. Brooke:
Towards Agile Engineering of High-Integrity Systems.
SAFECOMP 2008: 30-43 |
| 73 | | Nikolaos Drivalos,
Dimitrios S. Kolovos,
Richard F. Paige,
Kiran J. Fernandes:
Engineering a DSL for Software Traceability.
SLE 2008: 151-167 |
| 72 | | Alek Radjenovic,
Richard F. Paige:
The Role of Dependency Links in Ensuring Architectural View Consistency.
WICSA 2008: 199-208 |
| 71 | | Raman Ramsin,
Richard F. Paige:
Process-centered review of object oriented software development methodologies.
ACM Comput. Surv. 40(1): (2008) |
| 70 | | Emine G. Aydal,
Richard F. Paige,
Jim Woodstock:
Observations for Assertion-based Scenarios in the context of Model Validation.
ECEASST 15: (2008) |
| 69 | | Emine G. Aydal,
Richard F. Paige,
Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.
ECEASST 9: (2008) |
| 68 | | Richard F. Paige:
Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700.
Softw. Test., Verif. Reliab. 18(4): 251-252 (2008) |
| 2007 |
|---|
| 67 | | David H. Akehurst,
Régis Vogel,
Richard F. Paige:
Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings
Springer 2007 |
| 66 | | Phillip J. Brooke,
Richard F. Paige:
Lazy Exploration and Checking of CSP Models with CSPsim.
CPA 2007: 33-49 |
| 65 | | Mohd Syazwan Abdullah,
Ian D. Benest,
Richard F. Paige,
Chris Kimble:
Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems.
ER 2007: 438-453 |
| 64 | | Peter Laurens,
Richard F. Paige,
Phillip J. Brooke,
Howard Chivers:
A Novel Approach to the Detection of Cheating in Multiplayer Online Games.
ICECCS 2007: 97-106 |
| 63 | | Philippa Conmy,
Richard F. Paige:
Model-driven Development of Particle System Families.
MOMPES 2007: 127-136 |
| 62 | | Emine G. Aydal,
Richard F. Paige,
Jim Woodcock:
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse.
MoDELS Workshops 2007: 194-205 |
| 61 | | Mohd Syazwan Abdullah,
Richard F. Paige,
Chris Kimble,
Ian D. Benest:
A UML Profile for Knowledge-Based Systems Modelling.
SERA 2007: 871-878 |
| 60 | | Xiaocheng Ge,
Richard F. Paige,
Fiona Polack,
Phillip J. Brooke:
Extreme Programming Security Practices.
XP 2007: 226-230 |
| 59 | | Mohd Syazwan Abdullah,
Richard F. Paige,
Ian D. Benest,
Chris Kimble:
Knowledge Modelling Using UML Profile for Knowledge-Based Systems Development.
Emerging Artificial Intelligence Applications in Computer Engineering 2007: 74-89 |
| 58 | | Richard F. Paige,
Phillip J. Brooke,
Jonathan S. Ostroff:
Metamodel-based model conformance and multiview consistency checking.
ACM Trans. Softw. Eng. Methodol. 16(3): (2007) |
| 57 | | Phillip J. Brooke,
Richard F. Paige,
Jeremy L. Jacob:
A CSP model of Eiffel's SCOOP.
Formal Asp. Comput. 19(4): 487-512 (2007) |
| 56 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack,
Louis M. Rose:
Update Transformations in the Small with the Epsilon Wizard Language.
Journal of Object Technology 6(9): 53-69 (2007) |
| 2006 |
|---|
| 55 | | John A. Clark,
Richard F. Paige,
Fiona Polack,
Phillip J. Brooke:
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings
Springer 2006 |
| 54 | | Mohd Syazwan Abdullah,
Richard F. Paige,
Ian D. Benest,
Chris Kimble:
Knowledge Modelling Using The UML Profile.
AIAI 2006: 70-77 |
| 53 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack:
The Epsilon Object Language (EOL).
ECMDA-FA 2006: 128-142 |
| 52 | | Klaus-D. Engel,
Richard F. Paige,
Dimitrios S. Kolovos:
Using a Model Merging Language for Reconciling Model Versions.
ECMDA-FA 2006: 143-157 |
| 51 | | Jean Bézivin,
Salim Bouzitouna,
Marcos Didonet Del Fabro,
Marie-Pierre Gervais,
Frédéric Jouault,
Dimitrios S. Kolovos,
Ivan Kurtev,
Richard F. Paige:
A Canonical Scheme for Model Composition.
ECMDA-FA 2006: 346-360 |
| 50 | | Jovan Cakic,
Richard F. Paige:
Origins of the Grid Architectural Style.
ICECCS 2006: 227-235 |
| 49 | | Mohd Syazwan Abdullah,
Richard F. Paige,
Ian D. Benest,
Chris Kimble:
Knowledge Engineering Using the UML Profile - Adopting the Model-Driven Architecture for Knowledge-Based System Development.
ICEIS (2) 2006: 74-81 |
| 48 | | Xiaocheng Ge,
Richard F. Paige,
Fiona Polack,
Howard Chivers,
Phillip J. Brooke:
Agile development of secure web applications.
ICWE 2006: 305-312 |
| 47 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack:
Merging Models with the Epsilon Merging Language (EML).
MoDELS 2006: 215-229 |
| 46 | | Richard F. Paige,
Dimitrios S. Kolovos,
Fiona Polack:
An action semantics for MOF 2.0.
SAC 2006: 1304-1305 |
| 45 | | Alek Radjenovic,
Richard F. Paige:
The View Glue.
WADS 2006: 66-88 |
| 44 | | Emine G. Aydal,
Richard F. Paige,
Howard Chivers,
Phillip J. Brooke:
Security Planning and Refactoring in Extreme Programming.
XP 2006: 154-163 |
| 43 | | Richard F. Paige,
Xiaochen Wang,
Zoë R. Stephenson,
Phillip J. Brooke:
Towards an Agile Process for Building Software Product Lines.
XP 2006: 198-199 |
| 42 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack:
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries.
ECEASST 5: (2006) |
| 41 | | Alek Radjenovic,
Richard F. Paige:
Architecture Description Languages for High-Integrity Real-Time Systems.
IEEE Software 23(2): 71-79 (2006) |
| 40 | | Mohd Syazwan Abdullah,
Chris Kimble,
Ian D. Benest,
Richard F. Paige:
Knowledge-based systems: a re-evaluation.
J. Knowledge Management 10(3): 127-142 (2006) |
| 39 | | Richard F. Paige,
Triston S. Attridge,
Phillip J. Brooke:
Game Development Using Design-by-Contract.
Journal of Object Technology 5(7): (2006) |
| 2005 |
|---|
| 38 | | Mohd Syazwan Abdullah,
Richard F. Paige,
Ian D. Benest,
Chris Kimble:
Unified Modeling Language for Knowledge Modelling.
CIMCA/IAWTIC 2005: 952-957 |
| 37 | | Zhan En Chan,
Richard F. Paige:
Designing a Domain-Specific Contract Language: A Metamodelling Approach.
ECMDA-FA 2005: 175-189 |
| 36 | | Howard Chivers,
Richard F. Paige:
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language.
ECMDA-FA 2005: 205-219 |
| 35 | | Richard F. Paige,
Phillip J. Brooke:
Agile Formal Method Engineering.
IFM 2005: 109-128 |
| 34 | | Richard F. Paige,
Howard Chivers,
John A. McDermid,
Zoë R. Stephenson:
High-integrity extreme programming.
SAC 2005: 1518-1523 |
| 33 | | Dimitrios S. Kolovos,
Richard F. Paige,
Fiona Polack:
An Agile and Extensible Code Generation Framework.
XP 2005: 226-229 |
| 32 | | Howard Chivers,
Richard F. Paige,
Xiaocheng Ge:
Agile Security Using an Incremental Security Architecture.
XP 2005: 57-65 |
| 31 | | Jovan Cakic,
Richard F. Paige:
A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems.
iiWAS 2005: 85-96 |
| 30 | | Richard F. Paige,
Dimitrios S. Kolovos,
Fiona Polack:
Refinement via Consistency Checking in MDA.
Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005) |
| 29 | | Jonathan S. Ostroff,
Richard F. Paige,
David Makalsky,
Phillip J. Brooke:
E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.
Journal of Object Technology 4(7): 97-114 (2005) |
| 2004 |
|---|
| 28 | | Mohd Syazwan Abdullah,
Chris Kimble,
Richard F. Paige,
Ian D. Benest,
Andy Evans:
Developing a UML Profile for Modelling Knowledge-Based Systems.
MDAFA 2004: 220-233 |
| 27 | | Richard F. Paige,
Jonathan S. Ostroff:
Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.
TFM 2004: 107-123 |
| 26 | | Jonathan S. Ostroff,
David Makalsky,
Richard F. Paige:
Agile Specification-Driven Development.
XP 2004: 104-112 |
| 25 | | Richard F. Paige,
Jonathan S. Ostroff:
ERC - An object-oriented refinement calculus for Eiffel.
Formal Asp. Comput. 16(1): 51-79 (2004) |
| 24 | | Oleksandr Fuks,
Jonathan S. Ostroff,
Richard F. Paige:
SECG: The SCOOP-to-Eiffel Code Generator.
Journal of Object Technology 3(10): 143-161 (2004) |
| 23 | | Richard F. Paige,
Phillip J. Brooke:
Integrating BON and Object-Z.
Journal of Object Technology 3(3): 121-141 (2004) |
| 2003 |
|---|
| 22 | | Richard F. Paige,
Priyanka Agarwal,
Phillip J. Brooke:
Combining Agile Practices with UML and EJB: A Case Study in Agile Development.
XP 2003: 351-353 |
| 21 | | Phillip J. Brooke,
Richard F. Paige:
Fault trees for security system design and analysis.
Computers & Security 22(3): 256-264 (2003) |
| 20 | | Richard F. Paige,
Jonathan S. Ostroff,
Phillip J. Brooke:
Theorem Proving Support for View Consistency Checking.
L'OBJET 9(4): 115-134 (2003) |
| 2002 |
|---|
| 19 | | Phillip J. Brooke,
Richard F. Paige:
The Design of a Tool-Supported Graphical Notation for Timed CSP.
IFM 2002: 299-318 |
| 18 | | Richard F. Paige,
Liliya Kaminskaya,
Jonathan S. Ostroff,
Jason Lancaric:
BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.
Journal of Object Technology 1(3): 77-96 (2002) |
| 17 | | Richard F. Paige,
Jonathan S. Ostroff:
The Single Model Principle.
Journal of Object Technology 1(5): 63-81 (2002) |
| 2001 |
|---|
| 16 | | Shuxia Tan,
Eshrat Arjomandi,
Richard F. Paige,
Evan Mamas,
Simon Moser,
Bill O'Farrell:
Extending the message flow debugger for MQSI.
CASCON 2001: 15 |
| 15 | | Richard F. Paige,
Jonathan S. Ostroff:
Metamodelling and Conformance Checking with PVS.
FASE 2001: 2-16 |
| 14 | | Richard F. Paige,
Jonathan S. Ostroff:
The Single Model Principle.
RE 2001: 292-293 |
| 13 | | Richard F. Paige,
Jonathan S. Ostroff:
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems.
pUML 2001: 192-206 |
| 2000 |
|---|
| 12 | | Richard F. Paige,
Jonathan S. Ostroff,
Phillip J. Brooke:
Principles for modeling language design.
Information & Software Technology 42(10): 665-675 (2000) |
| 1999 |
|---|
| 11 | | Richard F. Paige:
Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication.
IFM 1999: 353-372 |
| 10 | | Richard F. Paige,
Jonathan S. Ostroff:
A Comparison of the Business Object Notation and the Unified Modelling Language.
UML 1999: 67-82 |
| 9 | | Richard F. Paige,
Eric C. R. Hehner:
Bunches for Object-Oriented, Concurrent, and Real-Time Specification.
World Congress on Formal Methods 1999: 530-550 |
| 8 | | Richard F. Paige,
Jonathan S. Ostroff:
Developing BON as an Industrial-Strength Formal Method.
World Congress on Formal Methods 1999: 834-853 |
| 7 | | Richard F. Paige:
Integrating a Program Design Calculus and a Subset of UML.
Comput. J. 42(2): 82-99 (1999) |
| 6 | | Richard F. Paige:
When are methods complementary?
Information & Software Technology 41(3): 157-162 (1999) |
| 1998 |
|---|
| 5 | | Richard F. Paige,
Jonathan S. Ostroff:
From Z to BON/Eiffel.
ASE 1998: 209-212 |
| 4 | | Richard F. Paige:
Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space.
ZUM 1998: 214-232 |
| 3 | | Richard F. Paige:
Heterogeneous Notations for Pure Formal Method Integration.
Formal Asp. Comput. 10(3): 233-242 (1998) |
| 1997 |
|---|
| 2 | | Richard F. Paige:
Case Studies in Using a Meta-Method for Formal Method Integration.
AMAST 1997: 395-408 |
| 1 | | Richard F. Paige:
A Meta-Method for Formal Method Integration.
FME 1997: 473-494 |
