loading
  • Trang chủ
  • Sách, tuyển tập
  • Modeling and verification using UML statecharts : : A working guide to Reactive System Design, runtime monitoring and execution-based model checking / Doron Drusinsky
Sách, tuyển tập

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

Tác giả : Doron Drusinsky

Nhà xuất bản : Newnes

Năm xuất bản : 2006

Nơi xuất bản : Burlington, MA

Mô tả vật lý : xii, 306 p. : ill. ; 24 cm + 1 CD-ROM (4 3/4 in.)

Số phân loại : 005.1

Chủ đề : 1. Phần mềm máy tính -- Phát triển. 2. Phương pháp chính ( khoa học máy tính ). 3. UML ( khoa học máy tính ). 4. Computer software -- Development. 5. Formal methods (Computer science). 6. UML (Computer science). 7. Lập trình.

Chia sẻ

Thông tin chi tiết

Tóm tắt :

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 forma development and verification standards. In this text, UML expert author Dr. Doron Drusinsky compiles all the latest information on the application of UML (Universal Modeling Language) statecharts, temporal logic, automata, and other advanced tools for run-time monitoring and verification. This is the first book that deals specifically with UML verification techniques. This important information is introduced within the context of real-life examples and solutions, particularly focusing on national defense applications. A practical text, as opposed to a high-level theoretical one, it emphasizes getting the system developer up-to-speed on using the tools necessary for daily practice.
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 đại học Cần Thơ
https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-172486.html

 

 

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

placeholder+image

Sách, tuyển tập

Borland Pascal version 7.0 / Nguyễn Đình Tê chủ biên . Tập 2

Tác giả : Nguyễn Đình Tê chủ biên .

Nhà xuất bản : Lao động xã hội

Năm xuất bản : 2007

placeholder+image

Sách, tuyển tập

Tham khảo nhanh Visual Basic 6.0 : : Hàm - khai báo - toán tử thuộc tính và phương thức / Phạm Hữu Khang

Tác giả : Phạm Hữu Khang

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

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

UML by example / Ghinwa Jalloul

Tác giả : Ghinwa Jalloul

Nhà xuất bản : Cambridge University Press

Năm xuất bản : 2004

placeholder+image

Sách, tuyển tập

Ví dụ và Bài tập Visual Basic.NET : : Lập trình hướng đối tượng / Phạm Hữu Khang, Hoàng Đức Hải ; Phương Lan (Hiệu đính)

Tác giả : Phạm Hữu Khang, Hoàng Đức Hải ; Phương Lan (Hiệu đính)

Nhà xuất bản : Lao động - xã hội

Năm xuất bản : 2005

placeholder+image

Sách, tuyển tập

Mã hóa thông tin với Java / Bùi Doãn Khanh, Nguyễn Đình Thúc . Tập 1 , Java căn bản

Tác giả : Bùi Doãn Khanh, Nguyễn Đình Thúc .

Nhà xuất bản : Lao động xã hội

Năm xuất bản : 2008