Register | Log in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

leonardo's Paige [13 articles]

Recent papers posted to leonardo's library by the author Paige. You can also see everyone's Paige.
  • Evaluation of OCL for Large-Scale Modelling: A Different View of the Mondex Purse
    Models in Software Engineering (2008), pp. 194-205.
    by Emine Aydal, Richard Paige, Jim Woodcock
    posted to no-tag by leonardo on 2008-09-03 18:44:38 as **
  • Process-centered review of object oriented software development methodologies
    ACM Comput. Surv., Vol. 40, No. 1. (February 2008), pp. 1-89.
    by Raman Ramsin, Richard F Paige
    posted to no-tag by leonardo on 2008-03-31 14:28:31 as ** along with 3 people and 1 group momo54 charoy hawkestein ecoo-ce
  • The Design of a Tool-Supported Graphical Notation for Timed CSP
    Integrated Formal Methods (2002), pp. 299-318.
    by Phillip J Brooke, Richard F Paige
    posted to 2002 csp tool by leonardo on 2008-03-13 14:13:52 as **
  • Using a Model Merging Language for Reconciling Model Versions
    Model Driven Architecture – Foundations and Applications (2006), pp. 143-157.
    by Klaus D Engel, Richard F Paige, Dimitrios Kolovos
    posted to no-tag by leonardo on 2008-03-10 17:41:32 as **
  • Agile Formal Method Engineering
    Integrated Formal Methods (2005), pp. 109-128.
    by Richard F Paige, Phillip J Brooke
    posted to 2005 agile formal_methods _hardcopy _to_download_springer by leonardo on 2008-03-10 00:20:16 as **
  • Merging Models with the Epsilon Merging Language (EML)
    Model Driven Engineering Languages and Systems (2006), pp. 215-229.
    by Dimitrios Kolovos, Richard F Paige, Fiona Polack
    posted to no-tag by leonardo on 2008-03-08 14:38:20 as ** along with 1 person segura
  • The Epsilon Object Language (EOL)
    Model Driven Architecture – Foundations and Applications (2006), pp. 128-142.
    by Dimitrios Kolovos, Richard Paige, Fiona Polack
    posted to _to_download_springer by leonardo on 2007-12-26 23:37:13 as ** along with 1 person francoisl
  • Metamodel-based model conformance and multiview consistency checking
    ACM Trans. Softw. Eng. Methodol., Vol. 16, No. 3. (July 2007)
    by Richard F Paige, Phillip J Brooke, Jonathan S Ostroff
    posted to _marcia by leonardo on 2007-12-18 02:19:23 as ** along with 2 people and 1 group architect benavides tdg
  • A Canonical Scheme for Model Composition
    Model Driven Architecture – Foundations and Applications (2006), pp. 346-360.
    by Jean Bézivin, Salim Bouzitouna, Marcos Del Fabro, Marie P Gervais, Frédéric Jouault, Dimitrios Kolovos, Ivan Kurtev, Richard F Paige
    posted to 2006 model_composition _to_download_springer by leonardo on 2007-11-27 13:28:01 as ***
  • Model comparison: a foundation for model composition and model transformation testing
    (2006), pp. 13-20.
    by Dimitrios S Kolovos, Richard F Paige, Fiona AC Polack
    posted to 2006 mdd model_comparison model_composition model_transformation test by leonardo on 2007-05-07 18:47:21 as ** along with 1 person shu
  • ERC : An object-oriented refinement calculus for Eiffel
    Formal Aspects of Computing, Vol. V16, No. 1. (1 April 2004), pp. 51-79.
    by Richard F Paige, Jonathan S Ostroff
    posted to 2004 eiffel refinement_calculus by leonardo on 2006-10-06 21:04:01 as **
  • Using PVS to Support a Real-Time Refinement Calculus
    (2002)
    by Richard F Paige, Phillip J Brooke
    posted to 2002 calculus pvs refinement _to_review by leonardo on 2006-07-24 18:38:16 as ****
  • Refinement via Consistency Checking in MDA
    Electronic Notes in Theoretical Computer Science, Vol. 137, No. 2. (21 July 2005), pp. 151-161.
    by Richard F Paige, Dimitrios S Kolovos, Fiona A Polack
    posted to 2005 _hardcopy mda refinement by leonardo on 2006-03-23 17:30:52 as ** along with 2 people and 1 group scis0000001 francoisl modeling
    • Note: You may cite this page as: http://www.citeulike.org/user/leonardo/author/Paige

    RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.