1.

Record Nr.

UNINA9910464079303321

Autore

Jorgensen Paul

Titolo

Modeling software behavior : a craftsman's approach / / Paul C. Jorgensen

Pubbl/distr/stampa

Boca Raton, Fla. : , : Auerbach Publications, , 2009

ISBN

0-429-12134-2

1-4200-8075-X

Edizione

[1st edition]

Descrizione fisica

1 online resource (224 p.)

Disciplina

005.1

Soggetti

System design

Software architecture

Computer software - Development

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"An Auerbach book."

Nota di bibliografia

Includes bibliographical references and index.

Nota di contenuto

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 cover

Sommario/riassunto

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 autho