Methoden voor de formele specificatie van informatiesystemen, met name in combinatie met mogelijkheden tot simulatie en animatie van het gespecificeerde, staan de laatste tijd sterk in de belangstelling. Door het beschikbaar komen van betere hulpmiddelen is het aanmerkelijk eenvoudiger geworden deze formele specificaties te maken. De meerwaarde schuilt in een betere toetsing van de specificaties en in mogelijkheden voor controle op consistentie en validiteit. Dit artikel bespreekt aan de hand van een casus van het douane-informatiesysteem RODOS (Rotterdams Douanesysteem) hoe formele specificatietechnieken kunnen worden toegepast. Aan de orde ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.