Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)

Manfred Broy

ISBN 10: 1461265185 / ISBN 13: 9781461265184

Verlag: Springer, 2012

Beschreibung

reprint edition. 364 pages. 9.25x6.10x0.79 inches. In Stock. Bestandsnummer des Verkäufers x-1461265185

Bibliografische Details

Titel: Specification and Development of Interactive...

Verlag: Springer

Erscheinungsdatum: 2012

Einband: Paperback

Zustand: Brand New

Über diesen Titel

Inhaltsangabe:

This book presents a mathematical and logical approach to program and software development suitable for large, distributed systems. The emphasis is on modular system development, and systems engineering, and it explains how software systems can be developed in a systematic way based on mathematical and scientific principles and using well defined interfaces. An essential resource for all researchers and professionals in computer science, software systems engineering and computer engineering.

Reseña del editor:

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.