Erschienen: 07.02.2019 Abbildung von Kramer | Specification Languages for Preserving Consistency between Models of Different Languages | 2019

Kramer

Specification Languages for Preserving Consistency between Models of Different Languages

lieferbar, ca. 4 Wochen

2019. Buch. 476 S. Softcover

ISBN 978-3-7315-0784-0

Format (B x L): 15.1 x 21.1 cm

Gewicht: 678 g

In englischer Sprache

Produktbeschreibung

When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...