Search results: Found 1

Listing 1 - 1 of 1
Sort by
Specification Languages for Preserving Consistency between Models of Different Languages

Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731507840 Year: Volume: 24 Pages: XX, 440 p. DOI: 10.5445/KSP/1000081446 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02

Export citation

Choose an application


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.

Listing 1 - 1 of 1
Sort by
Narrow your search


KIT Scientific Publishing (1)


CC by-sa (1)


english (1)

From To Submit

2019 (1)