Narrow your search

Library

FARO (1)

KU Leuven (1)

LUCA School of Arts (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

UGent (1)

ULB (1)

ULiège (1)

More...

Resource type

book (1)


Language

English (1)


Year
From To Submit

2019 (1)

Listing 1 - 1 of 1
Sort by

Book
Specification Languages for Preserving Consistency between Models of Different Languages
Author:
ISBN: 1000081446 3731507846 Year: 2019 Publisher: KIT Scientific Publishing

Loading...
Export citation

Choose an application

Bookmark

Abstract

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