Op 19 oktober 1994 werd aan de Technische Universiteit Eindhoven de Tweede Landelijke Specificatiedag gehouden. Aan de presentaties en discussies van deze dag is dit artikel ontleend. 1 Wat zijn formele methoden? Formele methoden zijn software-ontwik
Een handjevol Amerikanen maakt zich druk om vrijheid in elektronisch perspectief. Organisaties als de Electronic Frontier Foundation, Computer Professionals for Social Responsibility en de League for Programming Freedom strijden zij aan zij, maar met
Wie op zoek is, weet dat het werkt. Onder architectuur gebouwd staat er in de advertentie. Dat trekt aandacht. Natuurlijk snapt iedereen dat de verkoper een bonus verlangt. Vaak een pittig bonus, zo toont de vraagprijs. Maar het is dan toch maar kwal
De bouw van grote, heterogene gedistribueerde software-systemen plaatst software engineers voor ernstige problemen; het bereiken van interoperabiliteit tussen software-systemen is nog altijd een grote uitdaging. In dit artikel wordt een experiment be
De Nederlandse Spoorwegen staan onder druk om flexibeler, goedkoper en effici nter te werken. Daarbij wordt ook gekeken naar nieuwe besturingssystemen. Het gebruik van formele technieken daarbij ligt voor de hand. De eerste experimenten leveren hoopv
Dit blad besteedt van oudsher veel aandacht aan software-ontwikkeling. Terecht, want velen van de lezers hebben dagelijks met de problematiek rond software-ontwikkeling te maken. In de huidige maatschappij wordt software-ontwikkeling steeds belangrij
Op 19 oktober 1994 werd aan de Technische Universiteit Eindhoven de Tweede Landelijke Specificatiedag gehouden. Aan de presentaties en discussies van deze dag is dit artikel ontleend. 1 Wat zijn formele methoden? Formele methoden zijn software-ontwik
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 sleuteltechnieke
De groep Concurrency and real-time systems bij het Centrum voor Wiskunde en Informatica (CWI) te Amsterdam doet onderzoek naar de analyse van parallelle en gedistribueerde systemen. De invalshoek is vooral het bewijs van de correctheid van de softwar