LEADER 02788oam 2200637I 450 001 9910799901903321 005 20200520144314.0 010 $a0-429-12134-2 010 $a1-4200-8075-X 024 7 $a10.1201/b15296 035 $a(CKB)2670000000557036 035 $a(EBL)1446688 035 $a(SSID)ssj0001000928 035 $a(PQKBManifestationID)11975433 035 $a(PQKBTitleCode)TC0001000928 035 $a(PQKBWorkID)10961538 035 $a(PQKB)11096540 035 $a(Au-PeEL)EBL1446688 035 $a(CaPaEBR)ebr10907464 035 $a(CaONFJC)MIL693458 035 $a(OCoLC)899156122 035 $a(OCoLC)857368680 035 $a(CaSebORM)9781420080766 035 $a(MiAaPQ)EBC1446688 035 $a(EXLCZ)992670000000557036 100 $a20180331d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aModeling software behavior $ea craftsman's approach /$fPaul C. Jorgensen 205 $a1st edition 210 1$aBoca Raton, Fla. :$cAuerbach Publications,$d2009. 215 $a1 online resource (224 p.) 300 $a"An Auerbach book." 311 $a1-322-62176-4 311 $a1-4200-8076-8 320 $aIncludes bibliographical references and index. 327 $aFront cover; Dedication; Contents; Preface; Chapter 1. Issues in Behavior Modeling; Chapter 2. Math Background; Chapter 3. Examples; Chapter 4. Flowcharts; Chapter 5. Decision Tables; Chapter 6. Finite State Machines; Chapter 7. Petri Nets; Chapter 8. Event-Driven Petri Nets; Chapter 9. Statecharts; Chapter 10. Object-Oriented Models; Chapter 11. Model Comparisons; Index; Back cover 330 $aA common problem with most texts on requirements specifications is that they emphasize structural models to the near exclusion of behavioral models-focusing on what the software is, rather than what it does. If they do cover behavioral models, the coverage is brief and usually focused on a single model. Modeling Software Behavior: A Craftsman's Approach provides detailed treatment of various models of software behavior that support early analysis, comprehension, and model-based testing.Based on the popular and continually evolving course on requirements specification models taught by the autho 606 $aSystem design 606 $aSoftware architecture 606 $aComputer software$xDevelopment 615 0$aSystem design. 615 0$aSoftware architecture. 615 0$aComputer software$xDevelopment. 676 $a005.1 700 $aJorgensen$b Paul.$01587645 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910799901903321 996 $aModeling software behavior$93875902 997 $aUNINA