Refinement patterns for contractual statecharts

Research output

Research output per year 2007 2007 2008 2009 2010

• 5 Conference contribution
• 5 Paper
• 2 Article
• 1 Book

Research output per year

Research output per year

Search results

• 2010

  Towards a Model-Based Refinement Process for Contractual Statecharts

  Paige, R. F., 4 May 2010, Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2010 13th IEEE International Symposium on . 2010 ed. IEEE Computer Society, Vol. 2. p. 108-115 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2009

  Different Models for Model Matching: An analysis of approaches to support model differencing

  Kolovos, D. S., Di Ruscio, D., Pierantonio, A. & Paige, R. F., 2009, 2009 ICSE WORKSHOP ON COMPARISON AND VERSIONING OF SOFTWARE MODELS. NEW YORK: IEEE, p. 16 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Enhanced Automation for Managing Model and Metamodel Inconsistency

  Rose, L. M., Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2009, 2009 IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS. LOS ALAMITOS: IEEE Computer Society, p. 545-549 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages

  Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2009, p. 204-218.

  Research output: Contribution to conference › Paper › peer-review

• Probabilistic Failure Propagation and Transformation Analysis

  Ge, X., Paige, R. F. & McDermid, J. A., 2009, SAFECOMP '09 : Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security. Berlin, Heidelberg: Springer, p. 215-228 14 p. (Lecture Notes In Computer Science; vol. 5775).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Theory and Practice of Model Transformations: Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings

  Paige, R. F. (ed.), 2009, Springer. (Lecture Notes in Computer Science; vol. 5563)

  Research output: Book/Report › Book
• 2008

  Constructing Models with the Human-Usable Textual Notation

  Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 249-263.

  Research output: Contribution to conference › Paper › peer-review

• The Epsilon Generation Language

  Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, p. 1--16.

  Research output: Contribution to conference › Paper › peer-review

• The Epsilon Transformation Language

  Kolovos, D. S., Paige, R. F. & Polack, F., 2008, Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings. Springer, p. 46-60 (Lecture Notes in Computer Science; vol. 5063).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• The Grand Challenge of Scalability for Model Driven Engineering

  Kolovos, D. S., Paige, R. F. & Polack, F., 2008, p. 48-53.

  Research output: Contribution to conference › Paper › peer-review
• 2007

  Challenges when using Model-Driven Architecture in the development of Safety Critical Software

  Conmy, P. & Paige, R. F., 31 Mar 2007, p. 127-136. 9 p.

  Research output: Contribution to conference › Paper › peer-review

• Metamodel-based model conformance and multiview consistency checking

  Paige, R. F., Brooke, P. J. & Ostroff, J. S., Jul 2007, In: ACM Transactions on Software Engineering and Methodology. 16, 3, p. B1-B49 49 p., 11.

  Research output: Contribution to journal › Article › peer-review

  File

• Update Transformations in the Small with the Epsilon Wizard Language

  Kolovos, D. S., Paige, R. F., Polack, F. A. C. & Rose, L. M., 2007, In: Journal of Object Technology. 6, 9, p. 53-69 17 p.

  Research output: Contribution to journal › Article › peer-review