Development of Collaborations with the Weizmann Institute of Science and IBM Haifa

Research output

Research output per year 2008 2009 2009

• 4 Paper

Research output per year

Research output per year

Search results

• 2009

  Emerging Patterns for Testing Model Management Tools

  Rose, L. M., Kolovos, D. S., Paige, R. F., Gilliam, T. & Polack, F. A. C., 2009.

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

• Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

  Aydal, E. G., Paige, R. F., Utting, M. & Woodcock, J., 2009, p. 131-140.

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

• The Design of a Conceptual Framework and Technical Infrastructure for Model Management Language Engineering

  Paige, R. F., Kolovos, D. S., Rose, L. M., Drivalos, N. & Polack, F. A. C., 2009, p. 162--171.

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

  Unit Testing Model Management Operations

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

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