Skip to main content
SpringerLink
Log in
Book cover

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

  • Textbook
  • © 2001

Overview

Authors:
  1. Manfred Broy

    1. Institut für Informatik, Technische Universität München, München, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Ketil Stølen

    1. Sintef Telecom and Informatics, Oslo, Norway
      Department of Informatics, University of Oslo, Oslo, Norway

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Monographs in Computer Science (MCS)

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

Access this book

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

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xv
    Download chapter PDF

  2. Introduction

    • Manfred Broy, Ketil Stølen
    Pages 1-17

  3. A Guided Tour

    • Manfred Broy, Ketil Stølen
    Pages 19-50

  4. Basics

    • Manfred Broy, Ketil Stølen
    Pages 51-56

  5. Streams

    • Manfred Broy, Ketil Stølen
    Pages 57-68

  6. Specifications

    • Manfred Broy, Ketil Stølen
    Pages 69-99

  7. Examples

    • Manfred Broy, Ketil Stølen
    Pages 101-114

  8. Properties of Specifications

    • Manfred Broy, Ketil Stølen
    Pages 115-136

  9. Equational Specification of State Transitions

    • Manfred Broy, Ketil Stølen
    Pages 137-160

  10. Access Control System

    • Manfred Broy, Ketil Stølen
    Pages 161-176

  11. Tables and Diagrams

    • Manfred Broy, Ketil Stølen
    Pages 177-193

  12. Abracadabra Protocol

    • Manfred Broy, Ketil Stølen
    Pages 195-212

  13. A/G Specifications

    • Manfred Broy, Ketil Stølen
    Pages 213-228

  14. Memory with Locking

    • Manfred Broy, Ketil Stølen
    Pages 229-240

  15. Refinement

    • Manfred Broy, Ketil Stølen
    Pages 241-252

  16. Behavioral Refinement

    • Manfred Broy, Ketil Stølen
    Pages 253-268

  17. Interface Refinement

    • Manfred Broy, Ketil Stølen
    Pages 269-297

  18. Conditional Refinement

    • Manfred Broy, Ketil Stølen
    Pages 299-313

  19. Final Remarks

    • Manfred Broy, Ketil Stølen
    Pages 315-317

  20. Back Matter

    Pages 319-348
    Download chapter PDF
Back to top

Keywords

About this book

This book presents a fundamental mathematical and logical approach to soft­ ware and systems engineering. Considering the large number of books de­ scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help of component specifications with precisely identified interfaces and refinement concepts. Our book aims at systems development carried out in a systematic way, based on a clear mathematical theory. We do not claim that this book presents a full-blown engineering method. In fact, this is certainly not a book for the application-driven software engi­ neer looking for a practical method for system development in an industrial context. It is much rather a book for the computer scientist and the scientifi­ cally interested engineer who looks for basic principles of system development and, moreover, its mathematical foundations. It is also a book for method builders interested in a proper mathematical foundation on which they can build a practical development method and industrial-strength support tools.

Authors and Affiliations

  • Institut für Informatik, Technische Universität München, München, Germany

    Manfred Broy

  • Sintef Telecom and Informatics, Oslo, Norway

    Ketil Stølen

  • Department of Informatics, University of Oslo, Oslo, Norway

    Ketil Stølen

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation