- 1 Bowen, Jonathan P. and Hinchey, Michael G. Ten commandments of formal methods. IEEE Software, 28(4):56-63, April 1995. Google ScholarDigital Library
- 2 Carrington, D. and Stocks, P. A tale of two paradigms: Formal methods and software testing. In J. E. Nicholls and J. A. Hall, editors, Z User Workshop, pages 51-68. Springer-Verlag, Cambridge, June 1994. Also published as Technical Report 94-4, Software Verification Research Centre, Department of Computer Science, The University of Queensland.Google Scholar
- 3 Duke, D., Faconti, G., Harrison, M., and Paterno, F. Unifying views of interactors. In Proceedings of the Workshop on Advanced Visual Interfaces, pages 143-152. ACM Press, June 1994. Google ScholarDigital Library
- 4 Duke, D. and Harrison, M. Abstract interaction objects. Computer Graphics Forum, 12:25-36, 1993.Google ScholarCross Ref
- 5 Duke, D. J., and Harrison, M. D. Mapping user requirements to implementations. IEE/BCS Software Engineering Journal, 10(1):13-20, January 1995.Google ScholarCross Ref
- 6 Duke, R., Rose, G., and Smith, G. Object-Z: A specification language advocated for the description of standards. Computer Standards & Interfaces, 17:511-533, 1995. Google ScholarDigital Library
- 7 Fisher, G. L., and Frincke, D. A. Formal specification and verification of graphical user interfaces. In Shriver {28}, pages 114-123.Google Scholar
- 8 Gamma, E., Helm, R., Johnson, R., and Vlissides, J. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994. Google ScholarDigital Library
- 9 Gaudel, M. Testing can be formal, too. In TAPSOFT '95 : Theory and practice of software development : Sixth International Joint Conference on Theory and Practice of Software Development, volume 915 of Lecture Notes in Computer Science, pages 82-96, May 1995. Aarhus, Denmark. Google ScholarDigital Library
- 10 Gieskens, D. F., and Foley, J. D. Controlling user interface objects through pre- and postconditions. In Penny Bauersfeld, John Bennett, and Gene Lynch, editors, Striking A Balance: Conference on Human Factors in Computing Systems (CHI '92), pages 189-194, Monterey, CA, May 1992. Google ScholarDigital Library
- 11 Hall, A. Seven myths of formal methods. IEEE Software, 7(5):11-19, September 1990. Google ScholarDigital Library
- 12 Hall, A. Using formal methods to develop an ATC information system. IEEE Software, 13(2):66-76, March 1996. Google ScholarDigital Library
- 13 Harrison, M. D., and Duke, D. J. A review of formalisms for describing interactive behaviour. In Software Engineering and Human-Computer Interaction, volume 896 of Lecture Notes in Computer Science, pages 49-75. Springer-Verlag, 1995. Google ScholarDigital Library
- 14 Harrison, M., and Thimbleby, H., editors. Formal Methods in Human-Computer Interaction. Cambridge University Press, 1990. Google ScholarDigital Library
- 15 Hausler, P. A., Linger, R. C., and Trammell, C. J. Adopting Cleanroom software engineering with a phased approach. IBM Systems Journal, 33(1):89-109, 1994. Google ScholarDigital Library
- 16 Hoffman, D., and Strooper, P. The testgraph methodology: Automated testing of collection classes. Journal of Object-Oriented Programming, 8(7):35-41, November-December 1995.Google Scholar
- 17 Hörcher, H., and Peleska, J. Using formal specifications to support software testing. Software Quality Journal, 4(4):309-327, December 1995.Google ScholarCross Ref
- 18 Hussey, A., and Carrington, D. Using Object-Z to compare the MVC and PAC architectures. In C. R. Roast and J. I. Siddiqi, editors, Proceedings of BCS-FACS Workshop: Formal Aspects of the Human Computer Interface, pages 45-60, Sheffield, UK, September 1996. Also published in longer form as Technical Report 95-33, Software Verification Research Centre, Department of Computer Science, The University of Queensland.Google Scholar
- 19 Hussey, A., and Carrington, D. Using Object-Z to specify a web browser interface. In John Grundy and Mark Apperley, editors, Proceedings OzCHI, pages 236-243, Auckland, New Zealand, November 1996. Also published as Technical Report 96-6, Software Verification Research Centre, Department of Computer Science, The University of Queensland. Google ScholarDigital Library
- 20 IEEE. Standard Glossary of Software Engineering Terminology. In IEEE Software Engineering Standards Collection. IEEE, 1994. Std 610.12-190.Google Scholar
- 21 Leveson, N. G., and Turner, C. S. An investigation of the Therac-25 accidents. Computer, 26(7):18-41, July 1993. Google ScholarDigital Library
- 22 Myers, B. A. A new model for handling input. ACM Transactions on Information Systems, 8(3):289-320, 1990. Google ScholarDigital Library
- 23 Palanque, P., and Bastide, R. Petri Net based design of user-driven interfaces using the Interactive Cooperative Objects formalism. In Fabio Paterno, editor, Eurographics Workshop on Design, Specification, and Verification of Interactive Systems, pages 383-300, Bocca di Magra, Italy, June 1994.Google Scholar
- 24 Parnas, D. L. On the use of transition diagrams in the design of a user interface. In Proceedings of the 1969 National ACM Conference, pages 739-743. Association for Computing Machinery, 1969. Google ScholarDigital Library
- 25 Phillips, M. CICS/ESA 3.1 experiences. In J. E. Nicholls and J. A. Hall, editors, Z User Workshop, pages 179-185, Oxford, December 1990. Springer-Verlag. Proceedings of the Fourth Annual Z User Meeting.Google ScholarCross Ref
- 26 Reisner, P. Formal grammar and human factors design of an interactive graphics system. IEEE Transactions on Software Engineering, SE-7:229-240, March 1981.Google ScholarDigital Library
- 27 Rose, G. Object-Z. In S. Stepney, R. Barden, and D. Cooper, editors, Object Orientation in Z, Workshops in Computing, chapter 6, pages 59-77. Springer-Verlag, 1992. Google ScholarDigital Library
- 28 Shriver, B. D., editor. Proceedings of the Twenty-Fourth Annual Hawaii International Conference on System Sciences, 1991.Google Scholar
- 29 Stocks, P., and Carrington, D. Test templates: A specification-based testing framework. In Proceedings International Conference on Software Engineering (ICSE), volume 15th, pages 405-414. IEEE Computer Society Press, Baltimore, MD, May 1993.Also published in a longer form as Technical Report 243, Department of Computer Science, The University of Queensland. Google ScholarDigital Library
- 30 Stocks, P., and Carrington, D. Test Template Framework: A specification-based testing case study. In Thomas Ostrand and Elaine Weyucker, editors, Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'93), pages 11-18. ACM Press, June 1993. Also published in a longer form as Technical Report 255, Department of Computer Science, The University of Queensland. Google ScholarDigital Library
- 31 Sufrin, B., and He, J. Specification, analysis and refinement of interactive processes. In Harrison and Thimbleby {14}, chapter 6, pages 153-200. Google ScholarDigital Library
- 32 Took, R. Putting design into practice: Formal specification and the user interface. In Harrison and Thimbleby {14}, chapter 3, pages 63-96. Google ScholarDigital Library
- 33 Wing, J. M. Formal methods. In John J. Marciniak, editor, Encyclopedia of Software Engineering, pages 504-517. John Wiley & Sons, 1994.Google Scholar
- 34 Yip, S. W. L., and Robson, D. J. Graphical user interfaces validation: A problem analysis and a strategy to solution. In Shriver {28}, pages 91-101.Google Scholar
- 35 Yip, S. W. L., and Robson, D. J. Window user interfaces and software maintenance. Software Maintenance: Research and Practice, 3:107-123, 1991. Google ScholarDigital Library
Index Terms
- User interface correctness
Recommendations
The University of Alberta user interface management system
In this paper the design and implementation of the University of Alberta user interface management system (UIMS) is discussed. This UIMS is based on the Seeheim model of user interfaces, which divides the user interface into three separate components. ...
The University of Alberta user interface management system
SIGGRAPH '85: Proceedings of the 12th annual conference on Computer graphics and interactive techniquesIn this paper the design and implementation of the University of Alberta user interface management system (UIMS) is discussed. This UIMS is based on the Seeheim model of user interfaces, which divides the user interface into three separate components. ...
A Dialog-Oriented User Interface Generation Mechanism
APSEC '96: Proceedings of the Third Asia-Pacific Software Engineering ConferenceNowadays, for GUI application development, there are a number of interface builders, which make it possible for the user to create user interfaces easily, and UIMSs, which help to specify and design user interfaces. However, interface builders lack the ...
Comments