Normal view MARC view ISBD view

Specification Languages for Preserving Consistency between Models of Different Languages

By:

Kramer, Max Emanuel [auth]

Material type: Article

ArticleLanguage: English Publication details: KIT Scientific Publishing 2019Description: 1 electronic resource (XX, 440 p. p.)ISBN:

KSP/1000081446
9783731507840

Subject(s):

Online resources:

Summary: 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.

Item type:

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Home library	Collection	Call number	Materials specified	Status	Date due	Barcode
Electronic-Books	OPJGU Sonepat- Campus	E-Books Open Access			Available

Open Access star Unrestricted online access

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.

Creative Commons https://creativecommons.org/licenses/by-sa/4.0/ cc https://creativecommons.org/licenses/by-sa/4.0/

English

There are no comments on this title.

to post a comment.