Dit artikel geeft een overzicht van de op formele technieken gebaseerde SPRINT-methode, die bij Philips wordt gebruikt voor de ontwikkeling van besturingssoftware voor audio/video-systemen. SPRINT is een geïntegreerde aanpak die drie sleuteltechnieken uit de software-ontwikkeling combineert: specificatie, prototyping en hergebruik. Het artikel bespreekt de verschillende onderdelen van de methode aan de hand van een onderverdeling in vijf categorieën: principes, modellen, talen, gereedschappen en richtlijnen, waarbij de nadruk ligt op modellen en talen.1 Inleiding
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.