Formalizing the state pattern in B

MaRDI QIDQ3077289zbMATH OpenFDO

Authors Vladiela Petrascu, Dragoş Petraşcu

Publication date 22 February 2011

zbMATH Keywords

GoF design patternsLCD wallet travelling clock

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1693434
• Design Verification Patterns
• scientific article; zbMATH DE number 2013572
• Statecharts: a visual formalism for complex systems
• A formalism to describe design patterns based on role concepts

Cited in

(1)

• Design Verification Patterns

This page was built for publication: Formalizing the state pattern in B

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