Originaltitel:
Contracts for System Design
Inhalt des Buches:
Vor kurzem wurde der vertragsbasierte Entwurf als "orthogonaler" Ansatz vorgeschlagen, der die bisher vorgeschlagenen Systementwurfsmethoden ergänzt, um die Komplexität des Systementwurfs zu bewältigen.
Der vertragsbasierte Entwurf bietet ein strenges Gerüst für Verifikation, Analyse, Abstraktion/Verfeinerung und sogar Synthese. In diesem Bereich wurden bereits mehrere Ergebnisse erzielt, aber eine einheitliche Behandlung des Themas, die helfen kann, vertragsbasierten Entwurf in die richtige Perspektive zu rücken, fehlte bisher.
Contracts for System Design bietet eine solche Behandlung, in der Verträge genau definiert und charakterisiert werden, so dass sie in Entwurfsmethodiken ohne Mehrdeutigkeit verwendet werden können. Es identifiziert das Wesen des Entwurfs komplexer Systeme mit Hilfe von Verträgen durch eine mathematische "Meta-Theorie", in der alle Eigenschaften der Methodik von einem sehr abstrakten und generischen Begriff des Vertrags abgeleitet werden. Diese Meta-Theorie bietet tiefe und aufschlussreiche Verbindungen zu bestehenden Vertrags- und Schnittstellentheorien sowie Leitlinien für den Entwurf neuer Theorien.
Sie umfasst Verträge sowohl für Software als auch für Systeme, wobei der Schwerpunkt auf letzteren liegt. Contracts for System Design veranschaulicht die Verwendung von Verträgen anhand von zwei Beispielen: Requirements Engineering für ein Parkhausmanagement und die Entwicklung von Verträgen für Timing und Scheduling im Zusammenhang mit der AUTOSAR-Methodik, die im Automobilsektor eingesetzt wird.
Weitere Daten des Buches:
| ISBN: | 9781680834024 |
| Autor: | |
| Verlag: | |
| Einband: | Taschenbuch |
| Erscheinungsjahr: | 2018 |
| Seitenzahl: | 296 |
Kauf:
Derzeit verfügbar, auf Lager.
