Start Increasing Your Software Productivity: Model Driven Technologies, The State Pattern, and Dezyne

The state pattern provides software designers with an implementation of state machine such that states and transitions are separated from the actual actions performed by a component. Dezyne is an environment supporting formal verification and code generation for the design of complex interactions between state machines. In this paper, we show a systematic approach to introduce Dezyne generated code in a state driven component built using the State Pattern. Read more and download the whitepaper

Share This Story, Choose Your Platform!

Facebook
Twitter
LinkedIn

Bedrijven

Producten & werkwijze

Membership

Jobs