| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard F. Paige, Nikolaos Drivalos, Dimitrios S. Kolovos, Kiran Jude Fernandes, Christopher Power, Gøran K. Olsen, Steffen Zschaler |
Rigorous identification and encoding of trace-links in model-driven engineering.  |
Software and System Modeling  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian Sommerville, Dave Cliff, Radu Calinescu, Justin Keen, Tim Kelly, Marta Z. Kwiatkowska, John A. McDermid, Richard F. Paige |
Large-scale Complex IT Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Louis M. Rose, Antonio García-Domínguez, James R. Williams, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
Saying Hello World with Epsilon - A Solution to the 2011 Instructive Case |
TTC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Andy Galloway, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
High-integrity agile processes for the development of safety critical software. |
IJCCBS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Model-based Failure Failure Analysis of Business Process. |
ICEIS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Louis M. Rose, James R. Williams |
Integrated Model Management with Epsilon. |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert B. France, Jochen Malte Küster, Behzad Bordbar, Richard F. Paige (eds.) |
Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings |
ECMFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel Wimmer, Gerti Kappel, Angelika Kusel, Werner Retschitzegger, Johannes Schönböck, Wieland Schwinger, Dimitrios S. Kolovos, Richard F. Paige, Marius Lauder, Andy Schürr, Denis Wagelaar |
A Comparison of Rule Inheritance in Model-to-Model Transformation Languages. |
ICMT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio García-Domínguez, Dimitrios S. Kolovos, Louis M. Rose, Richard F. Paige, Inmaculada Medina-Bulo |
EUnit: A Unit Testing Framework for Model Management Tasks. |
MoDELS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Williams, Simon M. Poulding, Louis M. Rose, Richard F. Paige, Fiona A. C. Polack |
Identifying Desirable Game Character Behaviours through the Application of Evolutionary Algorithms to Model-Driven Engineering Metamodels. |
SSBSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige |
Using Model Transformation to Generate Graphical Counter-Examples for the Formal Analysis of xUML Models. |
ICECCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelina Espinoza, Richard F. Paige, Juan Garbajosa |
Value-Based Software Traceability Workshop (VALSOT 2011). |
XP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Gøran K. Olsen, Jon Oldevik, Tor Neple |
Guest editorial to the theme issue on traceability in model-driven engineering. |
Software and System Modeling |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip J. Brooke, Richard F. Paige, Christopher Power |
Document-centric XML workflows with fragment digital signatures. |
Softw., Pract. Exper. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Ramsin, Richard F. Paige |
Iterative criteria-based approach to engineering the requirements of software development methodologies. |
IET Software |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jim Woodcock, Phillip J. Brooke, Ana Cavalcanti |
Programming Phase: Formal Methods. |
Encyclopedia of Software Engineering |
2010 |
DBLP BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige |
A Visual Specification Language for Model-to-Model Transformations. |
VL/HCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Drivalos Matragkas, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes |
A state-based approach to traceability maintenance. |
ECMFA-TW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Darren Clowes, Dimitrios S. Kolovos, Chris Holmes, Louis M. Rose, Richard F. Paige, Julian Johnson, Ray Dawson, Steve G. Probets |
A Reflective Approach to Model-Driven Web Engineering. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige |
Traceability in model-driven safety critical software engineering. |
ECMFA-TW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis M. Rose, Dimitrios S. Kolovos, Nikolaos Drivalos, James R. Williams, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes |
Concordance: A Framework for Managing Model Integrity. |
ECMFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
Model Migration with Epsilon Flock. |
ICMT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Louis M. Rose, Nikolaos Drivalos Matragkas, Richard F. Paige, Fiona A. C. Polack, Kiran Jude Fernandes |
Constructing and Navigating Non-invasive Model Decorations. |
ICMT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Louis M. Rose, Saad bin Abid, Richard F. Paige, Fiona A. C. Polack, Goetz Botterweck |
Taming EMF and GMF Using Model Transformation. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige |
Inter-modelling: From Theory to Practice. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Esther Guerra, Juan de Lara, Dimitrios S. Kolovos, Richard F. Paige, Osmar Marchi dos Santos |
transML: A Family of Languages to Model Model Transformations. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis M. Rose, Markus Herrmannsdoerfer, James R. Williams, Dimitrios S. Kolovos, Kelly Garcés, Richard F. Paige, Fiona A. C. Polack |
A Comparison of Model Migration Tools. |
MoDELS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige |
KAOS-β: A Goal-oriented Process Model for EIS. |
MSVVEIS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska (eds.) |
15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010 |
ICECCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Malihe Tabatabaie, Fiona A. C. Polack, Richard F. Paige |
Evaluating Goal-Oriented Analysis in the Domain of Enterprise Information Systems. |
CENTERIS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | James R. Williams, Fiona A. C. Polack, Richard F. Paige |
Formal Analysis in Model Management: Exploiting the Power of CZT. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Phillip J. Brooke |
Editorial. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip J. Brooke, Richard F. Paige |
Cameo: an alternative model of concurrency for Eiffel. |
Formal Asp. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Chivers, Richard F. Paige |
XRound: A reversible template language and its application in model-based security analysis. |
Information & Software Technology |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock |
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. |
ICST |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Helen Treharne, Edward Turner, Richard F. Paige, Dimitrios S. Kolovos |
Automatic Generation of Integrated Formal Models Corresponding to UML System Models. |
TOOLS |
2009 |
DBLP DOI BibTeX RDF |
Epsilon, UML, Model transformation, CSP, B |
| 1 | Louis M. Rose, Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
Enhanced Automation for Managing Model and Metamodel Inconsistency. |
ASE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Alan Hartman, Arend Rensink (eds.) |
Model Driven Architecture - Foundations and Applications, 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings |
ECMDA-FA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Faraz Ahmadi Torshizi, Jonathan S. Ostroff, Richard F. Paige, Marsha Chechik |
The SCOOP Concurrency Model in Java-like Languages. |
CPA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Osmar Marchi dos Santos, Jim Woodcock, Richard F. Paige, Steve King |
The Use of Model Transformation in the INESS Project. |
FMCO |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Zschaler, Dimitrios S. Kolovos, Nikolaos Drivalos, Richard F. Paige, Awais Rashid |
Domain-Specific Metamodelling Languages for Software Language Engineering. |
SLE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Power, Richard F. Paige |
Content Personalization for Inclusive Education through Model-Driven Engineering. |
HCI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige (eds.) |
Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings |
ICMT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Probabilistic Failure Propagation and Transformation Analysis. |
SAFECOMP |
2009 |
DBLP DOI BibTeX RDF |
failure, probabilistic analysis, component-based system, safety analysis |
| 1 | Xiaocheng Ge, Richard F. Paige, John A. McDermid |
Domain analysis on an electronic health records system. |
FOSD |
2009 |
DBLP DOI BibTeX RDF |
feature oriented domain analysis, healthcare domain, electronic health record |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C. Polack |
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. |
Rigorous Methods for Software Construction and Analysis |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Emine G. Aydal, Richard F. Paige, Jim Woodcock |
Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | Emine G. Aydal, Richard F. Paige, Jim Woodstock |
Observations for Assertion-based Scenarios in the context of Model Validation. |
ECEASST |
2008 |
DBLP BibTeX RDF |
|
| 1 | 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. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Raman Ramsin, Richard F. Paige |
Process-centered review of object oriented software development methodologies. |
ACM Comput. Surv. |
2008 |
DBLP DOI BibTeX RDF |
integrated methodologies, methodology engineering, seminal methodologies, agile methods, Object-oriented methodologies |
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
Detecting and Repairing Inconsistencies across Heterogeneous Models. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Model Driven Development, Inconsistency Management, Model Consistency |
| 1 | Alek Radjenovic, Richard F. Paige |
The Role of Dependency Links in Ensuring Architectural View Consistency. |
WICSA |
2008 |
DBLP DOI BibTeX RDF |
view consistency, dependency links, architecture description languages |
| 1 | Richard F. Paige, Bertrand Meyer (eds.) |
Objects, Components, Models and Patterns, 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings |
TOOLS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
The Epsilon Generation Language. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran Jude Fernandes |
Engineering a DSL for Software Traceability. |
SLE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
The Epsilon Transformation Language. |
ICMT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke |
Towards Agile Engineering of High-Integrity Systems. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
The Grand Challenge of Scalability for Model Driven Engineering. |
MoDELS Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
Constructing Models with the Human-Usable Textual Notation. |
MoDELS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip J. Brooke, Richard F. Paige, Jeremy L. Jacob |
A CSP model of Eiffel's SCOOP. |
Formal Asp. Comput. |
2007 |
DBLP DOI BibTeX RDF |
SCOOP, Formal methods, Concurrency, Programming languages, Eiffel |
| 1 | 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 |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip J. Brooke, Richard F. Paige |
Exceptions in Concurrent Eiffel. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff |
Metamodel-based model conformance and multiview consistency checking. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
multiview consistency, formal methods, Metamodeling, automated verification |
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | David H. Akehurst, Régis Vogel, Richard F. Paige (eds.) |
Model Driven Architecture- Foundations and Applications, Third European Conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007, Proccedings |
ECMDA-FA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Phillip J. Brooke, Richard F. Paige |
Lazy Exploration and Checking of CSP Models with CSPsim. |
CPA |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohd Syazwan Abdullah, Ian D. Benest, Richard F. Paige, Chris Kimble |
Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. |
ER |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers |
A Novel Approach to the Detection of Cheating in Multiplayer Online Games. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest |
A UML Profile for Knowledge-Based Systems Modelling. |
SERA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke |
Extreme Programming Security Practices. |
XP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippa Conmy, Richard F. Paige |
Model-driven Development of Particle System Families. |
MOMPES |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. |
ECEASST |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alek Radjenovic, Richard F. Paige |
Architecture Description Languages for High-Integrity Real-Time Systems. |
IEEE Software |
2006 |
DBLP DOI BibTeX RDF |
software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development |
| 1 | Richard F. Paige, Triston S. Attridge, Phillip J. Brooke |
Game Development Using Design-by-Contract. |
Journal of Object Technology |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohd Syazwan Abdullah, Chris Kimble, Ian D. Benest, Richard F. Paige |
Knowledge-based systems: a re-evaluation. |
J. Knowledge Management |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP BibTeX RDF |
|
| 1 | Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble |
Knowledge Modelling Using The UML Profile. |
AIAI |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke |
Agile development of secure web applications. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
feature driven development, security risk assessment, web applications |
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
The Epsilon Object Language (EOL). |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos |
Using a Model Merging Language for Reconciling Model Versions. |
ECMDA-FA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
An action semantics for MOF 2.0. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
simulation, MOF, action semantics |
| 1 | Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack |
Merging Models with the Epsilon Merging Language (EML). |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | John A. Clark, Richard F. Paige, Fiona Polack, Phillip J. Brooke (eds.) |
Security in Pervasive Computing, Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings |
SPC |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jovan Cakic, Richard F. Paige |
Origins of the Grid Architectural Style. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alek Radjenovic, Richard F. Paige |
The View Glue. |
WADS |
2006 |
DBLP DOI BibTeX RDF |
view consistency, modelling, software architectures, safety critical systems, architectural views |
| 1 | Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke |
Towards an Agile Process for Building Software Product Lines. |
XP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Emine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke |
Security Planning and Refactoring in Extreme Programming. |
XP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack |
Refinement via Consistency Checking in MDA. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhan En Chan, Richard F. Paige |
Designing a Domain-Specific Contract Language: A Metamodelling Approach. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Howard Chivers, Richard F. Paige |
XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. |
ECMDA-FA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson |
High-integrity extreme programming. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
extreme programming, agile development, high-integrity systems |
| 1 | Richard F. Paige, Phillip J. Brooke |
Agile Formal Method Engineering. |
IFM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble |
Unified Modeling Language for Knowledge Modelling. |
CIMCA/IAWTIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jovan Cakic, Richard F. Paige |
A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. |
iiWAS |
2005 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")