Specification and Development of Interactive Systems (Hardcover)

Manfred Broy

ISBN 10: 0387950737 / ISBN 13: 9780387950730

Edité par Springer-Verlag New York Inc., New York, NY, 2001

A propos de cet article

Hardcover. Today's distributed systems are characterized by interactions, often complex, between many different hardware/software components cooperating and exchanging information. To reduce the complexity of the development of interactive systems, experts employ descriptions, or specifications, of a given system's behavior and/or structure. This book provides 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 the 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.

N° de réf. du vendeur 9780387950730

Détails bibliographiques

• Titre: Specification and Development of Interactive Systems (Hardcover)
• Éditeur: Springer-Verlag New York Inc., New York, NY
• Date de parution: 2001
• Langue: anglais
• ISBN à 10 chiffres: 0387950737
• ISBN à 13 chiffres: 9780387950730
• Reliure: Hardcover
• État de l'article: new

A propos de ce titre

Synopsis

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.