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 (TT)

Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

... quan dáa trờn mụ hỡnh quan gia cỏc ậi tềng v cỏc quan hê, hnh ẻng cho thao tỏc d liêu v tonton vàn d liêu Cỏc thậng CSDL quan hiên Đi s dng cỏc lut hoĐt ẻng nh trigger CSDL ỏp ng lĐi cỏc sá kiên

Ngày tải lên: 25/11/2014, 10:35

27 486 0
Methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

Methods for modeling and verifying event driven systems= phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện

... part of Event- B specification for discrete transitions modeling A part of Event- B specification for continuous transitions modeling A part of Event- B specification for eventuality property modeling ... functionalities and behavior There are a few of methods for verifying event- driven systems which are described by vague, uncertain or imprecise requirements For the...

Ngày tải lên: 05/07/2016, 10:51

155 389 0
CHƯƠNG I : MÔ HÌNH HÓA VÀ KHẢO SÁT CÁC ĐẶC TÍNH CỦA ĐỘNG CƠ ĐIỆN MỘT CHIỀU pptx

CHƯƠNG I : MÔ HÌNH HÓA VÀ KHẢO SÁT CÁC ĐẶC TÍNH CỦA ĐỘNG CƠ ĐIỆN MỘT CHIỀU pptx

... KHẢO SÁT ĐẶC TÍNH VÒNG HỞ ĐỘNG CƠ I N MỘT CHIỀU Dựa vào cấu trúc i u khiển động i n chiều hình 1.4, ta xây dựng mô hình mô động i n chiều Simulink sau: Hình 1.5 Mô hình mô động i n chiều ... Hình 1.2 trình bày lo i động i n chiều Hình 1.2 Các lo i động i n chiều a) Động i n chiều kích từ độc lập b) Động i n chiều kích từ song song c) Động...

Ngày tải lên: 06/08/2014, 10:22

39 1,2K 1
THIẾT KẾ ĐIỀU KHIỂN CHO CÁC BỘ BIẾN ĐỔI  ĐIỆN TỬ CÔNG SUẤT  MÔ HÌNH HÓA VÀ THIẾT KẾ CÁC MẠCH VÒNG ĐIỀU CHỈNH

THIẾT KẾ ĐIỀU KHIỂN CHO CÁC BỘ BIẾN ĐỔI ĐIỆN TỬ CÔNG SUẤT MÔ HÌNH HÓA VÀ THIẾT KẾ CÁC MẠCH VÒNG ĐIỀU CHỈNH

... KHIỂN BỘ BIẾN ĐỔI ĐIỆN TỬ CÔNG SUẤT GIỚI THIỆU HỆ THỐNG ĐIỀU KHIỂN BỘ BIẾN ĐỔI ĐIỆN TỬ CÔNG SUẤT Như biết, biến đổi bán dẫn sử dụng phần tử bán dẫn công suất khoá điện tử, dùng để nối tải vào nguồn ... THỐNG ĐIỀU KHIỂN CÁC BỘ BIẾN ĐỔI PHỤ THUỘC HỆ THỐNG ĐIỀU KHIỂN CÁC BỘ BIẾN ĐỔI PHỤ THUỘC Các biến đổi phụ thuộc lớp biến đổi van chuyển mạch tác dụng điện áp lưới, ba...

Ngày tải lên: 15/05/2014, 11:51

142 1,7K 5
Mô hình hóa và thiết kế các mạch vòng điều chỉnh

Mô hình hóa và thiết kế các mạch vòng điều chỉnh

... định pha mạch vòng điều chỉnh Điều minh họa đồ thị hình H.4 Đây yếu tố gây ổn định mạch vòng điều chỉnh theo điện áp, chế độ dòng liên tục (CCM – Continuous Current Mode) 1.2 Mạch vòng điều chỉnh ... hình 3-3 phần khóa đóng cắt, hình 3-3 a, mô tả điện trở ảo Re(d1), phần điôt mô tả nguồn công suất phụ thuộc p(t), hình 3-3 b Mô hình hình 3-3 b mô hì...

Ngày tải lên: 26/03/2015, 18:44

111 1K 4
Mô hình hóa và kiểm thử máy rút tiền ATM bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (FSM   FINITE state machines testing)

Mô hình hóa và kiểm thử máy rút tiền ATM bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (FSM FINITE state machines testing)

... cứu mô hình máy trạng thái hữu hạn trình bày phương pháp kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn( FSM -Finite State Machines) Để mô tả máy rút tiền ATM kỹ thuật sinh ca kiểm thử từ máy ... trạng thái hữu hạn (Finite State Machines Testing) ứng dụng kiểm thử máy rút tiền ATM Sau mô hình...

Ngày tải lên: 05/04/2016, 21:15

88 1,2K 0
Nghiên cứu và ứng dụng VDM++ cho mô hình hóa và kiểm thử hệ thống IMP tại NTTDATA việt nam

Nghiên cứu và ứng dụng VDM++ cho mô hình hóa và kiểm thử hệ thống IMP tại NTTDATA việt nam

... TRƯỜNG ĐẠI HỌC CÔNG NGHỆ NGUYỄN XUÂN TÙNG NGHIÊN CỨU VÀ ỨNG DỤNG VDM++ CHO MÔ HÌNH HÓA VÀ KIỂM THỬ HỆ THỐNG IMP TẠI NTTDATA VIETNAM Ngành: Công nghệ thông tin Chuyên ngành: Công nghệ phần mềm Mã Số: ... Quy trình áp dụng thêm bước mô hình hóa VDM++ cải tiến sau: Hình 12 Mô hình chữ V thêm giai đoạn mô hình hóa VDM++ 48 Hình 13 Chi tiết công việc bao gồm việ...

Ngày tải lên: 27/04/2016, 07:37

71 742 0
Nghiên cứu về mô hình hóa và kiểm tra tiến trình nghiệp vụ

Nghiên cứu về mô hình hóa và kiểm tra tiến trình nghiệp vụ

... kiểm chứng tiến trình BPEL với công cụ tự động LTSA Từ khóa: BPEL, FSP,LTSA, kiểm chứng dịch vụ Web iii LỜI CAM ĐOAN Tôi xin cam đoan phần nghiên cứu mô hình hóa kiểm tra tiến trình nghiệp vụ ... pháp kiểm chứng trực tiếp Ký pháp tiến trình hữu hạn trạng thái FSP sử dụng để chuyển đổi từ tiến trình BPEL [1] Chính luận văn em có tên là: Nghiên cứu...

Ngày tải lên: 27/04/2016, 07:37

55 495 0
Mô hình hóa và kiểm thử máy rút tiền ATM bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (FSM   FINITE state machines testing)

Mô hình hóa và kiểm thử máy rút tiền ATM bằng kỹ thuật sinh ca kiểm thử từ máy trạng thái hữu hạn (FSM FINITE state machines testing)

... trạng thái hữu hạn (Finite State Machines Testing) ứng dụng kiểm thử máy rút tiền ATM Sau mô hình hóa máy ATM máy trạng thái hữu hạn, luận văn nghiên cứu phương pháp sinh ca kiểm thử từ máy trạng ... THÚY MÔ HÌNH HÓA VÀ KIỂM THỬ MÁY RÚT TIỀN ATM BẰNG KỸ THUẬT SINH CA KIỂM THỬ TỪ MÁY TRẠNG THÁI HỮU HẠN (FSM – FINITE STATE...

Ngày tải lên: 27/08/2016, 22:34

12 479 0
w