Author: Meurig Sage
Publications
Co-authors
Productive Colleagues
- Philip D. Gray
- Chris Johnson
- 36
- 43
Publications
Gray, Philip D., Sage, Meurig (2001): Dynamic Links for Mobile Connected Context-Sensitive Systems. In: Little, Murray Reed, Nigay, Laurence (eds.) EHCI 2001 - Engineering for Human-Computer Interaction, 8th IFIP International Conference May 11-13, 2001, Toronto, Canada. pp. 281-298. https://link.springer.de/link/service/series/0558/bibs/2254/22540281.htm
Sage, Meurig, Johnson, Chris (1997): Interactors and Haggis: Executable specifications for interactive systems. In: Harrison, Michael D., Torres, Juan Carlos (eds.) DSV-IS 1997 - Design, Specification and Verification of Interactive Systems97, Proceedings of the Fourth International Eurographics Workshop June 4-6, 1997, Granada, Spain. pp. 93-108.
Sage, Meurig, Johnson, Chris (1998): Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Developme. In: Markopoulos, Panos, Johnson, Peter (eds.) DSV-IS 1998 - Design, Specification and Verification of Interactive Systems98, Proceedings of the Fifth International Eurographics Workshop June 3-5, 1998, Abingdon, United Kingdom. pp. 134-154.