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

Buch 13 von 16: Monographs in Computer Science

Broy, Manfred; Stølen, Ketil

 
9781461265184: Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement (Monographs in Computer Science)
Softcover
ISBN 10: 1461265185 ISBN 13: 9781461265184
Verlag: Springer, 2012

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Manfred Broy leitete an der Technischen Universität München den Lehrstuhl Software & Systems Engineering. Er gründete 2009 das Forschungsinstitut für angewandte Forschungstechnik fortiss. Seit 2016 ist er Gründungspräsident des Zentrums Digitalisierung. Bayern. Seine wissenschaftlichen Arbeiten, die diesem Buch zugrunde liegen, zielen auf die formale Fundierung der Konzepte und Methoden des Softwareengineerings als Basis für eine fundierte Entwicklung von Programmsystemen. Alexander Malkis ist ein internationaler Forscher im Bereich "formale Methoden" mit Fokus auf Verifikation, Programmanalyse und Nebenläufigkeit. Sein Forschungsziel besteht darin, Methoden zur Steigerung von Sicherheit, Zuverlässigkeit und Vertrauenswürdigkeit nebenläufiger Programme, Architekturen und Systeme zu entwickeln.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2012
Sprache
Englisch
ISBN 10 
1461265185
ISBN 13 
9781461265184
Einband
Taschenbuch
Anzahl der Seiten
368
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Tiergartenstr. 17
Heidelberg
69121
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  0387950737 ISBN 13:  9780387950730
Verlag: Springer, 2001
Hardcover