dblp.uni-trier.dewww.uni-trier.de

Richard F. Paige Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
87EERichard 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
86EERichard F. Paige: Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings Springer 2009
85EEXiaocheng Ge, Richard F. Paige, John A. McDermid: Domain analysis on an electronic health records system. FOSD 2009: 49-54
84EEChristopher Power, Richard F. Paige: Content Personalization for Inclusive Education through Model-Driven Engineering. HCI (7) 2009: 102-109
83EERichard F. Paige, Dimitrios S. Kolovos, Louis M. Rose, Nicholaos Drivalos, Fiona A. C. Polack: The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. ICECCS 2009: 162-171
82EEJendrik 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
81EEXiaocheng Ge, Richard F. Paige, John A. McDermid: Probabilistic Failure Propagation and Transformation Analysis. SAFECOMP 2009: 215-228
80EEHelen 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
2008
79 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
78EELouis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: The Epsilon Generation Language. ECMDA-FA 2008: 1-16
77EEDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Transformation Language. ICMT 2008: 46-60
76EEDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Detecting and Repairing Inconsistencies across Heterogeneous Models. ICST 2008: 356-364
75EELouis M. Rose, Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Constructing Models with the Human-Usable Textual Notation. MoDELS 2008: 249-263
74EERichard 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
73EEDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Grand Challenge of Scalability for Model Driven Engineering. MoDELS Workshops 2008: 48-53
72EERichard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke: Towards Agile Engineering of High-Integrity Systems. SAFECOMP 2008: 30-43
71EENikolaos Drivalos, Dimitrios S. Kolovos, Richard F. Paige, Kiran J. Fernandes: Engineering a DSL for Software Traceability. SLE 2008: 151-167
70EEAlek Radjenovic, Richard F. Paige: The Role of Dependency Links in Ensuring Architectural View Consistency. WICSA 2008: 199-208
69EERaman Ramsin, Richard F. Paige: Process-centered review of object oriented software development methodologies. ACM Comput. Surv. 40(1): (2008)
68EEEmine G. Aydal, Richard F. Paige, Jim Woodstock: Observations for Assertion-based Scenarios in the context of Model Validation. ECEASST 15: (2008)
67EEEmine G. Aydal, Richard F. Paige, Jim Woodcock: Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. ECEASST 9: (2008)
66EERichard 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
65 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
64 Phillip J. Brooke, Richard F. Paige: Lazy Exploration and Checking of CSP Models with CSPsim. CPA 2007: 33-49
63EEMohd 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
62EEPeter 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
61EEEmine 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
60EEMohd Syazwan Abdullah, Richard F. Paige, Chris Kimble, Ian D. Benest: A UML Profile for Knowledge-Based Systems Modelling. SERA 2007: 871-878
59EEXiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke: Extreme Programming Security Practices. XP 2007: 226-230
58 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
57EERichard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff: Metamodel-based model conformance and multiview consistency checking. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
56EEPhillip J. Brooke, Richard F. Paige, Jeremy L. Jacob: A CSP model of Eiffel's SCOOP. Formal Asp. Comput. 19(4): 487-512 (2007)
55EEDimitrios 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
54 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
53EEMohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble: Knowledge Modelling Using The UML Profile. AIAI 2006: 70-77
52EEDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: The Epsilon Object Language (EOL). ECMDA-FA 2006: 128-142
51EEKlaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos: Using a Model Merging Language for Reconciling Model Versions. ECMDA-FA 2006: 143-157
50EEJean 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
49EEJovan Cakic, Richard F. Paige: Origins of the Grid Architectural Style. ICECCS 2006: 227-235
48 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
47EEXiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke: Agile development of secure web applications. ICWE 2006: 305-312
46EEDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Merging Models with the Epsilon Merging Language (EML). MoDELS 2006: 215-229
45EERichard F. Paige, Dimitrios S. Kolovos, Fiona Polack: An action semantics for MOF 2.0. SAC 2006: 1304-1305
44EEAlek Radjenovic, Richard F. Paige: The View Glue. WADS 2006: 66-88
43EEEmine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke: Security Planning and Refactoring in Extreme Programming. XP 2006: 154-163
42EERichard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke: Towards an Agile Process for Building Software Product Lines. XP 2006: 198-199
41EEDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries. ECEASST 5: (2006)
40EEAlek Radjenovic, Richard F. Paige: Architecture Description Languages for High-Integrity Real-Time Systems. IEEE Software 23(2): 71-79 (2006)
39EERichard 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
37EEZhan En Chan, Richard F. Paige: Designing a Domain-Specific Contract Language: A Metamodelling Approach. ECMDA-FA 2005: 175-189
36EEHoward Chivers, Richard F. Paige: XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. ECMDA-FA 2005: 205-219
35EERichard F. Paige, Phillip J. Brooke: Agile Formal Method Engineering. IFM 2005: 109-128
34EERichard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson: High-integrity extreme programming. SAC 2005: 1518-1523
33EEDimitrios S. Kolovos, Richard F. Paige, Fiona Polack: An Agile and Extensible Code Generation Framework. XP 2005: 226-229
32EEHoward 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
30EERichard F. Paige, Dimitrios S. Kolovos, Fiona Polack: Refinement via Consistency Checking in MDA. Electr. Notes Theor. Comput. Sci. 137(2): 151-161 (2005)
29EEJonathan 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
28EEMohd 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
27EERichard F. Paige, Jonathan S. Ostroff: Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. TFM 2004: 107-123
26EEJonathan S. Ostroff, David Makalsky, Richard F. Paige: Agile Specification-Driven Development. XP 2004: 104-112
25EERichard F. Paige, Jonathan S. Ostroff: ERC - An object-oriented refinement calculus for Eiffel. Formal Asp. Comput. 16(1): 51-79 (2004)
24EEOleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige: SECG: The SCOOP-to-Eiffel Code Generator. Journal of Object Technology 3(10): 143-161 (2004)
23EERichard F. Paige, Phillip J. Brooke: Integrating BON and Object-Z. Journal of Object Technology 3(3): 121-141 (2004)
2003
22EERichard F. Paige, Priyanka Agarwal, Phillip J. Brooke: Combining Agile Practices with UML and EJB: A Case Study in Agile Development. XP 2003: 351-353
21EEPhillip J. Brooke, Richard F. Paige: Fault trees for security system design and analysis. Computers & Security 22(3): 256-264 (2003)
20EERichard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke: Theorem Proving Support for View Consistency Checking. L'OBJET 9(4): 115-134 (2003)
2002
19EEPhillip J. Brooke, Richard F. Paige: The Design of a Tool-Supported Graphical Notation for Timed CSP. IFM 2002: 299-318
18EERichard 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)
17EERichard F. Paige, Jonathan S. Ostroff: The Single Model Principle. Journal of Object Technology 1(5): 63-81 (2002)
2001
16EEShuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell: Extending the message flow debugger for MQSI. CASCON 2001: 15
15EERichard F. Paige, Jonathan S. Ostroff: Metamodelling and Conformance Checking with PVS. FASE 2001: 2-16
14EERichard 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
9EERichard F. Paige, Eric C. R. Hehner: Bunches for Object-Oriented, Concurrent, and Real-Time Specification. World Congress on Formal Methods 1999: 530-550
8EERichard 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
5EERichard 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
3EERichard 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
1EERichard F. Paige: A Meta-Method for Formal Method Integration. FME 1997: 473-494

