User interface correctness
作者： Ian MacColl , David Carrington
关键词: Shell (computing) 、 User interface 、 10-foot user interface 、 Correctness 、 User interface design 、 Multiple document interface 、 Graphical user interface testing 、 Natural user interface 、 Computer science 、 Programming language
摘要:
acm.org
sci-hub.se 参考文章(31)
Mark Phillips, CICS/ESA 3.1 Experiences Z User Workshop. pp. 179- 185 ,(1990) , 10.1007/978-1-4471-3877-8_11
Roger Took, Putting design into practice: formal specification and the user interface formal methods. pp. 63- 96 ,(1990)
Paul A. Strooper, Daniel Hoffman, The Testgraph Methodology: Automated Testing of Collection Classes. Joop-journal of Object-oriented Programming. ,vol. 8, pp. 35- 41 ,(1995)
Bernard Sulfrin, Jifeng He, Specification, analysis and refinement of interactive processes formal methods. pp. 153- 200 ,(1990)
Andrew Hussey, David C. Carrington, Using object-Z to compare the MVC and PAC architectures FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface. pp. 6- 6 ,(1996) , 10.14236/EWIC/FAC1996.6
D. Carrington, P. Stocks, A tale of two paradigms: Formal methods and software testing Z User Workshop, Cambridge 1994. pp. 51- 68 ,(1994) , 10.1007/978-1-4471-3452-7_4
S.W.L. Yip, D.J. Robson, Graphical user interfaces validation: a problem analysis and a strategy to solution hawaii international conference on system sciences. ,vol. 2, pp. 91- 100 ,(1991) , 10.1109/HICSS.1991.183966
M. D. Harrison, Harold Thimbleby, Formal methods in human-computer interaction Cambridge University Press. ,(1990)
Marie-Claude Gaudel, Testing Can Be Formal, Too colloquium on trees in algebra and programming. pp. 82- 96 ,(1995) , 10.1007/3-540-59293-8_188
Philippe A. Palanque, Rémi Bastide, Petri Net Based Design of User-Driven Interfaces Using the Interactive Cooperative Objects Formalism DSV-IS. pp. 383- 400 ,(1995) , 10.1007/978-3-642-87115-3_23