Modeling and verification using UML statecharts :

Modeling and verification using UML statecharts : A working guide to Reactive System Design, runtime monitoring and execution-based model checking

Hiển thị phiên bản (1) khác

As systems being developed by industry and government grow larger and more complex, the need for superior specification and verification approaches and tools becomes increasingly vital. The developer and customer must have complete confidence that the design produced is correct, and that it meets fo...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Drusinsky, Doron
Định dạng: Sách
Ngôn ngữ:Undetermined
Được phát hành: Burlington, MA Newnes 2006
Những chủ đề:
UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính
Development,Phát triển
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

Những quyển sách tương tự

Những quyển sách tương tự