Final Remarks

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


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.


Description Technique Discrete Event System Focus Approach Practice Today Interesting Research Topic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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