TY - JOUR ID - SisLab1772 UR - https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1772/ IS - 11 A1 - Vu, Thi Dao A1 - To, Van Khanh A1 - Nguyen, Viet Ha Y1 - 2014/06// JF - T?p chí CNTT & TT: Các công trình nghiên c?u, phát tri?n và ?ng d?ng CNTT & TT VL - V TI - Ph??ng pháp sinh các ca ki?m th? t? ??ng t? các mô hình thi?t k? UML và ngôn ng? ràng bu?c ??i t??ng OCL SP - 70 AV - none EP - 82 ER -