Specification-based testing of user interfaces

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2844, Issue , 2003, Pages 139-153

  Paiva, Ana C R ^a   Faria, João C P ^a,b   Vidal, Raul F A M ^a  

^a UNIVERSITY OF PORTO   (Portugal)

^b UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; FORMAL SPECIFICATION; SPECIFICATIONS;

ABSTRACTION FUNCTIONS; CONFORMITY TESTS; CONTROL SPECIFICATIONS; DEVELOPMENT PROCESS; MODEL ANIMATIONS; SPECIFICATION BASED TESTING; STATE TRANSITION MODELS; USER INTERFACE DEVELOPMENT;

USER INTERFACES;

EID: 0142246152     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-39929-2_10     Document Type: Article

References (19)

1. A. Puerto, The MECANO Project: Comprehensive and Integrated Support for Model-Based Interface Development, CADUI'96, J. Vanderdonckt (eds), 1996, pp. 19-36.
2. Bernhard K. Aichernig, Automated black-box testing with abstract VDM oracles. In John Fitzgerald and Peter Gorm Larsen, editors, Workshop Materials: VDM in Practice!, Part of the FM'99 World Congress on Formal Methods, Toulouse, pages 57-66, September 1999.
3. Carroll Morgan, Programming from Specification, Prentice Hall, 2nd ed., October 1998.
4. Daniel F. Gieskens and James D. Foley, Controlling User Interface Objects Through Preand Post-conditions, GVU Technical Report Number GIT-GVU-91-09, June 1991.
5. David Duke and Michael Harrison, Towards a theory of Inter actors, Human Computer Interaction Group, Department of Computer Science, University of York, February, 1993.
6. Egbert Schlungbaum and Thomas Elwert, Automatic User Interface Generation front Declarative Models. CADUI'96, J. Vanderdonckt (ed.), 1996, pp. 3-18.
7. François Bodart, Anne-Marie Hennebert, Jean-Marie Leheureux, Isabelle Provot, Benoît Sacré, Jean Vanderdonckt, Towards a Systematic Building of Software Architecture: the TRIDENT Methodological Guide, DSVIS'95, Palanque & Bastide (eds), 5-7 June 1995, pp. 262-278.
8. Frank Lonczewski, The FUSE-System: an Integrated User Interface Design Environment, CADUI'96, J. Vanderdonckt (eds), 1996, pp. 37-56.
9. Ian MacColl and David Carrington, User Interface Correctness, Human Computer Interaction - Spring 1997 - 3.3.
10. John Fitzgerald and Peter Gorm Larsen, Modelling Systems Practical Tools and Techniques in Software Development, Cambridge University Press, 1998.
11. Liskov, B. H. and J. Wing. Behavioural subtyping using invariants and constraints. Technical Report CMU CS-99-156, School of Computer Science, Carnegie Mellon University, July 1999.
12. Morten Borup Harning, An Approach to Strctured Display Design - Coping with Conceptual Compexity, 2nd International Workshop on Computer-Aided Design of User Interfaces CADUI'96 (Namur, 5-7 June 1996), J. Vanderdonckt (Ed.), Presses Universitaires de Namur, Namur, 1996, pp. 121-138.
13. Philippe Palanque and R. Bastide, A Formalism for Reliable User Interfaces, Workshop Software Engineering/Human Computer Interaction associated with the IEEE/ICSE 16 conference, Sorento, Italy 16-22 May 1994.
14. S. Alagar and K. Periyasamy, Specification of Software Systems, Springer, 1998.
15. Sharon Flynn, Expression Refinement Explained, Information Technology Centre, National University of Ireland, Galway, 1999.
16. Thomas P. Browne, David Dávila, Spencer Rugaber, Kurt Stirewalt, Using Declarative Descriptions to Model User Interfaces with MASTERMIND, In F. Paterno and P. Palanque, editors, Formal Methods in Human Computer Interaction. Springer-Verlag, 1997.
17. Wing, J. M. Formal methods. In John J. Marciniak, editor, Encyclopedia of Software Engineering, pages 504-517. John Wiley & Sons, 1994.
18. http://www.ifad.dk/ifad.htm [conferred at 9/Oct/2002].
19. http://beethoven.site.uottawa.ca/ELG7186W2000/cn00ch4B.ps