Nieuwe Zoekactie

Als u niet tevreden bent met de zoekresultaten hieronder probeer het dan nogmaals

1 zoekresultaten voor:

1

Introductie van Model Driven Technologies: Dezyne en het State Pattern

State Patterns biedt softwareontwerpers een design en implementatie mogelijkheid van state machines middels het scheiden van states en transities van de acties die door een component worden uitgevoerd. Dezyne is een omgeving die formele verificatie en het genereren van code ondersteunt voor het ontwerp van complexe interacties tussen state machines. Dit artikel beschrijft een systematische […]