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

Show other versions (1)

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...

Full description

Saved in:
Bibliographic Details
Main Author: Drusinsky, Doron
Format: Book
Language:Undetermined
Published: Burlington, MA Newnes 2006
Subjects:
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Search Result 1
Modeling and verification using UML statecharts :
by Drusinsky, Doron
Published 2006
Institutions: Trung tâm Học liệu Trường Đại học Cần Thơ
Save to List
Saved in:
Show all versions (2)

Similar Items