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 |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn154084214 | ||
| 003 | OCoLC | ||
| 005 | 20231117015019.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 | ||
| 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 | ||
| 050 | 4 | |a QA76.76.D47 |b D78 2006eb | |
| 082 | 0 | 4 | |a 005.1/17 |2 22 |
| 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. | ||
| 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) |0 (CaQQLa)201-0310449 | |
| 650 | 6 | |a M�ethodes formelles (Informatique) |0 (CaQQLa)201-0330635 | |
| 650 | 6 | |a Logiciels |x D�eveloppement. |0 (CaQQLa)201-0030768 | |
| 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 |0 (DNLM)D019215 | |
| 655 | 7 | |a Biographies. |2 fast |0 (OCoLC)fst01919896 | |
| 655 | 7 | |a Biographies. |2 lcgft | |
| 655 | 7 | |a Biographies. |2 rvmgf |0 (CaQQLa)RVMGF-000000519 | |
| 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://sciencedirect.uam.elogim.com/science/book/9780750679497 |z Texto completo |