Consistency-by-Construction Techniques for Software Models and Model Transformations
A model is consistent with given specifications (specs) if and only if all the specifications are held on the model, i.e., all the specs are true (correct) for the model. Constructing consistent models (e.g., programs or artifacts) is vital during software development, especially in Model-Driven...
Đã lưu trong:
Tác giả chính: | |
---|---|
Tác giả khác: | |
Định dạng: | Dissertation |
Ngôn ngữ: | Tiếng Anh |
Được phát hành: |
Philipps-Universität Marburg
2020
|
Những chủ đề: | |
Truy cập trực tuyến: | Bài toàn văn PDF |
Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
No citations were found for this record.