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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Thèse |
| Langue: | English |
| Publié: |
2019
|
| Sujets: | |
| Accès en ligne: | http://psasir.upm.edu.my/id/eprint/90768/1/FSKTM%202019%2056%20IR.pdf |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Soyez le premier à ajouter un commentaire!