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

Paige, Richard Freeman (Principal investigator)

Computer Science

Project: Research project (funded) › Research

Status	Finished
Effective start/end date	1/11/07 → 31/10/08

Funding

EPSRC: £6,756.00

4 Paper

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