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.
Umfang: XX, 440 S.
Preis: €51.00 | £47.00 | $90.00
These are words or phrases in the text that have been automatically identified by the Named Entity Recognition and Disambiguation service, which provides Wikipedia () and Wikidata () links for these entities.
Kramer, M. 2019. Specification Languages for Preserving Consistency between Models of Different Languages. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000081446
Dieses Buch ist lizenziert unter Creative Commons Attribution + ShareAlike 4.0 Dedication
Dieses Buch ist Peer reviewed. Informationen dazu finden Sie hier
Veröffentlicht am 30. Januar 2019
Englisch
476
Paperback | 978-3-7315-0784-0 |