Specification Languages for Preserving Consistency between Models of Different Languages

 
 
KIT Scientific Publishing
  • erschienen am 7. Februar 2019
 
  • Buch
  • |
  • Softcover
  • |
  • 476 Seiten
978-3-7315-0784-0 (ISBN)
 
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.
  • Dissertationsschrift
  • |
  • 2019
  • |
  • Karlsruher Institut für Technologie, KIT
  • Englisch
graph. Darst.
  • Höhe: 211 mm
  • |
  • Breite: 151 mm
  • |
  • Dicke: 32 mm
  • 678 gr
978-3-7315-0784-0 (9783731507840)

Sofort lieferbar

51,00 €
inkl. 7% MwSt.
in den Warenkorb