đặc tả chương trình

Luận văn thạc sĩ khoa học máy tính kiểm tra mô hình dựa trên đặc tả cho các chương trình chưa hoàn chỉnh

Luận văn thạc sĩ khoa học máy tính nghiên cứu phương pháp kiểm tra mô hình dựa trên đặc tả cho các chương trình chưa hoàn chỉnh, nâng cao độ tin cậy phần mềm.