Skip to main content

Trends in Computing

  • Conference paper
  • First Online:
  • 546 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1954))

Abstract

The ever increasing complexity of computer design, both hardware and software, is moving information technology (IT) companies toward a more disciplined approach for system and component imple- mentation. Design criteria, like time-to-market, zero defects, correct-by- design and high volume manufacturability, are driving engineers to lever- age new approaches for hardware and software design. Reusable software components using industry standard component interfaces is one exam- ple of how software engineers can quickly implement high-quality code in a short time frame. Formal hardware and software verification tools will also be required to delivery the quality of designs and short design schedules needed to be competitive in the marketplace. But much work is required to develop the tools and design processes that will enable the average engineer to produce complex, correct, reliable and competitive implementations on very short schedules.

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

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.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

Learn about institutional subscriptions

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dean, M.E. (2000). Trends in Computing. In: Hunt, W.A., Johnson, S.D. (eds) Formal Methods in Computer-Aided Design. FMCAD 2000. Lecture Notes in Computer Science, vol 1954. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40922-X_2

Download citation

  • DOI: https://doi.org/10.1007/3-540-40922-X_2

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41219-9

  • Online ISBN: 978-3-540-40922-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics