Modeling software behavior: A craftsman's approach.

MaRDI QIDQ5322992zbMATH OpenFDO

Authors Paul Jorgensen

Publication date 23 July 2009

zbMATH Keywords

finite state machinesdecision tablesPetri NetsStateChartstesting flowcharts

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Recommendations

• Model-Based Software Testing and Analysis with C#
• Behavior Modeling During Software Design
• Modeling software with finite state machines. A practical approach.
• Models of software architecture. Design and analysis with UML and Petri nets
• Modeling and analysis of communicating systems

Cited in

(5)

• The requirements model and behaviour in specification of requirements
• scientific article; zbMATH DE number 108421 (Why is no real title available?)
• The art of software modeling.
• Model-Based Software Testing and Analysis with C#
• Behavior Modeling During Software Design

This page was built for publication: Modeling software behavior: A craftsman's approach.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5322992)