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

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

Celý popis

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Drusinsky, Doron
Médium:	Kniha
Jazyk:	Undetermined
Vydáno:	Burlington, MA Newnes 2006
Témata:	UML (Computer science),Formal methods (Computer science),Computer software,UML ( khoa học máy tính ),Phương pháp chính ( khoa học máy tính ),Phần mềm máy tính Development,Phát triển
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

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

Autor Drusinsky, Doron
Vydáno 2006

Thư viện lưu trữ: Trung tâm Học liệu Trường Đại học Cần Thơ

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

Podobné jednotky