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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer Science+Business Media New York
About this chapter
Cite this chapter
Broy, M., Stølen, K. (2001). Final Remarks. In: Specification and Development of Interactive Systems. Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-0091-5_18
Download citation
DOI: https://doi.org/10.1007/978-1-4613-0091-5_18
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-6518-4
Online ISBN: 978-1-4613-0091-5
eBook Packages: Springer Book Archive