Knowledge Domain

Despite reports on the `software crisis', the spectular increases in performance of hardware are being matched with a similar increase in the productivity of software developers. Systems that used to be constructed from scratch, currently are constructed using high-level (domain-specific) programming languages, procedural libraries, program generators, and component libraries. While the number of \emph{lines of source code} produced per man hour has not increased, the number of \emph{instructions} produced has increased. At the same time the reliability of software has improved.

Het Center for Software Technologie richt zich er op het producren van correcte software nog effci nter te laten verlopen.

Enerzijds doet zij dat door onderzoek te doen op het gebied van geavanceerde programmeertalen, generieke programmeermethoden en hun effici nte implementatie, en anderzijds door de bestaande methoden ook buiten de kerninfomatica (vertalerbouw, programmeeromgeveingen, operating systemen en data bases) in te zetten.

Momenteel wordt gewerkt aan het ontwerp van een taal voor het beschrijven van generieke algoritmen, systemen voor compositioneel taalontwerp, het genereren van voor de gebruiker eenvoudig te interpreteren foutmeldingen uit abstracte interpretaties, programmatransformatiesystemen, en compositionele bewijstechnieken. Daarbij staat de integratie van de individuele technieken in bruikbare systemen voorop.

Het CST zal de hoofdverantwoordelijkheid dragen voor het masterprogramma Software Technology dat vanaf september 2002 aangeboden zal worden.

De software technologie bestudeert het ontwerp, de bouw, en het onderhoud van software in al zijn aspecten, waarbij de generieke aspecten d.w.z. die niet specifiek zijn voor een, veelal buiten de kerninformatica liggend, toepassingsgebied voorop staan.

Programmeermethoden worden genalyseerd (de programmeermethodologie), geformaliseerd (programmeertaalontwerp en semantiek) en met hulpmiddelen ondersteund (vertalers, programma-analysatoren, en transformatiesystemen).

Hierbij blijkt dat er een veelheid aan technieken bestaat die keer op keer toegepast kunnen worden.

Sterke typering doet het aantal fouten sterk afnemen, hogere orde constructies en andere abstrcatiemechanismen maken dat de mogelijkheid tot hergebruik dramatisch toeneemt, automatische globale optimalisatietechnieken produceren uiterst efficiente programmas die met de hand welhaast niet te construeren zijn, krachtige abstractiemechanismen faciliteren het gebruik van krachtige bibliotheken, parti\"ele evaluatie zorgt ervoor dat de hiermee normaliter gepaard gaande extra runtime kosten binnen de perken blijven en formele verificatie maakt het mogelijk om zonder te testen uitspraken te doen over het correcte gedrag van programmatuur.

Een interessante ontwikkeling is dat het vermogen te formaliseren en uit deze formalisaties implementaties te genereren nu ook zijn toepassing begint te vinden buiten de informatica. Met de komst van de XML-standaarden heeft het formaliserenvan vrijwel alle maatschappelijke interacties een aanvang genomen.

Internationaal vindt het onderzoek op het gebied van de functionele talen en de programmeermethodologie plaats binnen de actieve Haskell community, met bijdragen vanuit Chalmers, Oxford, Nottingham, Oregon, Cambridge etc. Op het gebeid van het generiek programmeren (Generic Haskell) en de (functionele) programmeermethodologie (combinator libraries) en de programmatransformatiesystemen (Stratego) speelt Utrecht een vooraanstaande rol, met name via de IFIP Working Group 2.1.

Het centrum heeft van oudsher een sterke band met het onderzoek binnen het Software Engineering Research Centre (SERC), alwaar men expertise heeft op het gebied van het object-georienteerde programmeren en de programmeeromgeveingen. Bestaande toolkits en geconstrueerde programmeeromgevingsgeneratoren (LRC) worden gebruikt binnen Ordina en Philips. Verwacht wordt dat verdere verspreiding van de bestaande toolboxen via het XML-kanaal een grote vlucht zal nemen (Proxima-project). Veel studenten voeren een afstudeeropdracht uit bij het bedrijfsleven, waarbij veelal ook technologie-overdracht plaats vindt.