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

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Nejati, Faranak
Format: Thesis
Jezik:English
Izdano: 2019
Teme:
Online dostop:http://psasir.upm.edu.my/id/eprint/90768/1/FSKTM%202019%2056%20IR.pdf
Oznake: Označite
Brez oznak, prvi označite!