Op eigenschap zoeken

Deze pagina biedt een eenvoudige bladerinteractie voor het vinden van entiteiten met een eigenschap met een bepaalde waarde. Andere beschikbare zoekinteracties zijn de zoekpagina voor pagina-eigenschappen en de querybouwer.

Lijst van resultaten

•   +
• * aangeven wat de verantwoordelijkheid is …
  * aangeven wat de verantwoordelijkheid is van de belanghebbenden ** opdrachtgever ** domeinexpert ** ontwikkelaar ** leverancier * diverse methoden beschrijven in termen van het taxonomiediagram * een systeem specificeren d.m.v. non-monotonic refinement * uitleggen hoe bootstrap werkt
  refinement * uitleggen hoe bootstrap werkt   +
• * de begrippen artefact, blauwdruk, speci …
  * de begrippen artefact, blauwdruk, specificatie, eigenschappen ("het rationaliteitsvierkant") uitleggen en voorbeelden geven, * het rationaliteitsvierkant relateren aan het streven van exacte wetenschappen, * aannemelijk maken waarom soms een rationaal ontwerpproces noodzakelijk is * fouten classificeren (specificatiefout, ontwerpfout, realisatiefout, gebrekkig onderdeel) * belanghebbenden onderscheiden (klant, ontwerper, leverancier, domein-expert) * de ontwikkeling van een informatiesysteem analyseren volgens gegeven criteria aan de hand van projectdocumentatie; een beargumenteerd advies uitbrengen over voortzetting en verbetering
  uitbrengen over voortzetting en verbetering   +
• * exacte netwerken (bijvoorbeeld computer …
  * exacte netwerken (bijvoorbeeld computers en computernetwerken, maar ook software-netwerken binnen een computer) analyseren en beschrijven * beschrijven wat bij de overgang naar zo'n exact netwerk gebeurt (sensoren, actuatoren) * de beginselen van representatie (ongecomprimeerd) van tekst, beeld en geluid uitleggen, * schattingen voor de nodige hoeveelheid informatie maken en verantwoorden op basis van de eigenschappen van menselijke zintuigen, * uitleggen wat het principe van datacompressie is.
  gen wat het principe van datacompressie is.   +
• * in een zeer eenvoudige machinetaal prog …
  * in een zeer eenvoudige machinetaal programmafragmenten voor kleine berekeningen schrijven, * stap voor stap aangeven hoe een machine zulke programmafragmenten verwerkt, * aangeven hoe een machineprogramma in het geheugen van de computer terecht komt en wat daartoe nodig is (loader, disk-driver, bestandenbeheer, finder, compiler, boot), * uitleggen hoe multiprogramming werkt en wat de rol van de verdeler is.
  ing werkt en wat de rol van de verdeler is.   +
• * knopen in netwerken classificeren m.b.t. autonomie, * verschillende visies op communicatie hanteren, * eenvoudige talen definiëren, * eenvoudige protocollen ontwikkelen.   +
• * uitleggen wat de correctheidsstelling v …
  * uitleggen wat de correctheidsstelling voor systemen betekent * ... * de definitie geven van de begrippen vertaling, interpretatie, virtuele machine, * in deze termen beschrijven hoe een machineprogramma in de computer terecht komt, * eenvoudige bootstrapprocessen formeel beschrijven,
  ige bootstrapprocessen formeel beschrijven,   +
• * uitleggen wat het verschil is tussen va …
  * uitleggen wat het verschil is tussen valideren en verifiëren; * uitleggen wat het verschil is tussen testen en verifiëren; * uitleggen hoe een toestandsdiagram een (bepaald aspect) van een systeem beschrijft. * een eenvoudige modelbeschrijving in Uppaal begrijpen, hier zelf kleine aanpassingen in maken, en deze simuleren en model-checken met de Uppaal tool.
  uleren en model-checken met de Uppaal tool.   +
• * voor zeer eenvoudige problemen (zoals d …
  * voor zeer eenvoudige problemen (zoals de wijnvullerij) de bijbehorende logische formule bepalen; * beargumenteren dat men voor elke functie van n Boolse ingangen naar m Boolse uitgangen een machine kan maken die deze realiseert; * een computer bouwen, gegeven voldoende geheugencellen, een klok, voldoende logische poortjes, en heel veel geduld - oftewel, je kunt ** beschrijven hoe een cpu een machineprogramma verwerkt (instructiecyclus, program counter, arithmetiek), ** uitleggen dat een cpu niet meer is dan een machine die cyclisch steeds dezelfde Boolse functie berekent (geheugen+input->geheugen'+output) ** logische formules omzetten naar schakelingen
  ogische formules omzetten naar schakelingen   +
• * voorbeelden geven voor oriëntatie en be …
  * voorbeelden geven voor oriëntatie en beleving bij digitale bouwwerken; * systemen (o.a. computernetwerken en organisaties) analyseren als functionele netwerken met gebruik van de juiste workflow-begrippen; * knopen in netwerken classificeren m.b.t. autonomie; * uitleggen wat het doel van protocollen is en hoe ze in principe werken.
  rotocollen is en hoe ze in principe werken.   +