منو
رکورد قبلیرکورد بعدی

" Modeling and verification using UML statecharts : "


Document Type : BL
Record Number : 988759
Doc. No : b743129
Main Entry : Drusinsky, Doron.
Title & Author : Modeling and verification using UML statecharts : : a working guide to reactive system design, runtime monitoring, and execution-based model checking /\ Doron Drusinsky.
Publication Statement : Burlington, MA :: Newnes,, ©2006.
Page. NO : 1 online resource (xii, 306 pages) :: illustrations
ISBN : 0080481477
: : 0750679492
: : 1281052183
: : 6611052186
: : 9780080481470
: : 9780750679497
: : 9781281052186
: : 9786611052188
Bibliographies/Indexes : Includes bibliographical references (pages 295-301) and index.
Contents : Formal requirements and finite automata overview -- Statecharts -- Academic specification languages for reactive systems -- Using statechart assertions for formal specification -- Creating and using temporal statechart assertions -- Application of formal specifications and runtime monitoring to the Ballistic Missile Defense Project.
Abstract : Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
Subject : Computer software-- Development.
Subject : Formal methods (Computer science)
Subject : UML (Computer science)
Subject : Logiciels-- Développement.
Subject : Méthodes formelles (Informatique)
Subject : UML (Informatique)
Subject : Computer software-- Development.
Subject : Formal methods (Computer science)
Subject : UML (Computer science)
Dewey Classification : ‭005.1/17‬
LC Classification : ‭QA76.76.D47‬‭D78 2006eb‬
copyhttps://lib.clisel.com/site/catalogue/988759
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