The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Richard F. Paige: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard F. Paige
    Case Studies in Using a Meta-Method for Formal Method Integration. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:395-408 [Conf]
  2. Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell
    Extending the message flow debugger for MQSI. [Citation Graph (0, 0)][DBLP]
    CASCON, 2001, pp:15- [Conf]
  3. 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. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2006, pp:346-360 [Conf]
  4. Zhan En Chan, Richard F. Paige
    Designing a Domain-Specific Contract Language: A Metamodelling Approach. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2005, pp:175-189 [Conf]
  5. Howard Chivers, Richard F. Paige
    XRound: Bidirectional Transformations and Unifications Via a Reversible Template Language. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2005, pp:205-219 [Conf]
  6. Klaus-D. Engel, Richard F. Paige, Dimitrios S. Kolovos
    Using a Model Merging Language for Reconciling Model Versions. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2006, pp:143-157 [Conf]
  7. Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
    The Epsilon Object Language (EOL). [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2006, pp:128-142 [Conf]
  8. Richard F. Paige, Jonathan S. Ostroff
    Metamodelling and Conformance Checking with PVS. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:2-16 [Conf]
  9. Richard F. Paige
    A Meta-Method for Formal Method Integration. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:473-494 [Conf]
  10. Richard F. Paige, Eric C. R. Hehner
    Bunches for Object-Oriented, Concurrent, and Real-Time Specification. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:530-550 [Conf]
  11. Richard F. Paige, Jonathan S. Ostroff
    Developing BON as an Industrial-Strength Formal Method. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:834-853 [Conf]
  12. 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. [Citation Graph (0, 0)][DBLP]
    ICEIS (2), 2006, pp:74-81 [Conf]
  13. Xiaocheng Ge, Richard F. Paige, Fiona Polack, Howard Chivers, Phillip J. Brooke
    Agile development of secure web applications. [Citation Graph (0, 0)][DBLP]
    ICWE, 2006, pp:305-312 [Conf]
  14. Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble
    Knowledge Modelling Using The UML Profile. [Citation Graph (0, 0)][DBLP]
    AIAI, 2006, pp:70-77 [Conf]
  15. Richard F. Paige
    Specification and Refinement using a Heterogeneous Notation for Concurrency and Communication. [Citation Graph (0, 0)][DBLP]
    IFM, 1999, pp:353-372 [Conf]
  16. Richard F. Paige, Phillip J. Brooke
    Agile Formal Method Engineering. [Citation Graph (0, 0)][DBLP]
    IFM, 2005, pp:109-128 [Conf]
  17. Phillip J. Brooke, Richard F. Paige
    The Design of a Tool-Supported Graphical Notation for Timed CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 2002, pp:299-318 [Conf]
  18. Jovan Cakic, Richard F. Paige
    A Web Services Description Framework to Support Dynamic Run-Time Binding in Grid-based Systems. [Citation Graph (0, 0)][DBLP]
    iiWAS, 2005, pp:85-96 [Conf]
  19. Richard F. Paige, Jonathan S. Ostroff
    From Z to BON/Eiffel. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:209-212 [Conf]
  20. Mohd Syazwan Abdullah, Chris Kimble, Richard F. Paige, Ian D. Benest, Andy Evans
    Developing a UML Profile for Modelling Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    MDAFA, 2004, pp:220-233 [Conf]
  21. Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
    Merging Models with the Epsilon Merging Language (EML). [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:215-229 [Conf]
  22. Richard F. Paige, Jonathan S. Ostroff
    The Single Model Principle. [Citation Graph (0, 0)][DBLP]
    RE, 2001, pp:292-293 [Conf]
  23. Richard F. Paige, Howard Chivers, John A. McDermid, Zoë R. Stephenson
    High-integrity extreme programming. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:1518-1523 [Conf]
  24. Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
    An action semantics for MOF 2.0. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:1304-1305 [Conf]
  25. Richard F. Paige, Jonathan S. Ostroff
    Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP]
    TFM, 2004, pp:107-123 [Conf]
  26. Richard F. Paige, Jonathan S. Ostroff
    A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:192-206 [Conf]
  27. Richard F. Paige, Jonathan S. Ostroff
    A Comparison of the Business Object Notation and the Unified Modelling Language. [Citation Graph (0, 0)][DBLP]
    UML, 1999, pp:67-82 [Conf]
  28. Emine G. Aydal, Richard F. Paige, Howard Chivers, Phillip J. Brooke
    Security Planning and Refactoring in Extreme Programming. [Citation Graph (0, 0)][DBLP]
    XP, 2006, pp:154-163 [Conf]
  29. Howard Chivers, Richard F. Paige, Xiaocheng Ge
    Agile Security Using an Incremental Security Architecture. [Citation Graph (0, 0)][DBLP]
    XP, 2005, pp:57-65 [Conf]
  30. Richard F. Paige, Priyanka Agarwal, Phillip J. Brooke
    Combining Agile Practices with UML and EJB: A Case Study in Agile Development. [Citation Graph (0, 0)][DBLP]
    XP, 2003, pp:351-353 [Conf]
  31. Dimitrios S. Kolovos, Richard F. Paige, Fiona Polack
    An Agile and Extensible Code Generation Framework. [Citation Graph (0, 0)][DBLP]
    XP, 2005, pp:226-229 [Conf]
  32. Jonathan S. Ostroff, David Makalsky, Richard F. Paige
    Agile Specification-Driven Development. [Citation Graph (0, 0)][DBLP]
    XP, 2004, pp:104-112 [Conf]
  33. Richard F. Paige, Xiaochen Wang, Zoë R. Stephenson, Phillip J. Brooke
    Towards an Agile Process for Building Software Product Lines. [Citation Graph (0, 0)][DBLP]
    XP, 2006, pp:198-199 [Conf]
  34. Richard F. Paige
    Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space. [Citation Graph (0, 0)][DBLP]
    ZUM, 1998, pp:214-232 [Conf]
  35. Mohd Syazwan Abdullah, Richard F. Paige, Ian D. Benest, Chris Kimble
    Unified Modeling Language for Knowledge Modelling. [Citation Graph (0, 0)][DBLP]
    CIMCA/IAWTIC, 2005, pp:952-957 [Conf]
  36. Richard F. Paige
    Integrating a Program Design Calculus and a Subset of UML. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1999, v:42, n:2, pp:82-99 [Journal]
  37. Phillip J. Brooke, Richard F. Paige
    Fault trees for security system design and analysis. [Citation Graph (0, 0)][DBLP]
    Computers & Security, 2003, v:22, n:3, pp:256-264 [Journal]
  38. Richard F. Paige, Dimitrios S. Kolovos, Fiona Polack
    Refinement via Consistency Checking in MDA. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:137, n:2, pp:151-161 [Journal]
  39. Richard F. Paige
    Heterogeneous Notations for Pure Formal Method Integration. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1998, v:10, n:3, pp:233-242 [Journal]
  40. Richard F. Paige, Jonathan S. Ostroff
    ERC - An object-oriented refinement calculus for Eiffel. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2004, v:16, n:1, pp:51-79 [Journal]
  41. Richard F. Paige
    When are methods complementary? [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1999, v:41, n:3, pp:157-162 [Journal]
  42. Richard F. Paige, Jonathan S. Ostroff, Phillip J. Brooke
    Principles for modeling language design. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 2000, v:42, n:10, pp:665-675 [Journal]
  43. Oleksandr Fuks, Jonathan S. Ostroff, Richard F. Paige
    SECG: The SCOOP-to-Eiffel Code Generator. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:10, pp:143-161 [Journal]
  44. Jonathan S. Ostroff, Richard F. Paige, David Makalsky, Phillip J. Brooke
    E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2005, v:4, n:7, pp:97-114 [Journal]
  45. Richard F. Paige, Phillip J. Brooke
    Integrating BON and Object-Z. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2004, v:3, n:3, pp:121-141 [Journal]
  46. Richard F. Paige, Liliya Kaminskaya, Jonathan S. Ostroff, Jason Lancaric
    BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:3, pp:77-96 [Journal]
  47. Richard F. Paige, Jonathan S. Ostroff
    The Single Model Principle. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2002, v:1, n:5, pp:63-81 [Journal]
  48. Alek Radjenovic, Richard F. Paige
    Architecture Description Languages for High-Integrity Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2006, v:23, n:2, pp:71-79 [Journal]
  49. Mohd Syazwan Abdullah, Ian Benest, Richard F. Paige, Chris Kimble
    Using Unified Modeling Language for Conceptual Modelling of Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP]
    ER, 2007, pp:438-453 [Conf]
  50. Jovan Cakic, Richard F. Paige
    Origins of the Grid Architectural Style. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2006, pp:227-235 [Conf]
  51. Peter Laurens, Richard F. Paige, Phillip J. Brooke, Howard Chivers
    A Novel Approach to the Detection of Cheating in Multiplayer Online Games. [Citation Graph (0, 0)][DBLP]
    ICECCS, 2007, pp:97-106 [Conf]
  52. Alek Radjenovic, Richard F. Paige
    The View Glue. [Citation Graph (0, 0)][DBLP]
    WADS, 2006, pp:66-88 [Conf]
  53. Xiaocheng Ge, Richard F. Paige, Fiona Polack, Phillip J. Brooke
    Extreme Programming Security Practices. [Citation Graph (0, 0)][DBLP]
    XP, 2007, pp:226-230 [Conf]
  54. Richard F. Paige, Triston S. Attridge, Phillip J. Brooke
    Game Development Using Design-by-Contract. [Citation Graph (0, 0)][DBLP]
    Journal of Object Technology, 2006, v:5, n:7, pp:- [Journal]
  55. Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
    Metamodel-based model conformance and multiview consistency checking. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2007, v:16, n:3, pp:- [Journal]

  56. Formal Analysis in Model Management: Exploiting the Power of CZT. [Citation Graph (, )][DBLP]


  57. On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages. [Citation Graph (, )][DBLP]


  58. Concordance: A Framework for Managing Model Integrity. [Citation Graph (, )][DBLP]


  59. The Epsilon Generation Language. [Citation Graph (, )][DBLP]


  60. A Reflective Approach to Model-Driven Web Engineering. [Citation Graph (, )][DBLP]


  61. Content Personalization for Inclusive Education through Model-Driven Engineering. [Citation Graph (, )][DBLP]


  62. The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering. [Citation Graph (, )][DBLP]


  63. Enhanced Automation for Managing Model and Metamodel Inconsistency. [Citation Graph (, )][DBLP]


  64. The Grand Challenge of Scalability for Model Driven Engineering. [Citation Graph (, )][DBLP]


  65. Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse. [Citation Graph (, )][DBLP]


  66. FPTC: Automated Safety Analysis for Domain-Specific Languages. [Citation Graph (, )][DBLP]


  67. Constructing Models with the Human-Usable Textual Notation. [Citation Graph (, )][DBLP]


  68. Inter-modelling: From Theory to Practice. [Citation Graph (, )][DBLP]


  69. A Comparison of Model Migration Tools. [Citation Graph (, )][DBLP]


  70. Abstracting Complex Languages through Transformation and Composition. [Citation Graph (, )][DBLP]


  71. Domain analysis on an electronic health records system. [Citation Graph (, )][DBLP]


  72. Taming EMF and GMF Using Model Transformation. [Citation Graph (, )][DBLP]


  73. transML: A Family of Languages to Model Model Transformations. [Citation Graph (, )][DBLP]


  74. Towards Agile Engineering of High-Integrity Systems. [Citation Graph (, )][DBLP]


  75. Probabilistic Failure Propagation and Transformation Analysis. [Citation Graph (, )][DBLP]


  76. A UML Profile for Knowledge-Based Systems Modelling. [Citation Graph (, )][DBLP]


  77. The Role of Dependency Links in Ensuring Architectural View Consistency. [Citation Graph (, )][DBLP]


  78. Automatic Generation of Integrated Formal Models Corresponding to UML System Models. [Citation Graph (, )][DBLP]


  79. Model-driven Development of Particle System Families. [Citation Graph (, )][DBLP]


  80. Detecting and Repairing Inconsistencies across Heterogeneous Models. [Citation Graph (, )][DBLP]


  81. Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation. [Citation Graph (, )][DBLP]


  82. The Epsilon Transformation Language. [Citation Graph (, )][DBLP]


  83. Model Migration with Epsilon Flock. [Citation Graph (, )][DBLP]


  84. Constructing and Navigating Non-invasive Model Decorations. [Citation Graph (, )][DBLP]


  85. Lazy Exploration and Checking of CSP Models with CSPsim. [Citation Graph (, )][DBLP]


  86. The SCOOP Concurrency Model in Java-like Languages. [Citation Graph (, )][DBLP]


  87. Domain-Specific Metamodelling Languages for Software Language Engineering. [Citation Graph (, )][DBLP]


  88. Engineering a DSL for Software Traceability. [Citation Graph (, )][DBLP]


  89. Theorem Proving Support for View Consistency Checking. [Citation Graph (, )][DBLP]


  90. Process-centered review of object oriented software development methodologies. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.057secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002