New Search

If you are not happy with the results below please do another search

1 search result for:

1

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 […]