Search the dblp DataBase
Meurig Sage :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Meurig Sage , Chris Johnson Interactors and Haggis: Executable specifications for interactive systems. [Citation Graph (0, 0)][DBLP ] DSV-IS, 1997, pp:93-108 [Conf ] Meurig Sage , Chris Johnson Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle. [Citation Graph (0, 0)][DBLP ] DSV-IS, 1998, pp:134-154 [Conf ] Philip D. Gray , Meurig Sage Dynamic Links for Mobile Connected Context-Sensitive Systems. [Citation Graph (0, 0)][DBLP ] EHCI, 2001, pp:281-298 [Conf ] Meurig Sage FranTk - a declarative GUI language for Haskell. [Citation Graph (0, 0)][DBLP ] ICFP, 2000, pp:106-117 [Conf ] Meurig Sage , Chris Johnson Interacting with Haggis: Implementing Agent Based Specifications in a Functional Style. [Citation Graph (0, 0)][DBLP ] INTERACT, 1997, pp:126-133 [Conf ] Search in 0.001secs, Finished in 0.001secs