Modeling software behavior (Record no. 62825)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01951 a2200181 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 142008075X |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 978142008075 |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Item number | JOM |
| 100 1# - MAIN ENTRY--AUTHOR NAME | |
| Personal name | Jorgensen, Paul C. |
| 245 10 - TITLE STATEMENT | |
| Title | Modeling software behavior |
| Sub Title | : a craftsman's approach |
| Statement of responsibility, etc | Paul C. Jorgensen. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Boca Raton: |
| Name of publisher | Auerbach Publications, |
| Year of publication | 2009. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 215p. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | A 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 author at universities and corporate environments, the text covers six behavioral models—providing the background behind these models and the required mathematics. As evidence of models at work, the author introduces eleven continuing examples. Five of these examples are illustrated with the six models, allowing readers to easily compare the expressive power of the various models. The examples chosen reflect a wide variety of behavioral issues. Providing complete coverage that includes flowcharts, decision tables, finite state machines, two variations of Petri Nets, and StateCharts, this book will help students develop the understanding of the expressive capabilities and limitations of models of system behavior needed to make informed and appropriate choices among different models when confronted with new c |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | System design |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Software architecture |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer software -Development |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Books |
| Price effective from | Permanent Location | Not for loan | Date acquired | Koha item type | Accession Number | Lost status | Damaged status | Shelving location | Withdrawn status | Current Location | Full call number |
|---|---|---|---|---|---|---|---|---|---|---|---|
| 2015-03-05 | Central Library AIOU Islamabad | 2012-05-16 | Books | 115697 | General Stacks | Central Library AIOU Islamabad | 005.1 JOM |