Khi các hệ thống CNTT phức tạp đang được phát triển, việc sử dụng một số ngôn ngữ lập trình và mô hình hóa có thể dẫn đến sự không nhất quán tạo ra các thiết kế và triển khai lỗi. Để giải quyết vấn đề này, cuốn sách này đóng góp một phân loại các thách thức về bảo toàn tính nhất quán và một phương pháp để bảo toàn tính nhất quán. Nó được chính thức hóa bằng cách sử dụng lý thuyết tập hợp và giám sát các thay đổi để tránh các vấn đề khớp và khác biệt. Ba ngôn ngữ mới theo phương pháp bảo toàn này được trình bày.

Abstract:

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 book 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.

Ngôn ngữ:	eng
Tác giả:	Kramer, Max Emanuel
Thông tin nhan đề:	Specification Languages for Preserving Consistency between Models of Different Languages
Nhà xuất bản:	KIT Scientific Publishing
Loại hình:	Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:	https://creativecommons.org/licenses/by-sa/4.0/
Nguồn gốc:	https://www.ksp.kit.edu/site/books/m/10.5445/KSP/1000081446/
Mô tả vật lý:	440p.
Năm xuất bản:	2019