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

Open source software : : Perspective for development / Paul Dravis

Tác giả : Paul Dravis

Nhà xuất bản : The World Bank

Năm xuất bản : 2003

placeholder+image

Sách, tuyển tập

Bí quyết và thủ thuật trong Excel 2003 / VN-Guide biên dịch

Tác giả : VN-Guide biên dịch

Nhà xuất bản : Thống kê

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Các bài tập thực hành tạo và trang trí văn bản bằng máy tính / Nguyên Phương

Tác giả : Nguyên Phương

Nhà xuất bản : Thống kê

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Thủ thuật Excel / Đoàn Ngọc Đăng Linh

Tác giả : Đoàn Ngọc Đăng Linh

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

Năm xuất bản : 2003

placeholder+image

Sách, tuyển tập

Hướng dẫn sử dụng Access 2003 bằng hình / Trần Văn Minh

Tác giả : Trần Văn Minh

Nhà xuất bản : Thống kê

Năm xuất bản : 2003