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: