In dit artikel wordt betoogd dat de informatica nog een lange weg te gaan heeft, voordat het zich als volwaardige wetenschap kan presenteren. Het gebruik van formele specificatie en wiskundige verificatie maakt het ontwerpen van informatiesystemen meer wetenschappelijk. Deze tekst is een lichte bewerking van de inaugurele rede van de auteur, uitgesproken op 30 oktober 1992 aan de Technische Universiteit Eindhoven ter gelegenheid van zijn ambtsaanvaarding als hoogleraar theoretische informatica.1 Inleiding
Om het hele artikel te lezen dient u eerst in te loggen.
Nog niet geregistreerd?
Klik hier voor verdere informatie.