Specification Languages for Preserving Consistency Between Models of Different Languages

Name: Specification Languages for Preserving Consistency between Models of Different Languages
Price: 317.75 RON
Availability: OnlineOnly
Author: Max Emanuel Kramer
ISBN: 9783731507840

Autor Max Emanuel Kramer

en Limba Engleză Hardback – 8 oct 2020

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.

This work was published by Saint Philip Street Press pursuant to a Creative Commons license permitting commercial use. All rights not granted by the work's license are retained by the author or authors.

Citește tot Restrânge