Kramer | Specification Languages for Preserving Consistency between Models of Different Languages | Buch | 978-3-7315-0784-0 | sack.de

Buch, Englisch, Band 24, 476 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 684 g

Reihe: The Karlsruhe Series on Software Design and Quality

Kramer

Specification Languages for Preserving Consistency between Models of Different Languages


Erscheinungsjahr 2019
ISBN: 978-3-7315-0784-0
Verlag: Karlsruher Institut für Technologie

Buch, Englisch, Band 24, 476 Seiten, Paperback, Format (B × H): 148 mm x 210 mm, Gewicht: 684 g

Reihe: The Karlsruhe Series on Software Design and Quality

ISBN: 978-3-7315-0784-0
Verlag: Karlsruher Institut für Technologie

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.

Kramer Specification Languages for Preserving Consistency between Models of Different Languages jetzt bestellen!

Autoren/Hrsg.

Kramer, Max Emanuel
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.