Specification and Development of Interactive Systems | Focus on Streams, Interfaces, and Refinement
Manfred Broy (u. a.)
ISBN 10: 1461265185 ISBN 13: 9781461265184
Editorial: Springer, 2012
Nuevos
Taschenbuch
Librería:
preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 5 de agosto de 2024
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
Specification and Development of Interactive Systems | Focus on Streams, Interfaces, and Refinement | Manfred Broy (u. a.) | Taschenbuch | Monographs in Computer Science | xv | Englisch | 2012 | Springer | EAN 9781461265184 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de ref. del artículo 106014319
Sinopsis:
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Specification and Development of Interactive...
Editorial: Springer
Año de publicación: 2012
Encuadernación: Taschenbuch
Condición: Neu