loading
  • Trang chủ
  • Luận án, luận văn
  • Một số phương pháp kiểm chứng tái cấu trúc phần mềm: LATS Công nghệ thông tin: 948.01.03.01/ Đào Thị Hường
Luận án, luận văn

Một số phương pháp kiểm chứng tái cấu trúc phần mềm: LATS Công nghệ thông tin: 948.01.03.01/ Đào Thị Hường

Tác giả : Đào Thị Hường

Năm xuất bản : 2018

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

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

Số phân loại : 005.14

Chủ đề : 1. $2Bộ TK TVQGKĩ thuật phần mềm. 2. $2Bộ TK TVQGKiểm chứng. 3. $2Bộ TK TVQGTái cấu trúc. 4. 7.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

Nghiên cứu đề xuất phương pháp bảo toàn bất biến trong tái cấu trúc mô hình biểu đồ lớp của UML (ngôn ngữ mô hình hoá thống nhất); phương pháp kiểm chứng sự bảo toàn hành vi trong tái cấu trúc hệ thống phần mềm; xây dựng công cụ CVT (công cụ kiểm chứng tính nhất quán) hỗ trợ kiểm chứng sự bảo toàn hành vi trong tái cấu trúc mô hình phần mềm
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 LA18.1538.1, LA18.1538.2, LA18.1538.3
 https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-726170.html

 

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

placeholder+image

Sách, tuyển tập

Đánh giá hiệu quả hỗ trợ điều trị của hệ thống thở oxy lưu lượng cao ở bệnh nhân có nguy cơ đặt lại nội khí quản sau rút ống và những yếu tố liên quan/ Đào Thị Hương, Đỗ Ngọc Sơn, Ngô Đức Ngọc

Tác giả : Đào Thị Hương, Đỗ Ngọc Sơn, Ngô Đức Ngọc

placeholder+image

Sách, tuyển tập

Đẩy mạnh tái cơ cấu nông nghiệp trong bối cảnh hội nhập/ Nguyễn Thanh Dương, Vũ Thị Thúy Hằng, Đào Thị Hương

Tác giả : Nguyễn Thanh Dương, Vũ Thị Thúy Hằng, Đào Thị Hương

placeholder+image

Sách, tuyển tập

Giáo trình môi trường lập trình trực quan: Dành cho sinh viên ngành công nghệ thông tin/ B.s.: Trịnh Thanh Bình, Nguyễn Ngọc Khương (ch.b.), Đào Thị Hường..

Tác giả : B.s.: Trịnh Thanh Bình, Nguyễn Ngọc Khương (ch.b.), Đào Thị Hường..

Nhà xuất bản : Nxb. Hải Phòng

Năm xuất bản : 2016

placeholder+image

Sách, tuyển tập

Giáo trình tiếng Anh du lịch: = English for tourism : Dùng trong các trường THCN/ Đào Thị Hương

Tác giả : Đào Thị Hương

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

Năm xuất bản : 2006

placeholder+image

Sách, tuyển tập

Giáo trình tiếng Anh Thương mại: = English for commercial correspondences : Dùng trong các trường THCN/ Nguyễn Bích Ngọc, Đào Thị Hương

Tác giả : Nguyễn Bích Ngọc, Đào Thị Hương

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

Năm xuất bản : 2006

 

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

placeholder+image

Sách, tuyển tập

Bài tập tin học 11/ Hồ Sĩ Đàm, Nguyễn Thanh Tùng

Tác giả : Hồ Sĩ Đàm, Nguyễn Thanh Tùng

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

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Embedded software: The works/ Colin Walls

Tác giả : Colin Walls

Nhà xuất bản : Elsevier/Newnes

Năm xuất bản : 2012

placeholder+image

Sách, tuyển tập

Cấu trúc dữ liệu và thuật toán: Phân tích và cài đặt trên C/C+/ Trần Thông Quế. T.2

Tác giả : Trần Thông Quế.

Nhà xuất bản : Thông tin và Truyền thông

Năm xuất bản : 2018

placeholder+image

Sách, tuyển tập

Java: Hướng dẫn cho người mới học - Lập trình Java: = Java: A beginner's Guide/ Herbert Schildt ; Dịch: Nguyễn Duy Luận, Lê Đại Hoàng ; Chu Đình Phú h.đ

Tác giả : Herbert Schildt ; Dịch: Nguyễn Duy Luận, Lê Đại Hoàng ; Chu Đình Phú h.đ

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

Năm xuất bản : 2018

placeholder+image

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

Study on facilitating the variation of schedulers in model checking: Thesis/ Tran Nhat Hoa

Tác giả : Tran Nhat Hoa

Năm xuất bản : 2018