Deze weblog van Mat Huizing gaat (vooral) over de nieuwe wereld van services en Software as a Service (SaaS) en natuurlijk Functionaliteit uit de Muur, en over hoe modellen, MDA en MDE dat mogelijk maken.
dinsdag 5 februari 2008
Model checking
Deze heren hebben de Turing Award gewonnen. Interessant verhaal. Ik vraag me af in hoeverre het te gebruiken is in de context van OO-modellen voor business-systemen, en voor gedistribueerde software (bv in services).
Geen opmerkingen:
Een reactie posten