Meurig Sage (Selection)

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

3		Meurig Sage, Chris Johnson: Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. DSV-IS 1998: 134-154
2		Meurig Sage, Chris Johnson: Interactors and Haggis: Executable specifications for interactive systems. DSV-IS 1997: 93-108
1		Meurig Sage, Chris Johnson: Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. INTERACT 1997: 126-133

Selection of 3 from 5 records - Meurig Sage has 2 coauthors