Coauthor Index

1Mohd Syazwan Abdullah [28] [38] [48] [53] [58] [60] [63]
2Priyanka Agarwal [22]
3David H. Akehurst [65]
4Eshrat Arjomandi [16]
5Triston S. Attridge [39]
6Emine G. Aydal [43] [61] [67] [68]
7Ian D. Benest [28] [38] [48] [53] [58] [60] [63]
8Jean Bézivin [50]
9Salim Bouzitouna [50]
10Phillip J. Brooke [12] [19] [20] [21] [22] [23] [29] [35] [39] [42] [43] [47] [54] [56] [57] [59] [62] [64] [72] [74]
11Jovan Cakic [31] [49]
12Antonio Castillo [82]
13Zhan En Chan [37]
14Ramon Charalambous [72]
15Howard Chivers [32] [34] [36] [43] [47] [62]
16John A. Clark (John Andrew Clark) [54]
17Nicholaos Drivalos [83]
18Nikolaos Drivalos [71]
19Klaus-D. Engel [51]
20Andy Evans [28]
21Marcos Didonet Del Fabro [50]
22Kiran J. Fernandes [71]
23Miguel A. Fernández [82]
24Oleksandr Fuks [24]
25Xiaocheng Ge [32] [47] [59] [72] [74] [81] [85]
26Marie-Pierre Gervais [50]
27Alan Hartman [87]
28Eric C. R. Hehner [9]
29Jeremy L. Jacob (Jeremy Jacob) [56]
30Jendrik Johannes [82]
31Frédéric Jouault [50]
32Liliya Kaminskaya [18]
33Chris Kimble [28] [38] [48] [53] [58] [60] [63]
34Dimitrios S. Kolovos [30] [33] [41] [45] [46] [50] [51] [52] [55] [71] [73] [74] [75] [76] [77] [78] [80] [82] [83]
35Ivan Kurtev [50]
36Jason Lancaric [18]
37Peter Laurens [62]
38David Makalsky [26] [29]
39Evan Mamas [16]
40John A. McDermid [34] [81] [85]
41Bertrand Meyer [79]
42Simon Moser [16]
43Bill O'Farrell [16]
44Jonathan S. Ostroff [5] [8] [10] [12] [13] [14] [15] [17] [18] [20] [24] [25] [26] [27] [29] [57]
45Fiona Polack [30] [33] [41] [45] [46] [47] [52] [54] [55] [59] [73] [75] [76] [77] [78]
46Fiona A. C. Polack [83]
47Christopher Power [84]
48Alek Radjenovic [40] [44] [70]
49Raman Ramsin [69]
50Arend Rensink [87]
51Louis M. Rose [55] [74] [75] [78] [83]
52Zoë R. Stephenson [34] [42]
53Shuxia Tan [16]
54Helen Treharne [80]
55Edward Turner [80]
56Régis Vogel [65]
57Xiaochen Wang [42]
58Jim Woodcock (J. C. P. Woodcock) [61] [67]
59Jim Woodstock [68]
60Steffen Zschaler [82]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)