An approach to support incremental software construction and verification in component-based system development

Component-based System Development (CBSD) is a promising way of thinking or philosophy to reduce the cost and time of software system development. Moreover, CBSD is able to tame the complexity of today’s software systems development while the quality is guaranteed. However, supporting correctness...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Nejati, Faranak
Định dạng: Luận văn
Ngôn ngữ:English
Được phát hành: 2019
Những chủ đề:
Truy cập trực tuyến:http://psasir.upm.edu.my/id/eprint/90768/1/FSKTM%202019%2056%20IR.pdf
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!