Specification Languages for Preserving Consistency between Models of Different Languages

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Max Emanuel Kramer

Ngôn ngữ: eng

ISBN-13: 978-3731507840

Ký hiệu phân loại:

Thông tin xuất bản: Karlsruhe : KIT Scientific Publishing, 2019

Mô tả vật lý: 1 electronic resource (XX, 440 p. p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 204632

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.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2020 THƯ VIỆN HUTECH