Taxonomy/Beweren en bewijzen

Deze hoofdstukken van Taxonomy of Computer Science zijn achtergrondliteratuur voor Introductie Informatica en Informatiekunde, verplichte literatuur voor Beweren en Bewijzen en nuttig voor meer cursussen:

Rationality 

deductie, inductie, realiteit, beschrijvingen, structuur, eigenschappen, voorbeelden voor het rationaliteitsvierkant

Models 

de vier werelden, structuur, eigenschappen, voorbeeld audioinstallatie, verschilledne views, abstractie, Chinese dozen

Formal Methods 

rationaliteitsvierkant, specificatie, blauwdruk

Correctness Theorems 

correctheidsstelling, voorbeeld stoplichten

Development 

stakeholders, focus, hoe krijg ik een probleem scherp?

Verification and validation 

beperking tot en verificatievraag

Non-Monotonic Refinement 

een methode om tot een behapbare correctheidsstelling te komen (sinaasappelcasus uit III)