Cargando…
Modeling and verification using UML statecharts : a working guide to reactive system design, runtime monitoring, and execution-based model checking /
Harness the power of UML to assure the success of your designs, without expensive and time-consuming training!
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Burlington, MA :
Newnes,
©2006.
|
| Temas: | |
| Acceso en línea: | Texto completo Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn154084214 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 070709s2006 maua ob 001 0beng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d YDXCP |d OCLCQ |d IDEBK |d OCLCQ |d YBM |d MERUC |d OCLCQ |d OCLCF |d NLGGC |d OCLCQ |d OPELS |d OKU |d E7B |d OCLCQ |d AZK |d LOA |d JBG |d AGLDB |d COCUF |d STF |d MOR |d PIFAG |d OCLCQ |d U3W |d D6H |d VTS |d INT |d WRM |d VT2 |d OCLCQ |d LEAUB |d M8D |d UKCRE |d VLY |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d KSU |d OCL |d OCLCQ | ||
| 019 | |a 162593821 |a 648302304 |a 961641815 |a 962621914 |a 966264595 |a 984796245 |a 988438832 |a 992112421 |a 1037785662 |a 1038688622 |a 1081291485 |a 1153499452 |a 1156336850 |a 1162362055 |a 1192329676 |a 1228562445 |a 1240530343 | ||
| 020 | |a 9780080481470 |q (electronic bk.) | ||
| 020 | |a 0080481477 |q (electronic bk.) | ||
| 020 | |a 9780750679497 | ||
| 020 | |a 0750679492 | ||
| 020 | |a 1281052183 | ||
| 020 | |a 9781281052186 | ||
| 020 | |a 9786611052188 | ||
| 020 | |a 6611052186 | ||
| 029 | 1 | |a AU@ |b 000054162427 | |
| 029 | 1 | |a CHBIS |b 005831572 | |
| 029 | 1 | |a CHNEW |b 001005055 | |
| 029 | 1 | |a CHVBK |b 168359553 | |
| 029 | 1 | |a DEBBG |b BV042307548 | |
| 029 | 1 | |a DEBBG |b BV043129188 | |
| 029 | 1 | |a DEBSZ |b 405311184 | |
| 029 | 1 | |a DEBSZ |b 42219901X | |
| 029 | 1 | |a GBVCP |b 802304575 | |
| 029 | 1 | |a NZ1 |b 12435446 | |
| 029 | 1 | |a NZ1 |b 14540974 | |
| 035 | |a (OCoLC)154084214 |z (OCoLC)162593821 |z (OCoLC)648302304 |z (OCoLC)961641815 |z (OCoLC)962621914 |z (OCoLC)966264595 |z (OCoLC)984796245 |z (OCoLC)988438832 |z (OCoLC)992112421 |z (OCoLC)1037785662 |z (OCoLC)1038688622 |z (OCoLC)1081291485 |z (OCoLC)1153499452 |z (OCoLC)1156336850 |z (OCoLC)1162362055 |z (OCoLC)1192329676 |z (OCoLC)1228562445 |z (OCoLC)1240530343 | ||
| 037 | |a 114415:114508 |b Elsevier Science & Technology |n http://www.sciencedirect.com | ||
| 050 | 4 | |a QA76.76.D47 |b D78 2006eb | |
| 082 | 0 | 4 | |a 005.1/17 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Drusinsky, Doron. | |
| 245 | 1 | 0 | |a Modeling and verification using UML statecharts : |b a working guide to reactive system design, runtime monitoring, and execution-based model checking / |c Doron Drusinsky. |
| 260 | |a Burlington, MA : |b Newnes, |c ©2006. | ||
| 300 | |a 1 online resource (xii, 306 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 295-301) and index. | ||
| 505 | 0 | |a 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. | |
| 588 | 0 | |a Print version record. | |
| 520 | |a Harness the power of UML to assure the success of your designs, without expensive and time-consuming training! | ||
| 546 | |a English. | ||
| 590 | |a O'Reilly |b O'Reilly Online Learning: Academic/Public Library Edition | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a UML (Computer science) | |
| 650 | 0 | |a Formal methods (Computer science) | |
| 650 | 0 | |a Computer software |x Development. | |
| 650 | 6 | |a UML (Informatique) | |
| 650 | 6 | |a Méthodes formelles (Informatique) | |
| 650 | 6 | |a Logiciels |x Développement. | |
| 650 | 7 | |a Computer software |x Development. |2 fast |0 (OCoLC)fst00872537 | |
| 650 | 7 | |a Formal methods (Computer science) |2 fast |0 (OCoLC)fst00932926 | |
| 650 | 7 | |a UML (Computer science) |2 fast |0 (OCoLC)fst01160249 | |
| 655 | 2 | |a Biography | |
| 655 | 7 | |a Biographies. |2 fast |0 (OCoLC)fst01919896 | |
| 655 | 7 | |a Biographies. |2 lcgft | |
| 655 | 7 | |a Biographies. |2 rvmgf | |
| 776 | 0 | 8 | |i Print version: |a Drusinsky, Doron. |t Modeling and verification using UML statecharts. |d Burlington, MA : Newnes, ©2006 |z 0750679492 |z 9780750679497 |w (DLC) 2006005265 |w (OCoLC)64065948 |
| 856 | 4 | 0 | |u https://learning.oreilly.com/library/view/~/9780080481470/?ar |z Texto completo |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=196324 |z Texto completo |
| 938 | |a ebrary |b EBRY |n ebr10186222 | ||
| 938 | |a EBSCOhost |b EBSC |n 196324 | ||
| 938 | |a YBP Library Services |b YANK |n 2586255 | ||
| 994 | |a 92 |b IZTAP | ||