In dit artikel wordt beschreven welke activiteiten in de komende vijf jaren kunnen worden verwacht op het gebied van onderzoek en ontwikkeling (research & development, R & D) op het gebied van formele methoden, in het bijzonder formele specificaties. Wij geven hierbij aan waar in de komende periode de prioriteiten liggen of zouden moeten liggen. Twee zwaartepunten behandelen wij uitgebreid: verbreding van specificatietalen met een breed spectrum en de ontwikkeling van gereedschap voor ondersteuning van het gebruik van zulke talen.1 Inleiding
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.