Skip to main content

Development of a WWW Browser Using TADEUS

  • Chapter
Formal Methods in Human-Computer Interaction

Abstract

Users expect advanced interactive applications to be easy-to-use and easy-to-learn. Today users expect to be able to sit down and use software without spending their time reading manuals. But such user interfaces are hard to design and implement. Different studies have shown that an average of 48% of the code of an application is devoted to the user interface, and that about 50% of the implementation time is devoted to implementing the user interface portion (Myers & Rosson 92). As user interfaces become easier to use, they become harder to create. User interface developers need tools which provide a rich support for the development of advanced user interfaces.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The subtasks of these tasks will not be described in this chapter due to the limited space.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag London Limited

About this chapter

Cite this chapter

Palanque, P., PaternĂ², F. (1998). Development of a WWW Browser Using TADEUS. In: Palanque, P., PaternĂ², F. (eds) Formal Methods in Human-Computer Interaction. Formal Approaches to Computing and Information Technology (FACIT). Springer, London. https://doi.org/10.1007/978-1-4471-3425-1_10

Download citation

  • DOI: https://doi.org/10.1007/978-1-4471-3425-1_10

  • Publisher Name: Springer, London

  • Print ISBN: 978-3-540-76158-7

  • Online ISBN: 978-1-4471-3425-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics