Specification languages for preserving consistency between models of different languages | Kementerian Pendidikan, Kebudayaan, Riset, dan Teknologi

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

Image of Specification languages for preserving consistency between models of different languages

Text

Specification languages for preserving consistency between models of different languages

Kramer, Max Emanuel - Personal Name;

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.

Availability

No copy data

Detail Information

Series Title: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner
Call Number: 005.1 KRA s
Publisher: Karlsruhe : KIT Scientific Publishing., 2019
Collation: XX, 440 p.
Language: English
ISBN/ISSN: 9783731507840
Classification: 005.1
Content Type: -
Media Type: -
Carrier Type: -
Edition: -
Subject(s): Computer Science
Specific Detail Info: -
Statement of Responsibility: -

Other version/related

No other version available

File Attachment

9783731507840
Other Resource Link

Comments

You must be logged in to post a comment