References
- BJORNER , D. , HOARE, C. A. R,LANGMAACK, H. (eds) 1990 , VDM '90. VDM and Z-Formal Methods in Software Development , LNCS 428 ( Springer , Berlin ).
- BJORNER , D. JONES , C. B. (eds) 1982 , Formal Specification and Software Development ( Prentice-Hall International , Englewood Cliffs , NJ ).
- BLOOMFIELD , R. , MARSHALL , L. JONES, R. (eds) 1988 , VDM '88 VDM-The Way Ahead , LNCS 328 ( Springer , Berlin / Heidelberg / New York ).
- VAN DEN Bos , J. 1988 , Abstract interaction tools a language for user interface management systems , ACM Transactions on Programming Languages and Systems , 10 , 215 – 247 .
- COUTAZ , J. 1987 , PAC, an object oriented model for dialog design , in H.-J. Bullinger and B. Shackel (eds) Human-Computer Interaclion-INTERACT '87 ( Elsevier , North-Holland ), 431 – 436 .
- GERSTENDORFER , M. and ROHR , G. , 1987 , Which task in which representation on what kind of interface , in H.-J. Bullinger and B. Shackel (eds) Human-Computer Interaction- INTERACT '87 ( Elsevier , North-Holland ), 513 – 518 .
- GIMNICH , R. 1990 , Implementing direct manipulation query languages using an adequate data model , in P. Gorny and M. J. Tauber (eds) Visualization in Human-Computer Interaction , LNCS 439 ( Springer , Berlin ), 227 – 240 .
- GIMNICH , R. and EBERT , J. 1987 , Constructive formal specifications for rapid prototyping , in H.-J. Bullinger and B, Shackel (eds) Human-Computer Interaction-INT'ERACT '87 ( Elsevier , North-Holland ), 1047 – 1052 .
- GIMNICH , R. and ROHR , G. 1989 , Ansatze zu einer empirisch begrundeten Entwurfsmethodik fur graphische Benutzerschnittstellen (Approaches to an empirically based design method for graphical user interfaces), in S. MaaG, and H. Oberquelle (eds) Software-Ergonomie '89 ( Teubner , Stuttgart ) [ in German ].
- GREEN , M. , 1985 , The University of Alberta user interface management system , ACM Computing Graphics , 19 , 205 – 213 .
- HAYES , P. J. 1985 , Executable interface definitions using form-based interface abstractions , in R. H. Hartson (ed). Advances in Human-Computer Interaction , Vol. 1 ( Ablex , Norwood , NJ ), 161 – 189 .
- JACOB , R. J. K. , 1986 , A specification language for direct-manipulation user interfaces , ACM Transactions on Graphics , 5 , 283 – 317 .
- JONES , C. B. 1990 , Systematic Software Development Using VDM , 2nd edn ( Prentice-Hall International , London ).
- NORMAN , D. A. DRAPER, S. W. (eds) 1986 , User Centered System Design-New Perspectives on Human-Computer Interaction ( Lawrence Erlbaum Associates , Hillsdale , NJ ).
- PFAFF, G. E. (ed.) 1985 , User Interface Management Systems ( Springer , Berlin ).
- ROHR , G. 1988 , Graphical user languages for querying information Where to look for criteria? Proceedings of the IEEE Workshop on Visual Languages ( Pittsburgh , PA , 10-12 October 1988 ), 21 – 28 .
- SHNEIDERMAN , B. 1987 , Designing the User Interface Strategies for Effective Human-Computer Interaction ( Addison-Wesley , Reading , MA ).