Stellingen

1. Het testen op juiste werking van software wordt (te) vaak aan de gebruikers hiervan overgelaten.

2. Fouten in software zullen zich voordoen zolang het opnieuw opstarten van software als remedie tegen fouten wordt gezien.

3. Het is mogelijk om met het Process Specificatie Formalisme (PSF) het gedrag van softwaresystemen op een abstract niveau te beschrijven.

   zie dit proefschrift: hoofdstukken 8, 10 en 11

4. De PSF-Toolkit is krachtig genoeg voor het valideren van specificaties in het formalisme PSF die het gedrag van softwaresystemen op een abstract niveau beschrijven.

   zie dit proefschrift: hoofdstukken 8, 10 en 11

5. Het hergebruik van software dient vergezeld te gaan met het hergebruik van het ontwerp van deze software.

6. De mogelijkheid het ontwerp van software te testen bevordert het hergebruik van deze software.

7. Open Source Software dient gecombineerd te worden met Open Design van deze software.

8. Procesalgebra kan een essentieel onderdeel zijn van een universitaire informatica opleiding.

9. Random selectie van niet-deterministische keuzes in de Algebra of Communicating Processes is geen implementatie van het begrip 'fairness'.

10. Het is mogelijk om een op programma-algebra gebaseerde programmeertaal met daarbij een op moleculaire dynamica gebaseerde verzameling basisinstructies te transformeren naar executeerbare code.

    zie B. Diertens: A Compiler-projection from PGLEc.MSPio to Parrot, electronic report PRG0403, Programming Research Group - University of Amsterdam, 2004

11. In tegenstelling tot de opvatting dat fabrieksmatige systeemwijde transformaties op software geconstrueerd en uitgevoerd moeten worden door specialisten kan dit gedaan worden door een gebruiker die de controle heeft over zowel de constructie van de fabriek als de uitvoering van de door specialisten aangeleverde transformaties.

    zie J. Brunekreef, B. Diertens: Towards a User-controlled Software Renovation Factory, Science of Computer Programming, vol. 45, no. 2-3, pp. 175-191, 2002

12. Wetenschappelijk onderzoek naar het klimaat dient klimaat-neutraal uitgevoerd te worden.

13. Amateur bierbrouwers proberen een smaakvol bier te brouwen, commerciele bierbrouwers daarentegen halen steeds meer smaak uit hun bier.