Modeling software behavior: A craftsman's approach.

zbMATH Open1183.68193MaRDI QIDQ5322992FDOQ5322992

Authors: Paul Jorgensen 

Publication date: 23 July 2009

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

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)

Cited In (5)

• The requirements model and behaviour in specification of requirements
• Title not available (Why is that?)
• 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)