Manfred Broy, Ketil Stølen

Specification and Development of Interactive Systems (eBook, PDF)

Focus on Streams, Interfaces, and Refinement

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer US
• Seitenzahl: 348
• Erscheinungstermin: 6. Dezember 2012
• Englisch
• ISBN-13: 9781461300915
• Artikelnr.: 44177418

Inhaltsangabe

From the contents: Introduction - A Guided Tour - Basics - Streams - Specifications - Examples - Properties of Specifications - Equational Specifications - Access Control System - Tables and Diagrams - Abracadabra Protocol - A/G-Specifications - Memory with Locking - Refinement - Behavioral Refinement - Interface Refinement - Conditional Refinement - Final Remarks - A. Operators for Stream Tuples - B. Glossary of Terms - C. Bibliography - D. Glossary - E. Index.