loading
  • Trang chủ
  • Luận án, luận văn
  • Study on verifying the conformance of the design to Its formal specification: Doctor of Philosophy in Software science/ Vu Dieu Huong
Luận án, luận văn

Study on verifying the conformance of the design to Its formal specification: Doctor of Philosophy in Software science/ Vu Dieu Huong

Tác giả : Vu Dieu Huong

Năm xuất bản : 2015

Nơi xuất bản : Ishikawa

Mô tả vật lý : VIII, 91 p.: tab.; 30 cm 1 resume

Số phân loại : 005.3

Chủ đề : 1. 17. 2. Phần mềm. 3. Thiết kế. 4. Tin học. 5. 7. 6. 7. 7. Đặc tả hình thức. 8. Sự nhất quán.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Kiểm chứng tính nhất quán của một thiết kế phần mềm với đặc tả của nó là quan trọng để ngăn chặn lỗi trước khi triển khai thực tế. Đề xuất một phương pháp kiểm chứng sự nhất quán của thiết kế với đặc tả dựa trên một quan hệ mô phỏng giữa chúng. Trình bày phương pháp để kiểm chứng các hệ thống phản ứng nơi mà đặc tả và thiết kế được mô tả bằng Event-B và Promela...
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 LA15.0208.1, LA15.0208.2, LA15.0208.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-592628.html

 

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

placeholder+image

Sách, tuyển tập

Xây dựng câu chuyện thương hiệu: = Building a story brand : Làm rõ thông điệp của bạn đến khách hàng/ Donald Miller ; Vũ Diệu Hương dịch

Tác giả : Donald Miller ; Vũ Diệu Hương dịch

Nhà xuất bản : Lao động

Năm xuất bản : 2023

placeholder+image

Sách, tuyển tập

Kỷ yếu Hội thảo khoa học quốc tế: Chuyển đổi số trong bối cảnh cách mạng công nghiệp 4.0: = International conference proceedings: Digital transformation in the context of industry 4.0/ Nguyễn Hoàng, Vũ Diệu Hương, Phạm Thị Thuỳ Linh..

Tác giả : Nguyễn Hoàng, Vũ Diệu Hương, Phạm Thị Thuỳ Linh..

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

Năm xuất bản : 2022

placeholder+image

Sách, tuyển tập

Xây dựng câu chuyện thương hiệu: = Building a story brand : Làm rõ thông điệp của bạn đến khách hàng/ Donald Miller ; Vũ Diệu Hương dịch

Tác giả : Donald Miller ; Vũ Diệu Hương dịch

Nhà xuất bản : Lao động

Năm xuất bản : 2022

placeholder+image

Sách, tuyển tập

Xây dựng câu chuyện thương hiệu: = Building a storybrand : Làm rõ thông điệp của bạn đến khách hàng/ Donald Miller ; Vũ Diệu Hương dịch

Tác giả : Donald Miller ; Vũ Diệu Hương dịch

Nhà xuất bản : Lao động

Năm xuất bản : 2021

placeholder+image

Sách, tuyển tập

7 cấp độ giao tiếp để thành công: Nghệ thuật xây dựng mối quan hệ trong kinh doanh bất động sản/ Michael J. Maher ; Vũ Diệu Hương dịch

Tác giả : Michael J. Maher ; Vũ Diệu Hương dịch

Nhà xuất bản : Lao động ; Công ty Văn hoá và Truyền thông 1980 Books

Năm xuất bản : 2020

 

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

placeholder+image

Sách, tuyển tập

Microsoft office 2000 / APTECH

Tác giả : APTECH

placeholder+image

Sách, tuyển tập

Head first servlets and JSP / Bryan Basham, Kathy Sierra, Bert Bates

Tác giả : Bryan Basham, Kathy Sierra, Bert Bates

Nhà xuất bản : O'Reilly

Năm xuất bản : 2008

placeholder+image

Sách, tuyển tập

Phần mềm trò chơi hỗ trợ học từ vựng tiếng Anh trên thiết bị Android : : Báo cáo tổng kết đề tài nghiên cứu Khoa học của sinh viên / Trần Ngọc Mơ (Chủ nhiệm đề tài) ; Trần Cao Đệ (Người hướng dẫn) ; Lê Thị Nhật An (Thành viên tham gia) ... [et al.]

Tác giả : Trần Ngọc Mơ (Chủ nhiệm đề tài) ; Trần Cao Đệ (Người hướng dẫn) ; Lê Thị Nhật An (Thành viên tham gia) ... [et al.]

Nhà xuất bản : Trường Đại học Cần Thơ

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Professional COM applications with ATL / Sing Li, Panos Economopoulos

Tác giả : Sing Li, Panos Economopoulos

Nhà xuất bản : Wrox press ltd.

Năm xuất bản : 1998

placeholder+image

Sách, tuyển tập

Giáo trình thực hành Microsoft word / Phạm Quang Hiển, Phạm Phương Hoa

Tác giả : Phạm Quang Hiển, Phạm Phương Hoa

Nhà xuất bản : Thanh niên

Năm xuất bản : 2016