Introductie Informatica en Informatiekunde/deel 2. activiteiten

• Iets op academisch niveau kunnen houdt meer in dan alleen iets voor elkaar krijgen:
  • Het houdt in dat men het, met gebruik van de nieuwste stand van de wetenschap, op een systematische, "professionele" manier maakt,
  • dat men begrijpt wat men aan het doen is
  • en ten slotte weet (en dus kan uitleggen) waaróm het goed is.
• Omdat zowel onze omgevong als ook de stand van de wetenschap voortdurend verandert, blijft een academisch professional een leven lang leren.

Belangrijke begrippen

• theorie, taal, methode, gereedschap
• rationalieitsvierkant
• correctheidsstelling
• rollen: opdrachtgever, ontwikkelaar, leverancier, domein-expert
• onderhandelen
• bewijzen

Achtergrondliteratuur

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)