|
Search the dblp DataBase
Judy Bowen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Judy Bowen, Steve Reeves
Formal Refinement of Informal GUI Design Artefacts. [Citation Graph (0, 0)][DBLP] ASWEC, 2006, pp:221-230 [Conf]
- Judy Bowen, Steve Reeves
Including Design Guidelines in the Formal Specification of Interfaces in Z. [Citation Graph (0, 0)][DBLP] ZB, 2005, pp:454-471 [Conf]
- Judy Bowen, Steve Reeves
Formal Models for Informal GUI Designs. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:183, n:, pp:57-72 [Journal]
Supporting Multi-path UI Development with Vertical Refinement. [Citation Graph (, )][DBLP]
Using formal models to design user interfaces: a case study. [Citation Graph (, )][DBLP]
Developing usability studies via formal models of UIs. [Citation Graph (, )][DBLP]
Model-driven GUI & interaction design using emulation. [Citation Graph (, )][DBLP]
Refinement for User Interface Designs. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|