Gezien de hoge kosten die gepaard gaan met het ontwikkelen van informatiesystemen is het belangrijk te streven naar een hoge graad van kwaliteit (die omvat betrouwbaarheid, aanpasbaarheid, uitbreidbaarheid en onderhoudbaarheid) van de geleverde systemen. Deze kwaliteit hangt in grote mate af van de kwaliteit van de specificaties: zij moeten volledig zijn, ondubbelzinnig en vrij van contradicties. Door hun eenduidige semantiek en de vele mogelijkheden tot automatische controle zijn formele specificaties bijzonder geschikt om deze doelstelling te realiseren. In dit artikel wordt uitgelegd hoe de systeemontwikkelingsmethode M.E.R.O.DE. gebruik m ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.