TY  - CONF
ID  - SisLab1517
UR  - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1517/
A1  - Bui, Anh Tu
A1  - Truong, Ninh Thuan
Y1  - 2016/03/26/
N2  - Vi?c phát tri?n ph?n m?m yêu c?u các b??c th?c hi?n ch?t ch?, ?? chính xác cao nh?m ?áp ?ng ?úng, ?? yêu c?u ng??i s? d?ng. Tuy nhiên ??i ng? phát tri?n ph?n m?m c?ng không th? ki?m soát h?t các l?i, các v?n ?? phát sinh khi ph?n m?m ??a vào s? d?ng.   
?? tài t?p trung vào vi?c nghiên c?u các ph??ng pháp nh?m phân tích m?t s? thu?c tính c?a ch??ng trình, t? ?ó xây d?ng các công c? phân tích ch??ng trình t? nhi?u khía c?nh khác nhau, ??a ra thông tin cho ng??i phát tri?n ph?n m?m ??m b?o tính ?úng ??n cho ch??ng trình.
TI  - Ki?m ch?ng ph?n m?m d?a trên phân tích ch??ng trình
M2  - Hanoi
AV  - public
T2  - SW4PHD: the 2016 Scientific Workshop for PhD Students
ER  -