Final Remarks

  • Manfred Broy
  • Ketil Stølen
Part of the Monographs in Computer Science book series (MCS)

Abstract

Our goal with this book is to present a comprehensive formalism including specification techniques and refinement concepts for the structured and modular design and development of interactive systems, supporting timing as well as different communication and synchronization paradigms. The main emphasis is on modular abstract description of system behavior. Our approach covers many application areas including the classical tasks of software and hardware design, as well as hardware/software codesign. Nevertheless, there are many aspects of systems engineering that we have not treated. We therefore briefly relate FOCUS to some of the systems engineering paradigms used in practice today and outline some interesting research topics.

Keywords

Encapsulation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Manfred Broy
    • 1
  • Ketil Stølen
    • 2
    • 3
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany
  2. 2.Sintef Telecom and InformaticsOsloNorway
  3. 3.Department of InformaticsUniversity of OsloOsloNorway

Personalised recommendations