Mô hình hóa và kiểm chứng các chương trình phần mềm hướng khía cạnh

Tài liệu tương tự

• Sinh mã tự động trong phát triển phần mềm hướng mô hình
  Thông tin tác giả:: Dương, Ngọc Lâm
  Thông tin xuất bản: (2016)
• Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10
  Thông tin tác giả:: Phan, Văn Tiến
  Thông tin xuất bản: (2017)
• Nghiên cứu kỹ thuật sinh ca kiểm thử từ mô hình máy hữu hạn trạng thái
  Thông tin tác giả:: Đoàn, Thị Thùy Linh, và những người khác
  Thông tin xuất bản: (2016)
• Phương pháp sinh mô hình tự động cho phần mềm dựa trên thành phần
  Thông tin tác giả:: Trần, Hoàng Việt
  Thông tin xuất bản: (2016)
• Kiểm tra mô hình phần mềm sử dụng ký thuyết ô tômat buchi và logic thời gian tuyến tính
  Thông tin tác giả:: Phạm Thị Thái Ninh
  Thông tin xuất bản: (2015)