Resources

Examples of a few well-known 'styleguides' are:

http://info.med.yale.edu/caim/manual/contents.html

http://www.sun.com/styleguide/index.html

http://www.usability.serco.com/nonframe/web.html

http://www.useit.com

http://www.ameritech.com/corporate/testtown/library/standard/web_guidelines/

http://msdn.microsoft.com/workshop/management/planning/improvingsiteusa.asp

http://www.ibm.com/ibm/easy/design/lower/f060100.html

http://www.killersites.com/core.html

http://trace.wisec.edu (focussed on 'Universal Accessibility')

http://www.w3.org/TR/WAI-WEBCONTENT/ (focussed on 'Universal Accessibility')

Resources on International and Cultural Issues

An excellent collection of resources http://www.acm.org/sigchi/intercultural/

The Word Wide Web Consortium’s internationalisation work: http://www.w3.org/International/

A good book: International User Interfaces, edited by Elisa del Galdo and Jakob Nielsen, published by John Wiley & Sons, New York, NY, 1996. ISBN: 0-471-14965-9 (hardcover).

Another good book: Global Interface Design, Tony Fernandes, Academic Press, 1995, ISBN 0-12-253790-4

CSS: www.w3.org/Style/CSS. It lists known books about CSS, online resources, supporting browsers, and editors.

The CSS1 Recommendation is at http://www.w3.org/TR/REC-CSS1

The CSS2 Recommendation is at http://www.w3.org/TR/REC-CSS2/

XHTML is at http://www.w3.org/TR/xhtml1/ with more information at http://www.w3.org/Markup

XML is at http://www.w3.org/TR/REC-xml with more information at http://www.w3.org/XML/

An excellent book on CSS2, is by two of its creators, Håkon Lie and Bert Bos. It is Cascading Style Sheets: Designing for the Web, published by Addison-Wesley.

http://jigsaw.w3.org/css-validator/ will validate your CSS.

http://validator.w3.org/ will validate your HTML and XHTML

http://www.xml.com/xml/pub/tools/ruwf/check.html will check your XML for well-formedness.

http://www.w3.org/People/Raggett/tidy/ will tidy up your HTML, making it more amenable for CSS, and convert it to XHTML 1.0

http://www.w3.org/Style/CSS/Test/ lets you test your browser for CSS compliance

http://www.w3.org/StyleSheets/Core/ is a set of style sheets for HTML designed by a graphic-designer

http://webreview.com/pub/guides/style/style.html keeps track feature by feature of how well (or badly) browsers implement CSS.

http://webreview.com/wr/pub/guides/style/lboard.html shows which browser is doing best overall.

http://css.nu/pointers/bugs.html offers workarounds for browser bugs.

General articles about specification techniques

J.C. Campos and M.D. Harrison. Formally verifying interactive systems: A review. In Proceedings of the Eurographics workshop '97, pp. 109-124. Springer-Verlag, Wien.

D.J. Duke and M.D. Harrison. From Formal Models to Formal Methods. In Proceedings of ICSE'94 workshop on SE-HCI. pp. 159-173. Lecture Notes in CS 896. Springer, 1995.

A. Hall. Do interactive systems need specifications? In Proceedings of the Eurographics workshop '97, pp. 1-12. Springer-Verlag, Wien.

Task analysis and GTA

Sutcliffe and P. Faraday. Designing Presentation in Multimedia Interfaces. In Proceedings ACM CHI'94. pp. 92-98.

G.C. van der Veer, B.F. Lenting and B.A.J. Bergevoet, Groupware task analysis: Modeling Complexity. Acta Psychologica, 1991.

GTA Homepage: http://www.cs.vu.nl/~martijn/gta

Examples of the use of GOMS

B. E. John, A.H. Vera and A. Newell. Towards Real-Time GOMS. Report, CMU-CS-90-195, Carnegie Mellon, Pittsburgh, 1990.

J. Ziegler and H-J. Bullinger. Formal Models and Techniques in Human-Computer Interaction. In Human Factors for Informatics Usability. pp. 183-205. Cambridge University Press, 1991.

Explanation of the use of Z

J. Woodcock and J. Davies, Using Z - specification, refinement, and proof, Prentice Hall Europe, 1996.

CSP

C.A.R. Hoare, Communicating sequential processes, Prentice-Hall International, 1985.

Executable specifications for interactive systems

B. van Schooten, O. Donk and J. Zwiers. Modelling Interaction in Virtual Environments using Process Algebra. In Proceedings TWLT15, Interactions in Virtual Worlds, pp. 195-212. Twente University, 1999.