Ivo Van Horebeek en Johan LewiDe bedoeling van dit artikel is de lezer kennis te laten maken met enkele boeiende aspecten van formele specificaties, meer bepaald van algebraïsche specificaties. We beginnen met de vragen te beantwoorden Waarom specificaties? en Waarom formele specificaties?. Daarna wordt op een informele wijze een algebraïsche specificatietaal voorgesteld aan de hand van verschillende kleine voorbeelden. Aangezien de voorstanders van formele specificaties wijzen op de mogelijkheden van verificatie en rapid prototyping, zal op deze onderwerpen nader ingegaan worden. We bespreken ook onze ervaringen met een industriële case stud ...
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.