02788oam 2200637I 450 991079990190332120200520144314.00-429-12134-21-4200-8075-X10.1201/b15296 (CKB)2670000000557036(EBL)1446688(SSID)ssj0001000928(PQKBManifestationID)11975433(PQKBTitleCode)TC0001000928(PQKBWorkID)10961538(PQKB)11096540(Au-PeEL)EBL1446688(CaPaEBR)ebr10907464(CaONFJC)MIL693458(OCoLC)899156122(OCoLC)857368680(CaSebORM)9781420080766(MiAaPQ)EBC1446688(EXLCZ)99267000000055703620180331d2009 uy 0engur|n|---|||||txtccrModeling software behavior a craftsman's approach /Paul C. Jorgensen1st editionBoca Raton, Fla. :Auerbach Publications,2009.1 online resource (224 p.)"An Auerbach book."1-322-62176-4 1-4200-8076-8 Includes bibliographical references and index.Front 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 coverA 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 authoSystem designSoftware architectureComputer softwareDevelopmentSystem design.Software architecture.Computer softwareDevelopment.005.1Jorgensen Paul.1587645MiAaPQMiAaPQMiAaPQBOOK9910799901903321Modeling software behavior3875902UNINA