Beweren en bewijzen/kwaliteit/blauwdruk

Uit Werkplaats
< Beweren en bewijzen‎ | kwaliteit
Versie door Jille Timmermans (overleg | bijdragen) op 3 apr 2011 om 13:14 (Typfoutje gefixt)
(wijz) ← Oudere versie | Huidige versie (wijz) | Nieuwere versie → (wijz)
Ga naar: navigatie, zoeken
de opzet 2017-18    KalenderIcon.gif multimedia kwaliteit commentaren
site map


Beweren en bewijzen
Wijsheid omgaan met onzekerheid: met open blik op wankele ondergrond levenspad bewandelen
Vernuft aanpak van glibberige problemen precies redeneren op het hoogste niveau
vier zuilen → Artefacten Formalisering Taal Zekerheid
1. Rationaliteit Rationaliteitsvierkant 4 werelden Beweren is moeilijk Overtuigen
2. Modellen Focus Precisie Logica Stelling en bewijs
3. Model en realiteit Specificaties Domeinmodel Syntax en semantiek Waarheid
4. Correctheid Structuur Correctheidsstelling Typering Nagaan
5. Methoden Decompositie Systemat. vertalen Definities Natuurl. deductie
6. Theorie Domeintheorie Tijd Tijdslogica Wiskunde
7. Complexiteit Hiërarch. decompositie Vereenvoudigingen Modules Bewijsassistenten
8. Generalisering Standaardisatie Parametrisatie Talen Hulpstellingen
Beweren en bewijzen/kwaliteit/blauwdruk


Kwaliteitscriteria blauwdruk

  • B0 De blauwdruk geeft aan uit welke onderdelen het artefact bestaat. Daartoe bevat de blauwdruk hetzij een specificatie van elk onderdeel hetzij een verwijzing naar een elders staande specificatie.
  • B1 De blauwdruk geeft aan welke onderdelen welke waarneembare fenomenen met elkaar delen (en daarmee de samenhang van de onderdelen).
  • B2 De blauwdruk bevat alle informatie die nodig is om de gewenste eigenschappen van het artefact te bewijzen.
  • B3 Voor dezelfde onderdelen en dezelfde fenomenen worden in een blauwdruk ook precies dezelfde woorden gebruikt.
  • B4 Een blauwdruk beschrijft niet zo veel onderdelen dat men het overzicht verliest. Mensen kunnen niet goed meer dan 7 dingen onderscheiden, dus kun je beter niet veel meer dan 7 onderdelen hebben.
  • B5 Algemeen bekende functionaliteit of standaard-onderdelen verdienen de voorkeur.
  • B6 Als ter ondersteuning van de leesbaarheid redundante informatie (bijvoorbeeld diagrammen, commentaren, formules) toegevoegd worden, dient het geheel consistent te zijn (zelfde aantal onderdelen, precies dezelfde namen).