loading
  • Trang chủ
  • Luận án, luận văn
  • Khung hình thức hỗ trợ đảm bảo chất lượng chuyển đổi mô hình: LATS Kỹ thuật phần mềm: 9.48.01.03.01/ Nguyễn Thị Hạnh
Luận án, luận văn

Khung hình thức hỗ trợ đảm bảo chất lượng chuyển đổi mô hình: LATS Kỹ thuật phần mềm: 9.48.01.03.01/ Nguyễn Thị Hạnh

Tác giả : Nguyễn Thị Hạnh

Năm xuất bản : 2023

Nơi xuất bản : H.

Mô tả vật lý : x, 152 tr.: minh hoạ; 30 cm 1 tt

Số phân loại : 005.3

Chủ đề : 1. $2Bộ TK TVQGChuyển đổi. 2. $2Bộ TK TVQGKĩ thuật phần mềm. 3. $2Bộ TK TVQGKiểm tra. 4. $2Bộ TK TVQGMô hình. 5. $2Bộ TK TVQGPhát triển. 6. Kĩ nghệ hướng mô hình.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Thiết kế ngôn ngữ đặc tả cho phép biểu diễn tập yêu cầu chính thức bởi các cam kết chuyển đổi mô hình trực quan, dễ thẩm định và hỗ trợ cho việc áp dụng các kỹ thuật thiết kế kiểm thử. Đề xuất phương pháp phân tích các loại cam kết khác nhau của đặc tả để thiết kế ca kiểm thử. Phát triển công cụ hỗ trợ cho việc đặc tả và kiểm thử tự động chuyển đổi mô hình
Chia sẻ


Hiển thị MARC

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA23.0304.1, LA23.0304.2, LA23.0304.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-907887.html

 

 Tài liệu cùng tác giả

placeholder+image

Sách, tuyển tập

Hành trang cho trẻ vào lớp 1: Dành cho trẻ 5 - 6 tuổi/ Thu Thuỷ, Nguyễn Thị Thanh Hoà, Nguyễn Thị Hạnh, Hà Thị Giang

Tác giả : Thu Thuỷ, Nguyễn Thị Thanh Hoà, Nguyễn Thị Hạnh, Hà Thị Giang

Nhà xuất bản : Giáo dục Việt Nam

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Hướng dẫn giáo viên sử dụng tài liệu Giáo dục an toàn giao thông: Dành cho học sinh lớp 5/ Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Tác giả : Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Nhà xuất bản : Nxb. Hà Nội

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Hướng dẫn giáo viên sử dụng tài liệu Giáo dục an toàn giao thông: Dành cho học sinh lớp 4/ Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Tác giả : Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Nhà xuất bản : Nxb. Hà Nội

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Hướng dẫn giáo viên sử dụng tài liệu Giáo dục an toàn giao thông: Dành cho học sinh lớp 3/ Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Tác giả : Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Nhà xuất bản : Nxb. Hà Nội

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Hướng dẫn giáo viên sử dụng tài liệu Giáo dục an toàn giao thông: Dành cho học sinh lớp 2/ Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Tác giả : Trịnh Hoài Thu (ch.b.), Nguyễn Văn Quyết, Bùi Việt Hùng..

Nhà xuất bản : Nxb. Hà Nội

Năm xuất bản : 2023

 

 Tài liệu cùng danh mục chủ đề

placeholder+image

Luận án, luận văn

Một số kỹ thuật nâng cao hiệu năng phần mềm nhúng trên bộ xử lý đa nhân: LATS Công nghệ thông tin: 9.48.01.03.01/ Bùi Hữu Phước

Tác giả : Bùi Hữu Phước

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Tiếng Nhật công nghệ thông tin trong ngành phần mềm/ Dang Khai Hoan, Dinh Thi Hang Nga, Nguyen Anh Vu..

Tác giả : Dang Khai Hoan, Dinh Thi Hang Nga, Nguyen Anh Vu..

Nhà xuất bản : Thế giới

Năm xuất bản : 2022

placeholder+image

Sách, tuyển tập

Bài giảng Nhập môn công nghệ phần mềm: Dùng cho sinh viên Trường Cao đẳng Nghề Bách khoa Hà Nội/ Thạc Bình Cường

Tác giả : Thạc Bình Cường

Nhà xuất bản : Bách khoa Hà Nội

Năm xuất bản : 2022

placeholder+image

Luận án, luận văn

Model checking of software systems under weak memory models: Doctor of Philosophy in Computer Science/ Tuan Phong Ngo

Tác giả : Tuan Phong Ngo

Năm xuất bản : 2019

placeholder+image

Sách, tuyển tập

Giáo trình Công nghệ phần mềm/ Ngô Quốc Việt (ch.b.), Lương Trần Hy Hiến, Trần Sơn Hải, Lương Trần Ngọc Khiết

Tác giả : Ngô Quốc Việt (ch.b.), Lương Trần Hy Hiến, Trần Sơn Hải, Lương Trần Ngọc Khiết

Nhà xuất bản : Đại học Sư phạm Tp. Hồ Chí Minh

Năm xuất bản : 2022