Hulp
Deze pagina aan uw boek toevoegen
Boek weergeven (27 pagina's)
Pagina's suggereren178
U
Eigenschap:Netwerkcommentaar
Uit Werkplaats
Dit is een eigenschap van type Tekst.
Pagina's die de eigenschap "Netwerkcommentaar" gebruiken
Er zijn 178 pagina's die deze eigenschappen gebruiken.
B | |
|---|---|
| Beweren en bewijzen/2011-12/feedback/ATB-deel1 + | afwezig + |
| Beweren en bewijzen/2011-12/feedback/ATB-deel1-her + | Het model past niet goed bij het domeinmodel daaronder. Je noemt de signalen StartRemming, maar ik zie in het functioneel netwerk Start remming. Je noemt Blok, Rem, Tijden, maar ik zie daarvan niets terug in het functioneel netwerk. Wel staat er een signaal Start Gas dat in het domeinmodel onbekend is. Bovendien vind ik de naamgeving vreemd. Het signaal Bel lijkt me meer iets dat van het Alarm-onderdeel naar de machinist gaat. Of heeft de vertrager echt een microfoon ingebouwd? De machinist is denk ik geen onderdeel van ATB en produceert ook geen snelheid. Hoe weet de vertrager of de machinist in de tussentijd de remmen heeft geactiveerd, zonder dat hij informatie over de remstand ontvangt? + |
| Beweren en bewijzen/2011-12/feedback/ATB-deel2 + | Past nu wel bij het domeinmodel, maar één commentaar dat ik had gegeven is niet verwerkt: Het onderdeel Alarm laat een bel rinkelen, en op dat belgeluid reageert de vertrager – althans, volgens dit model. Als ik dus een belletje dat hetzelfde geluid maakt ernaast zet en dat laat rinkelen, dan moet de Vertrager ook aanspreken. + |
| Beweren en bewijzen/2011-12/feedback/ATB-deel2-her + | Helaas zijn aan de rechter paginarand net twee letters weggevallen. Inhoudelijk is het nu goed. + |
| Beweren en bewijzen/2011-12/feedback/Blokfluit-deel1 + | ontbreekt + |
| Beweren en bewijzen/2011-12/feedback/Brandsysteem-deel2 + | Ontbreekt in de geprinte versie. Het predicaat Wa, dat in het netwerk op de webpagina staat, heet elders in het werkstuk Sp. Ik had daar ook al in mijn eerdere commentaar op gewezen. + |
| Beweren en bewijzen/2011-12/feedback/Roltrap-deel1 + | (Slechts één detail: probeer de afbeelding compleet te printen zonder dat tekst wordt afgesneden.) + |
| Beweren en bewijzen/2011-12/feedback/Vaatwasser-deel1 + | Het netwerk is, althans in de versie die wij geprint hebben, onvolledig. Mischien dat je het netwerk verticaal (rankdir=TB) kunt presenteren zodat het niet zo breed wordt. + |
| Beweren en bewijzen/2011-12/feedback/Verwarmingssysteem-deel1 + | Er is alleen een informele lijst van onderdelen. + |
| Beweren en bewijzen/2011-12/feedback/airco-deel1 + | Netwerk ontbreekt in de geprinte versie. In de werkplaats staat wel een versie, maar daar gebeurt iets raars met de manier waarop externe fenomenen zijn beschreven. De namen lopen een beetje door elkaar heen. + |
| Beweren en bewijzen/2011-12/feedback/airco-deel2-her + | Ik heb geen netwerk in jullie uitdraai gevonden. Het netwerk op de site ziet er wel goed uit. + |
| Beweren en bewijzen/2011-12/feedback/cilinderslot-deel2-her + | Sleutel en Draaiing zijn volgens mij geen externe fenomenen. Het zijn namelijk geen fenomenen. Want die staan allemaal in het domeinmodel. + |
| Beweren en bewijzen/2011-12/feedback/cylinderslot-deel1 + | Het netwerk is niet aanwezig in de afdruk. Ik heb dan ook maar zelf een print gemaakt uit de werkplaats. Jullie geven expliciet aan dat jullie ellipsen gebruiken voor externe fenomenen. Dus hoewel dat niet gebruikelijk is, is het wel duidelijk hier. Echter, ik snap niet wat de teksten profiel past en duwen weg hier dan nog doen. Zijn dat ook externe fenomenen? Verder ziet het onderdeel omhulsel met alleen een ingaande pijl er ook wel raar uit. Wat is dan het doel van dat onderdeel als het niets 'naar buiten' communiceert? Ook is het niet toegestaan om spaties in namen te gebruiken. + |
| Beweren en bewijzen/2011-12/feedback/cylinderslot-deel1-her + | Het commentaar dat ik nu niet weet of 'sleutel' of 'duwen_weg' nu het externe fenomeen is blijft nog steeds bestaan. + |
| Beweren en bewijzen/2011-12/feedback/cylinderslot-deel2 + | Tja, er staan nog steeds dingen in (Sleutel, Draaiing, Ontgrendeling) waarvan het uit de syntax niet te halen is wat het zijn: onderdelen, predikate of iets anders. Verder is het niet heel erg duidelijk wat de betekenis van de pijl bij draaibaar is. Die komt binnen in het subsysteem Cylinder, maar niet bij een van de onderdelen daaruit. Betekent dit dat alle onderdelen uit Cylinder de waarde van dit predikaat kennen en er op kunnen reageren? Ook het punt waar drie pijlen bij elkaar komen is apart. Ik heb ook hier geen idee wat dat nu betekent. Het zou me niet verbazen als deze onduidelijkheden komen door het ingevoerde subsysteem Cylinder. Maak daar gewoon een normaal onderdeel van en ik denk dat het vanzelf goedkomt. + |
| Beweren en bewijzen/2011-12/feedback/elektrische tandenborstel-deel1 + | Beetje raar dat de lampjes geen interne stroom nodig hebben, maar daar kan ik me werkstuktechnisch gezien ook iets bij voorstellen. Ah, ik zie dat het op bladzijde 5 ook wordt uitgelegd. + |
| Beweren en bewijzen/2011-12/feedback/fiets-deel1 + | Er is geen functioneel netwerk te vinden in de uitdraai. Ik heb maar een uitdraai uit de werkplaats gehaald. Het is niet duidelijk wat de ovalen betekenen. Is 'voortstuwing' nu een extern fenomeen of 'fiets_rijdt'? En 'dynamo_voorwiel' staat nu getekend als intern fenomeen, maar is het dat wel? + |
| Beweren en bewijzen/2011-12/feedback/fiets-deel1-her + | Helaas staan de externe fenomenen aan de rechterkant net niet op de afdruk. Oh wacht, jullie hebben ook een verkleinde variant toegevoegd. + |
| Beweren en bewijzen/2011-12/feedback/flitspaal-deel1 + | Oei, dit is wel apart. Een netwerk waarin geen externe fenomenen te zien zijn. Dan wordt het ook lastig om een specificatie van het geheel op te schrijven, want die gebruikt nou juist al die externe fenomenen. Bedenk goed of dat je van 'voertuig' een onderdeel moet maken zoals je nu gedaan hebt, of dat je er alleen maar een extern fenomeen van moet maken als 'voertuig t s', met als betekenis dat op tijdstip t er een voertuig rijdt met snelheid s. Of misschien moet je hier ook nog wel een parameter v voor voertuig aan toevoegen, zodat je op een volgend moment aan die v via een functie het kenteken kunt vaststellen. + |
| Beweren en bewijzen/2011-12/feedback/frisdrankautomaat-deel1 + | Onderdelen moeten als rechthoeken worden weergegeven, niet als ovalen. Er staan geen predikaten bij de fenomenen. Wat is de betekenis van de externe ovalen? Er lijkt hier sprake van 1 producthouder, maar ik heb het gevoel dat er later meerdere houders gebruikt worden. + |
| Beweren en bewijzen/2011-12/feedback/frisdrankautomaat-deel1-her + | Technisch gesproken wel OK, maar door de layout en de vele ook nog eens op elkaar lijkende afkortingen niet heel leesbaar. En waarom staat ui t f p er op meerdere plaatsen in? + |
| Beweren en bewijzen/2011-12/feedback/frisdrankautomaat-deel2 + | Jullie hebben er duidelijk werk van gemaakt om het werkstuk een mooier document te laten zijn dan een afdruk van de werkplaats, maar ik had eerlijk gezegd liever een functioneel netwerk gezien in die afdruk. Gelukkig staat er wel een in de werkplaats. Helaas nog steeds een waar alleen de afkortingen in staan, waar ik de vorige keer al over had geklaagd. Verder bevat dat plaatje nog een gpr die in jullie werkstuk verder niet meer voor lijkt te komen. + |
| Beweren en bewijzen/2011-12/feedback/frituurpan-deel1 + | Het netwerk ontbreekt in de uitdraai. Ik heb gebruik gemaakt van jullie online netwerk. Dat ziet er op zich goed uit. + |
| Beweren en bewijzen/2011-12/feedback/grijpautomaat-deel1 + | Maar ik vind het wel verdacht dat er 'extern' niets te zeggen is over de prijzenbak. Nu wordt het in de specificatie van het geheel wel erg lastig om te zeggen dat hij op een plek komt waar een prijs ligt. Jij noemt dat geloof ik 'de juiste plek'. + |
| Beweren en bewijzen/2011-12/feedback/grijpautomaat-deel1-her + | Ik zie nog steeds geen externe zaken bij de Prijzenbak. Maar als ik bij het domeinmodel kijk zie ik wel een erLigtPrijs. Die moet hier vast nog worden toegevoegd. Verder staat positie nu als een 'resultaat' van de Grijphaak, maar het is tevens 'invoer' voor die Grijphaak, dus misschien zou die nog met een boogje naar zichzelf moeten staan. + |
| Beweren en bewijzen/2011-12/feedback/kassa-deel1 + | Sommige namen zijn een beetje ongelukkig geplaatst. Indien jullie tijd over hebben, probeer die dan een beetje te verplaatsen zodat het geheel beter leesbaar wordt. + |
| Beweren en bewijzen/2011-12/feedback/kassa-deel1-her + | Op zich ziet het netwerk er wel goed uit, maar als ik dan het domeinmodel lees, dan mis ik hier een heleboel predikaten: productGescand, bedrag, naamEnPrijsGeprint en bonVoltooidDoorgestuurd. Ik had dit natuurlijk ook bij het domeinmodel kunnen aanrekenen, maar aangezien jullie deze predikaten wel bij de specificaties gebruiken, neem ik aan dat domeinmodel klopt en dat het netwerk moet worden aangepast. + |
| Beweren en bewijzen/2011-12/feedback/lift-deel1-her + | In de ingeleverde versie zit geen functioneel netwerk. Op de site staat er wel een, maar dat past niet bij het domeinmodel. Sommige namen staan wel in dit netwerk, maar niet in het domeinmodel (of bij de hulppredikaten). En andersom. Ook in het korte lijstje met onderdelen staan onderdelen 'Liftkooi' en 'Liftmotor' die niet in het netwerk staan. + |
| Beweren en bewijzen/2011-12/feedback/lift-deel2-her + | Al ziet her er nog steeds raar uit dat er maar 1 extern fenomeen te zien is. Dan kan de specificatie van het geheel eigenlijk niets worden. + |
| Beweren en bewijzen/2011-12/feedback/loopband-deel1 + | Het ziet er een beetje verwarrend uit met al die zelfde predikaten op verschillende plekken, maar het klopt wel. + |
| Beweren en bewijzen/2011-12/feedback/luchtontvochtiger-deel1 + | Er zitten spaties in namen. Dat mag niet. De weergave van de externe fenomenen is raar. Is 'minder vochtige lucht uit' nu het fenomeen? Of juist 'Lucht Buiten'? Sowieso staan er dus twee dingen terwijl er maar één verwacht wordt. Ook gebruik je twee keer dezelfde naam 'aan/uit signaal'. Gaat dat echt over dezelfde eigenschap? Met andere woorden: gaan de Compressor en Ventilator altijd precies op hetzelfde moment aan? Of zijn dit twee verschillende fenomenen. + |
| Beweren en bewijzen/2011-12/feedback/luchtontvochtiger-deel1-her + | Het ziet er wel een beetje verdacht uit wat er met 'condensatie' gebeurt. Het lijkt alleen maar betrekking te hebben op Verdamper, maar in je onderdelen gebruik je het ook bij de opvangbak. Verder is het raar dat die opvangbak alleen een ingaande pijl heeft. + |
| Beweren en bewijzen/2011-12/feedback/ov-oplader-deel1 + | Beetje jammer dat er wat namen door elkaar heen zijn gegaan, waardoor die niet goed meer te lezen zijn. + |
| Beweren en bewijzen/2011-12/feedback/ov-oplader-deel2 + | Jullie doen wel iets raars met de functies. Sommige functies geven jullie expliciet weer alsof het predikaten zijn die alleen bij bepaalde onderdelen bekend zijn, maar bijvoorbeeld de functie codeVan geven jullie niet weer. + |
| Beweren en bewijzen/2011-12/feedback/waterkoker-deel2-her + | Geen functioneel netwerk in de uitdraai. Wel op de site gelukkig. + |
| Beweren en bewijzen/2011-12/feedback/xbox360-deel1 + | Jullie hebben de gebruiker en televisie hier als rechthoek en dus als onderdeel gemodelleerd. Terwijl ik denk dat jullie alleen maar de externe fenomenen als 'gebruiker drukt op controller' en zo nodig hebben. En wat is het doel van led_aan_signaal? Ik zou verwachten dat er dan ook ergens een extern fenomeen led_aan moet zijn, zodat je van buiten tenminste kunt zien of dat ledje aan is of niet. + |
| Beweren en bewijzen/2011-12/feedback/xbox360-deel2 + | Ik kan geen functioneel netwerk vinden. + |
| Beweren en bewijzen/2012-13/feedback/Alarmsysteem-deel1 + | Het ziet er erg indrukwekkend uit... Kun je het zo presenteren dat het ook overzichtelijk blijft? Een functioneel netwerk is bedoeld om de lezer een eerste overzicht te verschaffen over de onderdelen en hun gedeelde fenomenen. Je kunt bv. alle ramen in één eenheid samenvatten, zonder verdere onderverdeling. De pijlen moeten gedeelde fenomenen noemen. Het fenomeen dat je „raam_sensor” noemt heeft een verwarrende naam, ik dacht eerst dat je een onderdeel bedoelde dat je verkeerd had opgeschreven. Probeer een naam te vinden die klinkt als een gedeeld fenomeen. Bovendien vind ik het vreemd dat de sensor iets naar de deur stuurt, die dan een alarmsignaal doorgeeft. Eerder zou ik verwachten dat een deur of raam door vibraties een seintje aan de sensor doorgeeft en die sensor dan een alarmsignaal produceert. Let erop dat je alleen onderdelen van het systeem noemt. Horen de ramen en deuren ook bij het systeem of zijn het alleen de sensoren die op die plaatsen zitten die bij het systeem horen? + |
| Beweren en bewijzen/2012-13/feedback/Alarmsysteem-deel2-her + | goed idee om die grijze boxen te gebruiken. + |
| Beweren en bewijzen/2012-13/feedback/Bankkluis-deel1 + | Voor mijn gevoel zou het iets symmetrischer zijn met 'code' en 'code_correct' als er ook een 'sleutel' en 'sleutel_correct' zou zijn. Nu los je dit op in het domeinmodel door te zeggen dat 'sleutel' automatisch een goede sleutel is. Waarom is 'sleutelsot_verstreken' een input? Ik zou verwachten dat dat een output is die berekend wordt. Zelfde voor 'tijdslot_verstreken'. + |
| Beweren en bewijzen/2012-13/feedback/Bankkluis-deel2-her + | Het netwerk ontbreekt in het papieren werkstuk. Het netwerk in de werkplaats ziet er gelukkig wel goed uit. + |
| Beweren en bewijzen/2012-13/feedback/Draaideur-deel1 + | Wat is de betekenis van de blauwe (externe?) en zwarte (interne?) pijlen? En wat zijn de fenomenen? Bij elke pijl hoort normaal gesproken een predikaat te staan. In het bijzonder hoef je 'Object' dan ook niet meer op te nemen, want er is bijvoorbeeld een predikaat 'bewegingGedetecteerd' dat de 'Bewegingssensor' van 'input' voorziet en een predikaat 'obstructieGedetecteerd' als de 'Obstructiesensor' iets moet gaan doen. Wat is de gedachte input bij de 'Noodsensor'? Ik zou 'Object' dus niet als fenomeen inzetten. Maar wel als verzameling/type in het domeinmodel. Dan kun je in de specificatie van het geheel straks iets zeggen als 'indien object o op tijdstip t voor de deur staat, dan is object o op tijdstip t+5 aan de andere kant van de deur, mits er geen obstructies worden gedetecteerd'. + |
| Beweren en bewijzen/2012-13/feedback/Dubbele schuifdeur-deel1 + | Geheel duidelijk. Ik vraag me alleen af of één midden-sensor voldoende is – ik denk dat veel dubbele schuifdeuren ook in de tussenruimte bij elke deur een sensor hebben. Moeten deuren echt 30 seconden open blijven? Dat is héél lang. Ga eens naar de hoofdingang van het St. Radboud-ziekenhuis en wacht de 12 seconden af voordat de ingang voor rolstoelers opengaat. + |
| Beweren en bewijzen/2012-13/feedback/Dubbele schuifdeur-deel2 + | ontbreekt in de print. Het functionele netwerk op de webpagina is goed. + |
| Beweren en bewijzen/2012-13/feedback/Eukaryoot-deel1 + | Misschien is het een idee om al die 'isAanwezig' dingen een andere kleur of misschien een ander soort pijl te geven, zodat meteen duidelijk is welke fenomenen echt in het domeinmodel zijn terug te vinden. + |
| Beweren en bewijzen/2012-13/feedback/Eukaryoot-deel2 + | Aangezien jullie blauwe pijlen gebruiken om een bepaalde functie weer te geven was een kleurenafdruk van dit netwerk geen overbodige luxe geweest. + |
| Beweren en bewijzen/2012-13/feedback/Flessenautomaat-deel1 + | Ik vraag mij nu wel af hoe jullie in de logica gaan weergeven of de KSensor iets goeds of iets fouts detecteert. Blijkbaar niet met een predikaat want dan had ik dat hier moeten zien. + |
| Beweren en bewijzen/2012-13/feedback/Flessenautomaat-deel1-her + | Het netwerk ontbreekt in de uitdraai! Het netwerk op de site ziet er best goed uit, maar ik zou verwachten dat Sensor een extern fenomeen voor het al dan niet goedgekeurd zijn nodig heeft. + |
| Beweren en bewijzen/2012-13/feedback/Frisdrankautomaat-deel1 + | Ik ben een beetje verrast door het onderdeel 'Koeling'. gezien de tekst bij de focus had ik dat onderdeel niet verwacht hier. Verder denk ik dat 'Prijslijst' misschien niet als onderdeel nodig is. Je hebt immers een functie 'prijs' die door de onderdelen gebruikt kan worden. En omdat de daadwerkelijke implementatie van 'prijs' onbekend is, is dit in zichzelf al een soort prijslijst. + |
| Beweren en bewijzen/2012-13/feedback/Halon-systeem-deel1 + | Waarom is fenomeen 'Brand' met een hoofdletter terwijl alle andere fenomenen met een kleine letter beginnen? + |
| Beweren en bewijzen/2012-13/feedback/Koelkast-deel1 + | Er staat een pijl tussen 'Bediening' en 'Temperatuurregelaar' maar geen predikaat. Wat wordt hier nu gecommuniceerd? En ik vind het wel een beetje apart dat 'Deurlampje' zo apart staat. Blijkbaar heeft 'deur_open' geen consequenties voor de 'Temperatuurregelaar' of zo terwijl ik denk dat een open deur de temperatuur zal doen toenemen. Nu denk ik dat de spec van 'Deurlampje' bijzonder simpel zal zijn. Ook vind ik het raar dat de 'Temperatuurregelaar' blijkbaar niet de temperatuur krijgt. Die is alleen bekend bij 'Bediening'. Is dat echt de bedoeling? Als ik bij de korte onderdeelspecs kijk lijkt dit niet zo te zijn. + |
| Beweren en bewijzen/2012-13/feedback/Koffiezetapparaat-deel1 + | Er is nu gekozen om de predikaten 'isBetaald' en 'verwarmWater' elk drie keer te gebruiken. Had dat misschien ook met een keer gekund? + |
| Beweren en bewijzen/2012-13/feedback/Koffiezetapparaat-deel2 + | Wat betekent de zelf bedachte syntax 'totaal, isBetaald' bij de lijnen? Verder ziet het er verdacht uit dat WaterKnop geen verbinding heeft met Waterverwarmer. Hoe gaan jullie dan afdwingen dat er warm water uit komt? + |
| Beweren en bewijzen/2012-13/feedback/Kruimeldief-deel1 + | De graaf zelf is geheel duidelijk; de lijst van onderdelen past niet bij de graaf. + |
| Beweren en bewijzen/2012-13/feedback/Kruimeldief-deel2-her + | ongewijzigd t.o.v. eerdere versie. In de lijst van onderdelen bij het functionele netwerk staat nog steeds dat de aan/uit-knop een schakelaar is, terwijl je hem elders als momentschakelaar behandelt. + |
| Beweren en bewijzen/2012-13/feedback/Lift-deel1 + | Het netwerk ontbreekt in de print. Dit komt wel vaker voor bij de generatie naar PDF. Zorg er voor dat hij in de afdruk van de definitieve versie wel aanwezig is. Gelukkig staat hij wel in de werkplaats. Als ik dit plaatje zie, vraag ik me wel meteen af hoe jullie met het 'TransportMechanisme' gaan werken: als subartefact of worden de losse onderdelen gewoon op dezelfde manier gebruikt als bijvoorbeeld 'Deurmechanisme'. Verder zijn de namen bij de pijlen wel erg cryptisch, maar dat zal hopelijk bij het domeinmodel worden uitgelegd. En begrijp ik goed dat 'deurVeilig' jullie manier is van het samen nemen van een aantal sensoren zoals in de focus aangekondigd? Er staat twee keer 'oVLNP' waarbij dat de tweede keer vast 'oVLNC' moet zijn. + |
| Beweren en bewijzen/2012-13/feedback/Lift-deel1-her + | Het ziet er alleen een beetje verdacht uit dat 'olieStroomt' voor en na de Leiding er precies hetzelfde uitziet. + |
| Beweren en bewijzen/2012-13/feedback/Magnetron-deel1 + | Wat is de semantiek van het blok (dus onderdeel) 'AanUitKnop' dat buiten de magnetron staat? En als het eigenlijk wel een onderdeel van de magnetron zelf is, heeft het ding dan geen extern fenomeen nodig? Ik zou verwachten dat dit iets is waar de gebruiker iets mee doet. Als ik puur naar het netwerk kijk, zie ik maar heel weinig onderdelen en vraag me ook af of het artefact interessant genoeg is. Maar misschien blijkt de gekozen eigenschap spannend genoeg... + |
| Beweren en bewijzen/2012-13/feedback/Magnetron-deel1-her + | Het netwerk is een stuk beter dan de vorige keer, maar nog niet perfect. Technisch gesproken betekent dat ovale ding met Stroom erin niets, maar ik neem aan dat jullie deze syntax gaan definieren als een afkorting voor vier verschillende 'stroom' pijlen. Wat die 'Stroom' rechtsboven doet is niet duidelijk. En ik zou eigenlijk ook denken dat die draaibeweging en straling niet extern zijn, maar intern om bijvoorbeeld op de draaiplaat het object op te warmen. + |
| Beweren en bewijzen/2012-13/feedback/Magnetron-deel2-her + | Het netwerk ontbreekt in de afdruk. Gelukkig ziet het netwerk in de werkplaats er wel goed uit. + |
| Beweren en bewijzen/2012-13/feedback/Melkrobot-deel1 + | Technisch gesproken betekenen de woordjes 'Koe', 'Lege_Koe' en 'Melk' niets. Het gaat om de fenomenen: 'koeID', 'koeWeg' en een predikaat dat ik niet kan lezen. Wat ik me wel afvraag bij dit plaatje is waar de intelligentie in het systeem zit. In MelkUnit? + |
| Beweren en bewijzen/2012-13/feedback/Oven-deel1 + | Jullie gebruiken kleuren in jullie netwerk. Dat is op zich mooi. Maar geef wel in de tekst aan wat het verschil is tussen rode (stroom>), blauwe (signalen?) en zwarte pijlen (externe fenomenen?). Is 'Te_Verhitten_Object' nu ook een onderdeel gezien het feit dat het in een rechthoek staat? Het staat niet in het lijstje met onderdelen. Of moet het misschien samen genomen worden met het predikaat 'warmte' tot een exetern predikaat 'verhitObject'? Ik heb ook het gevoel dat er geen predikaat is om aan te geven dat er een 'ding' in de oven staat. + |
| Beweren en bewijzen/2012-13/feedback/Oven-deel2 + | Niet aanwezig in de afdruk. Verder helpt een legenda in kleur niet zo goed op het moment dat er iets in zwart-wit wordt ingeleverd. + |
| Beweren en bewijzen/2012-13/feedback/Scheerapparaat-deel1 + | Het ziet er wel wat simpel uit, maar misschien blijkt uit de specificaties van de onderdelen wel dat de werking van die onderdelen ingewikkeld is. + |
| Beweren en bewijzen/2012-13/feedback/Slagboom-deel1 + | Ik zou hebben verwacht dat de printer een extern fenomeen oplevert. Maar blijkbaar alleen iets interns. Jullie 'korte informele spec' van de onderdelen is eigenlijk al wat te gedetailleerd. Verder staat er iets over gepakte tickets, maar ik qua naam zie ik in het netwerk niets dat lijkt op 'ticker gepakt'. + |
| Beweren en bewijzen/2012-13/feedback/Stoplicht-deel1 + | overzichtelijk, duidelijk is ook de relatie met het domeinmodel (alleen bij „gekleurdLicht” moet je nog beter onderscheiden). + |
| Beweren en bewijzen/2012-13/feedback/Stoplicht-deel2 + | „signaal-RU-S1” staat er twee keer; je bedoelt vast „signaal-RU-S2”. + |
| Beweren en bewijzen/2012-13/feedback/Stoplicht-deel2-her + | de tikfout is gecorrigeerd, verder onveranderd. + |
| Beweren en bewijzen/2012-13/feedback/Supermarkt zelfscanner-deel1 + | In onze standaardmanier van functioneel netwerk plaatsen we geen externe entiteiten, maar alleen de onderdelen van het systeem zelf en de signalen. Dus „product” en „betaalautomaat” horen er eigenlijk niet bij. (Je kunt onzichtbare externe entiteiten gebruiken als dat nodig is om een pijl van buiten of naar buiten te laten tekenen.) Er gaat geen informatie van de sensor naar het product; je kunt dus de pijl „scan” laten vervallen. En biedt het scherm geen uitvoer aan de gebruiker aan? Dan is het overbodig. Of misschien bedoel je dat het signaal „scherm_output” eigenlijk ook naar de gebruiker gaat? + |
| Beweren en bewijzen/2012-13/feedback/Supermarkt zelfscanner-deel2 + | Bij de lijst van onderdelen: Het product komt niet het systeem binnen, maar alleen informatie erover (de streepjescode). + |
| Beweren en bewijzen/2012-13/feedback/stofzuiger-deel1 + | „Zakhouder” (in de grafiek) of „Stofzakhouder” (in de lijst van onderdelen)? + |
| Beweren en bewijzen/2012-13/feedback/verwarmingsysteem-deel1 + | De externe entiteiten „ingestelde_temp” en „temperatuur” horen niet echt in het functionele netwerk; het is voldoende als je de fenomenen vermeldt die het systeem met zijn omgeving deelt. De omgeving zelf moet dus niet terugkomen. + |
| Beweren en bewijzen/2012-13/feedback/verwarmingsysteem-deel2 + | De functies ingesteldeTemperatuur en kamerTemperatuur en het predikaat isIngesteld zie ik niet terug in het functionele netwerk, terwijl ik ze op basis van het domeinmodel wel verwacht had. Dit systeem heeft dus geen enkele in- of uitvoer. De enige specificatie die je erover kunt opstellen is “true”. + |
| Beweren en bewijzen/2012-13/feedback/vriezer-deel1-her + | Ontbreekt in de geprinte versie. Op de webpagina staat een functioneel netwerk dat wel voldoende is. Alleen is niet direct duidelijk hoe de temperatuur samenhangt met de onderdelen; ik vermoed dat de thermostaat de temperatuur meet en het koelelement haar beïnvloedt. Verduidelijk dat met pijlen. Om exacter aan te geven welke relatie tussen „verlagingTemperatuur” en „meetTemperatuurOpTijd” bestaat, stel ik voor dat jullie een onderdeel „vriesvak” toevoegen. De lijst van onderdelen past goed bij het huidige functionele netwerk op de webpagina. + |
| Beweren en bewijzen/2013-14/feedback/Cruisecontrol-deel1 + | In „het bestudeerde fragment van de realiteit” lijkt het erop dat ook de infraroodsensoren bij het systeem horen en dat de snelheidsmeter er niet bij hoort. Hier is het juist omgekeerd. Het bedieningspaneel lijkt datgene wat je daar „een controlemechanisme [of] een soort hendel” noemt, maar dan verloopt het signaal remIn en koppelingIn wat vreemd. + |
| Beweren en bewijzen/2013-14/feedback/De Game-deel 1 + | goed idee om het functionele netwerk in twee delen te splitsen. Van waar krijgt de controller zijn invoer? + |
| Beweren en bewijzen/2013-14/feedback/NS in- uitcheck paal-deel2 + | Het door mij geprinte netwerk is in orde. + |
| Beweren en bewijzen/2013-14/feedback/Schiphol Bagage Sorteersysteem-deel1 + | Let erop (in de korte informele specificaties van onderdelen) dat je „of” vaak moet vertalen als conjunctie: De buffer en de transportbakken-opslag moeten voldoen aan beide eisen, niet alleen aan minimaal één. + |
| Beweren en bewijzen/2013-14/feedback/Schiphol Bagage Sorteersysteem-deel2 + | De lijnen voor buffer_in en naar_uitgave hoeven niet aan elkaar gekoppeld te worden. + |
| Beweren en bewijzen/2013-14/feedback/Sluis-deel1 + | Je gebruikt dezelfde naam van signaal op verschillende plaatsen, bv. „deurOpen”. Het is onduidelijk of de sluisdeuren en het luikje wel of niet onderdeel van het systeem zijn. Volgens de inleiding wel, maar dan zouden ze ook in het functionele netwerk moeten staan. + |
| Beweren en bewijzen/2013-14/feedback/Sluis-deel1-her + | inhoudelijk prima. + |
| Beweren en bewijzen/2013-14/feedback/Stoplichtensysteem-deel1 + | Tijdens patroon 2 kan ook richting LO op groen staan. „Systeem” is erg algemeen (en niet helemaal correct, want het betekent eigenlijk „samenstelsel”). + |
| Beweren en bewijzen/2013-14/feedback/achtbaan-deel1 + | Op zich ziet dit er als een normaal netwerk uit, maar ik vind het raar dat er bijvoorbeeld geen terugkoppeling is van het Stoplicht naar de Trein. Sowieso vind ik het een beetje raar dat Trein zelf een onderdeel is en ook in het predikaat TreinAanwezig een rol speelt. + |
| Beweren en bewijzen/2013-14/feedback/achtbaan-deel1-her + | 'Op een bepaalt tijdstip'? + |
| Beweren en bewijzen/2013-14/feedback/achtbaan-deel2 + | Waarom kiezen jullie soms voor die punt om dubbel gebruikte fenomenen weer te geven en soms niet? + |
| Beweren en bewijzen/2013-14/feedback/alarmsysteem-deel1 + | Eigenlijk horen er geen parameters te staan in het netwerk, maar alleen de predikaten zelf. + |
| Beweren en bewijzen/2013-14/feedback/automatischlicht-deel1 + | Zoals al eerder gememoreerd ziet het er erg eenvoudig uit met slechts drie onderdelen. + |
| Beweren en bewijzen/2013-14/feedback/automatischlicht-deel1-her + | Het netwerk ontbreekt in de uitdraai. En als ik op de werkplaats kijk, dan ontbreekt het predikaat 'actief' nog steeds. Dat had ik de vorige keer al gemeld, dus oe kan het zijn dat dat er nu nog steeds niet in staat? Hebben jullie de feedback wel goed gelezen? + |
| Beweren en bewijzen/2013-14/feedback/automatischlicht-deel2 + | Eigenlijk had spanning natuurlijk met zo'n splitsende pijl gedaan moeten worden, maar dit is ook vrij duidelijk. + |
| Beweren en bewijzen/2013-14/feedback/betterplace-deel1 + | Dit ziet er op zich goed uit. Alleen ontbreekt de naam 'Better Place' natuurlijk nog. Maar als ik verder lees in jullie werkstuk ontbreekt er nog veel meer... + |
| Beweren en bewijzen/2013-14/feedback/betterplace-deel1-her + | Op zich ziet dit er goed uit, maar in aanvulling op het commentaar bij de Focus: misschien hebben jullie een onderdeel 'Chauffeur' nodig die er voor zorgt dat de mededelingen gekoppeld worden aan bijvoorbeeld Auto_in. Jullie kunnen dit eventueel ook oplossen door een 'Axiom' of 'Hypothesis' toe te voegen die buiten het artefact zegt dat als de mededeling 'doorrijden' komt, de auto ook echt binnen een zekere tijd naar binnen wordt gereden. Ik denk dat de oplossing met zo'n Hypothesis het makkelijkste is om door te voeren. Dit moet dan natuurlijk wel netjes in 'vereenvoudigingen' bij de aannames worden gezet. + |
| Beweren en bewijzen/2013-14/feedback/betterplace-deel2 + | De korte informele specificaties zijn niet allemaal echte specificaties. Ze zijn wel informeel genoeg... + |
| Beweren en bewijzen/2013-14/feedback/bloeddrukmeter-deel1 + | Het netwerk zelf ziet er wel goed uit, maar de korte definities van de onderdelen lijken me wat raar. Als ik naar de processor kijk dan denk ik dat die eigenlijk twee keer iets moet doen. De eerste keer alleen maar een signaal naar de pomp om de manchet op te blazen. De tweede keer als hij van de manchet een waarde doorkrijgt die hij moet doorgeven aan het scherm en misschien moet hij dan ook wel de pomp een signaal geven dat de manchet weer leeg moet lopen ofzo. In jullie zin lijkt of alles op 1 moment gebeurt. (Dat is misschien ook wel zo; daar kom ik straks wel achter als ik de specs van de onderdelen ga lezen.) Belangrijk is dus om expliciet te krijgen welk onderdeel nu precies bepaalt dat de druk 120/80 is. De Manchet? De processor aan de hand van de druk-info die hij van de Manchet krijgt? + |
| Beweren en bewijzen/2013-14/feedback/bloeddrukmeter-deel1-her + | Ik heb het gevoel dat de korte beschrijving bij de onderdelen niet is aangepast. Hier wordt nog steeds gesproken over 'toevoegen aan een verzameling', maar dat is inmiddel toch achterhaald? + |
| Beweren en bewijzen/2013-14/feedback/buizenpost-deel2 + | Door het gebruik van de afkortingen is alles wat cryptisch geworden. De afkortingen zijn vooral bedoeld om in het bewijs te gebruiken. En dan gebruiken jullie ook nog eens andere afkortingen dan in het domeinmodel. Verder tekenen jullie Chinese dozen. Gebruiken jullie die straks ook echt? + |
| Beweren en bewijzen/2013-14/feedback/buizenpost-deel2-her + | De lange namen maken het echt een stuk leesbaarder. Wel jammer dat jullie niet hebben gecontroleerd of het hele netwerk op papier is gekomen, want dat is het namelijk niet. De Chinese dozen zijn helaas verdwenen. + |
| Beweren en bewijzen/2013-14/feedback/elektrischegitaar-deel1 + | Zorg er s.v.p. voor dat in het definitieve werkstuk het netwerk in zijn geheel op 1 pagina staat. Verder zondigen jullie in de korte omschrijving van de onderdelen tegen het lokaliteitsprincipe. Bij de Pickup zeggen jullie dat die alleen iets doet als de Snaren iets doen en dat daarna de Gitaar iets gaat doen. Maar de Pickup weet niet dat hij dit keer aan Snaren en een Gitaar is vastgeplakt. Het maakt hem niet uit waar de geluidsgolven vandaan komen: als hij geluidsgolven hoort zet hij ze simpelweg om. Dit probleem zit hem niet alleen in de Pickup, dus bekijk al die onderdelen kritisch. + |
| Beweren en bewijzen/2013-14/feedback/elektrischegitaar-deel2 + | Ik vraag me wel af wat het doel is van het onderdeel 'Gitaar' als het toch niets anders doet dan hetzelfde meteen doorsturen naar de kabel. En waarom heeft pickup_omgezet drie parameters? Is het nog van belang te weten welke gg is gebruikt om de ds mee te berekenen? + |
| Beweren en bewijzen/2013-14/feedback/elektrischegitaar-deel2-her + | Niet aangepast. + |
| Beweren en bewijzen/2013-14/feedback/geautomatiseerd-subwayrestaurant-deel1 + | onvolledig afgedrukt. Het functionele netwerk op de webpagina ziet er in orde uit. + |
| Beweren en bewijzen/2013-14/feedback/gokautomaat-deel1 + | De fruitGelijk hoort volgens mij niet meer in het netwerk, want hij staat er al in via de verschillende isFruit predikaten. Verder is er een inconsistentie met de rest van het werkstuk. Hier hebben jullie het alleen over draaiSchijf, maar verderop gebruiken jullie ook schijfDraait, die hier dus ontbreekt. In de korte definities van de onderdelen wordt nog iets over spanning gezegd, maar dat moet nu waarschijnlijk iets over commando om te draaien zijn. + |
| Beweren en bewijzen/2013-14/feedback/hdd-deel1 + | Het signaal „voltage” staat meerdere keren genoemd. Om het goed te kunnen onderscheiden, stel ik voor dat je de naam van het onderdeel toevoegt. Is gData überhaupt nodig? Kennelijk worden er geen gegevens vanuit de draaischijf teruggestuurd naar de magnetische kop. + |
| Beweren en bewijzen/2013-14/feedback/hdd-deel1-her + | Goed dat je bij het signaal „voltage” hebt verduidelijkt welk onderdeel betrokken is (maar nog niet bij Controller -> Rotor. Verbeter dat alsnog.). Iets soortgelijks geldt voor rotatie, dat je nu op twee plaatsen gebruikt: verbeter dat alsnog. + |
| Beweren en bewijzen/2013-14/feedback/homecinemaset-deel1 + | Jullie hebben wel heel veel onderdelen. Is het daadwerkelijk nodig om al die kabels expliciet te maken? Hier ontwerpen jullie het systeem, dus jullie mogen er best voor kiezen om voor de uitvoer van de ontvanger hetzelfde predikaat te gebruiken als de invoer voor de versterker. Jullie zouden zelfs een predikaat 'kabel' kunnen maken met als type T->O->O->B waarbij O de verzameling onderdelen is. 'kabel 3 Ontvanger Versterker' betekent dan dat er op tijdstip 3 een signaal van de Ontvanger naar de Versterker wordt gestuurd. Verder zouden jullie van al die luidsprekers misschien wel een Chinese doos kunnen maken. Als je dan eerst een specificatie van die luidsprekercombinatie opschrijft (en bewijst), kun je die daarna gebruiken in het grotere geheel van de hele Home Cinema Set. Verder gebruiken jullie verschillende predikaten op verschillende plekken. Eigenlijk zouden jullie daar dan van die splitsende lijnen met zo'n punt voor moeten gebruiken. + |
| Beweren en bewijzen/2013-14/feedback/homecinemaset-deel1-her + | Technisch gesproken is het niet in de haak dat jullie die punten gebruiken om verschillende predikaten aan elkaar te plakken, maar ik kan mij voorstellen dat dit in het kader van de ruimte wel een logische manier is om alle predikaten voor bijvoorbeeld de BluraySpeler te groeperen. + |
| Beweren en bewijzen/2013-14/feedback/homecinemaset-deel2 + | Het is een beetje onoverzichtelijk, maar dat komt natuurlijk doordat jullie erg veel fenomenen hebben. In het bijzonder gebruiken jullie een eigen notatie om verschillende externe fenomenen die bij hetzelfde onderdeel horen samen te nemen via zo'n punt. Niet helemaal de bedoeling, maar hier ook weer geen slechte keuze. Wel had ik het leuk gevonden als jullie dat uitleggen in de lopende tekst. + |
| Beweren en bewijzen/2013-14/feedback/homecinemaset-deel2-her + | Niet aangepast. + |
| Beweren en bewijzen/2013-14/feedback/koffiezetapparaat-deel1 + | Het netwerk zelf ziet er wel god uit, maar probeer bij jullie formuleringen bij de korte beschrijving van de onderdelen op de localiteit te letten. Bij de Warmhoudplaat staat nu iets over wat het Verwarmingselement moet doen, terwijl het eigenlijk in termen van de predikaten 'verwarmt' en 'plaat_warm' zou moeten worden beschreven. + |
| Beweren en bewijzen/2013-14/feedback/kopieerapparaat-deel1 + | Eigenlijk ontbreekt de naam van het artefact nog in de 'box'. En jullie schrijven 'en de plaat dicht is' maar moet dat niet de 'klep' zijn? Ook weer om consistente benamingen te gebruiken. + |
| Beweren en bewijzen/2013-14/feedback/pinautomaat-deel1 + | Bedankt voor de losse afdruk. Maar het blijft een beetje jammer dat sommige labels wel heel raar geplaatst zijn. Als jullie tijd over hebben, graag proberen om dit duidelijker te krijgen. + |
| Beweren en bewijzen/2013-14/feedback/snoepautomaat-deel1 + | 'de keuze wordt bevestigt'? + |
| Beweren en bewijzen/2013-14/feedback/stofzuiger-deel1 + | Ik zie een paar rare dingen. Op twee plekken staat aanKnop. Vermoedelijk moet op een van die plekken drukAanKnop staan. Verder zetten jullie een functie setModus in het netwerk alsof het een predikaat is. Ook vind ik het opvallend dat de stofzak en de predikaten zakVol en zakVolIntern niet met elkaar in contact staan. + |
| Beweren en bewijzen/2013-14/feedback/stofzuiger-deel2 + | Is er nog een reden dat jullie de onderdelen in grijze blokken hebben gezet? En de korte informele specificaties zijn niet echt specificaties. Wel informeel trouwens. + |
| Beweren en bewijzen/2013-14/feedback/tandenborstel-deel1 + | Zonder het domeinmodel en de onderdelen te hebben bekeken niets op aan te merken. + |
| Beweren en bewijzen/2013-14/feedback/thuisalarmsysteem-deel1 + | Ik kan op jullie afdruk geen functioneel netwerk vinden. Het netwerk in de werkplaats ziet er redelijk uit. Technisch gesproken zouden de labels bij de externe fenomenen niet als node moeten worden ingevoerd, maar ik kan me voorstellen waarom deze keuze is gemaakt. Gebruik s.v.p. wel de hele namen voor de onderdelen. Elk onderdeel moet in het hele werkstuk hetzelfde heten! En bij het woord paneel verwacht ik iets met een user interface, zoals bij jullie Combinpaneel. Maar is het Controlepaneel ook echt een paneel in die zin? Of kunnen jullie voor dat onderdeel een betere naam verzinnen? + |
| Beweren en bewijzen/2013-14/feedback/thuisalarmsysteem-deel2 + | Strikt genomen had stroom gesplitst moeten worden met zo'n knooppunt, maar de gekozen variant is in elk geval wel duidelijk. + |
| Beweren en bewijzen/2013-14/feedback/vaatwasmachine-deel1 + | Eigenlijk horen fenomenen als temp_in natuurlijk bij een lijn te staan als label en niet als node te zijn toegevoegd, maar jullie keuze maakt de leesbaarheid niet slechter. + |
| Beweren en bewijzen/2013-14/feedback/vaatwasmachine-deel2 + | Het predikaat temp_in zou eigenlijk via zo'n punt gesplitst moeten worden, maar dit ziet er ook best overzichtelijk uit. De korte informele specificaties zijn niet echt specificaties (maar wel informeel). + |
| Beweren en bewijzen/2013-14/feedback/walkietalkie-deel1 + | Ik had eigenlijk gehoopt dat jullie een soort Chinese dozen zouden gebruiken. Een grote doos met daarin drie kleine dozen: twee instanties van een zelfde Walkie Talkie en een doos met ether als onderdeel. het lijkt erop alsof jullie er voor kiezen dat er slechts één Walkie Talkie wordt gemodelleerd, ondanks dat jullie aangeven dat het zo leuk is dat er eigenlijk minstens twee nodig zijn. Is het overigens logisch dat 'jack_aangesloten' alleen maar communiceert met Speaker en niet met Jack? + |
| Beweren en bewijzen/2013-14/feedback/walkietalkie-deel2 + | Wat een beetje apart is, is dat het in het netwerk voor ether met walkietalkies lijkt alsof er maar 1 predikaat knop_aan is dat tegelijk voor alle drie de walkietalkies geldt. Is dat ook wat jullie bedoelen? Verder zijn de labels wel erg overlappend in dit plaatje. + |
| Beweren en bewijzen/2014-15/feedback/Airconditioner-deel1 + | Wat is een virtuele temperatuur? Bedoel je misschien de gewenste temperatuur? Het is goed dat je het koelmiddel niet als apart onderdeel hebt opgenomen; ik zou het functionele netwerk ook ongeveer zo hebben opgebouwd. Wel relevant is de fase van het koelmiddel (vloeibaar of gasvormig, eventueel met indicatie van hoeveel van het koelmiddel in welke fase zit). Zie ook http://en.wikipedia.org/wiki/Vapor-compression_refrigeration . + |
| Beweren en bewijzen/2014-15/feedback/Airconditioner-deel2 + | * Ik vind het wel verdacht dat ik zowel koelmiddel_druk_temperatuur en koelmiddel_temperatuur_druk tegenkom. Zijn dat echt verschillende predikaten? + |
| Beweren en bewijzen/2014-15/feedback/Alarm-deel1 + | * Maar leg wel even uit wat die dubbele lijnen met labels met komma's er in betekenen. Ik neem aan dat dat bedoeld is om fenomenen die door dezelfde onderdelen gedeeld worden samen te nemen zodat het plaatje er beter uit ziet. Dat mag, maar leg het expliciet uit. * Jullie onderdelen beginnen allemaal met 'alarm_'. Dat was de conventie bij de opgaves waar er heel veel verschillende dingen aan elkaar werden geplakt, maar hier mag je die prefix ook gewoon weglaten. (Je mag hem uiteraard ook laten staan.) * Jullie 'korte informele specificaties' zijn niet allemaal specificaties. Zeg (zo kort mogelijk) wat die dingen doen, niet wat ze zijn of wat ze kunnen doen. + |
| Beweren en bewijzen/2014-15/feedback/Arcadekast-deel1 + | Het functionele netwerk zelf is goed. Korte informele specificatie van ak_systeembord: „die” (mannelijk) kan niet naar „het brein” (onzijdig) verwijzen. van ak_gleuf: Begrijp ik goed dat de muntinvoer wel een display heeft, maar er geen eisen aan gesteld worden? Immers, er is geen predikaat dat je daarvoor zou kunnen gebruiken. + |
| Beweren en bewijzen/2014-15/feedback/Arcadekast-deel2 + | * Al heb ik een beetje mijn twijfels bij de manier waarop het spelbord gebruikt wordt. Niet als onderdeel, maar als enkele externe fenomenen. + |
| Beweren en bewijzen/2014-15/feedback/Auto-deel1 + | * Opvallend is dat rs_verzender alleen maar een extern fenomeen heeft. Niet noodzakelijk fout, maar dit is dus een onderdeel waarvan de werking niet door andere onderdelen beïnvloed wordt. * De prefix rs_ voegt niet zo heel veel toe als hij bij alle onderdelen staat. * Is het in werkelijkheid ook echt zo dat de sterkte van de spanning bepaalt hoe hard de auto remt? + |
| Beweren en bewijzen/2014-15/feedback/Auto-deel2 + | * Jammer van die namen die door elkaar heen lopen. + |
| Beweren en bewijzen/2014-15/feedback/Autowasstraat-deel1 + | In het functionele netwerk staat de auto als onderdeel van het systeem, terwijl die volgens „het bestudeerde fragment van de realiteit” niet erbij hoort. + |
| Beweren en bewijzen/2014-15/feedback/Autowasstraat-deel2 + | * Het is soms niet goed te zien in welke richting de pijlen staan. * Wel weer handig is dat jullie de onderscheidende parameters van autoBij en zo wel consequent hebben weergegeven. * De zin in de tabel met onderdelen voor hogedrukSpuit is niet echt een zin... * Ik denk dat autoIsSchoon is weggevallen. (Ondanks de landscape.) + |
| Beweren en bewijzen/2014-15/feedback/De Ack-deel2 + | * Wel apart dat er slechts twee externe fenomenen zijn. Dat beperkt de spec van het geheel enigszins. + |
| Beweren en bewijzen/2014-15/feedback/Eierkoker-deel1 + | * Is er nog een reden dat de onderdelen grijs van kleur zijn? * En wat ik heel raar vind is dat ik nergens een extern fenomeen zie dat zegt hoeveel water er in de container zit. Dan kun je in je spec van het geheel daar dus ook niet over praten. * De spec van container 'kan gevuld worden met water' is ook raar. Dat is geen specificatie. Wat doet het ding met het water? Alleen maar vasthouden? Of juist zorgen dat het opgewarmd wordt als de warmtespiraal aan het verhitten is? * En de spec van Knop lijkt helemaal niet uit te leggen dat hij afhankelijk is van sensorSignaal. Is er een reden dat sensorSignaal bijvoorbeeld niet met Warmtespiraal praat? Of is dit misschien het signaal dat gebruikt wordt om de knop 'uit' te laten springen? Maar dan zou ik verwachten dat de Warmtespiraal op de een of andere manier de temperatuur terugkoppelt naar de Temperatuursensor. + |
| Beweren en bewijzen/2014-15/feedback/Eierkoker-deel2 + | * Beetje apart dat spanningWaterbak buiten de box gaat... * Ook beetje apart dat alleen de Knop stroom nodig heeft. * Er zijn uiteindelijk niet heel veel onderdelen over gebleven. Maar hopelijk doen ze wel iets ingewikkelds. + |
| Beweren en bewijzen/2014-15/feedback/Elektrische Tandenborstel-deel1 + | In het bovenste functionele netwerk ontbreekt „piept”. Goed dat jullie het netwerk in twee delen hebben gesplitst. De accu moet nog op een of andere manier met het oplaadstation communiceren; is dat overigens geen onderdeel van het systeem? De beschrijving van het Aandrijfdeel is incorrect. De beschrijving van de Pieper ontbreekt. + |
| Beweren en bewijzen/2014-15/feedback/Elektrische Tandenborstel-deel2 + | * Is het alleen maar in twee stukken zo weergegeven of gaan jullie ook echt Chinese dozen gebruiken? + |
| Beweren en bewijzen/2014-15/feedback/Elektronisch deurslot-deel1 + | * [x] De namen die jullie hier gebruiken moeten hetzelfde zijn als in het domeinmodel en de rest van het werkstuk. Ik zie echter 'deur gaat open' met spaties en dat is als naam niet toegestaan, dus ik denk dat er hier nog wat verbeterd moet worden. * [ ] Als jullie de app echt als Chinese doos beschouwen, dan zouden jullie eigenlijk ook nog een netwerk moeten maken van wat er in de app zit en dan bewijzen dat de spec van de app inderdaad volgt uit de subonderdelen van de app. Maar dat is meer een uitbreiding voor als het huidige systeem correct is bewezen. + |
| Beweren en bewijzen/2014-15/feedback/Elektronisch deurslot-deel2 + | * Op zich ziet het netwerk er niet slecht uit, maar het blijkt niet te passen bij de rest van het werkstuk. + |
| Beweren en bewijzen/2014-15/feedback/Gene gun-deel1 + | * Het plaatje ziet er best goed uit, maar in combinatie met het domeinmodel is het toch niet helemaal in orde. * De specs in het korte lijstje met onderdelen zijn geen specificaties. 'Rond plaatje waarop het DNA kan worden aangebracht' lijkt niet echt op de specificaties uit het college van David. Zeg (zonder al te veel details) wat zo'n ding doet. + |
| Beweren en bewijzen/2014-15/feedback/Gene gun-deel2 + | Jullie laten de functies negatieveDruk en positieveDruk in het netwerk zien alsof het predikaten zijn die de Vacuumkamer, Heliumpomp of Breekplaat met elkaar verbinden, maar functies zijn eigenlijk in alle onderdelen beschikbaar. + |
| Beweren en bewijzen/2014-15/feedback/Geschutstoren slagschip-deel1 + | Bedoel je met turret hetzelfde als geschutstoren? Waarom dan een ander woord? Ik ga ervan uit dat jullie benamingen nog aanpassen, bv. slaghoedje veranderen in iets dat beter past. + |
| Beweren en bewijzen/2014-15/feedback/Helikopter-deel1 + | Je kunt het functionele netwerk nog beter structureren door alle onderdelen van de afstandsbediening in één cluster te zetten en de onderdelen van de helikopter in een andere. Namen en korte informele specificaties van de onderdelen zijn duidelijk, behalve van het scharnier: Dat heet eigenlijk de tuimelschijf (of swashplate). De tuimelschijf beïnvloedt overigens ook de vertikale snelheid. In het functionele netwerk staat draaistand, joy_stand_vert en joy_stand_hor; ik neem aan dat dat afkortingen zijn voor twee signalen die in het domeinmodel terugkomen. Leg uit hoe dat precies zit. + |
| Beweren en bewijzen/2014-15/feedback/Helikopter-deel2 + | * Jammer dat het plaatje in de afdruk verdeeld is over twee pagina's. * Doordat dit artefact feitelijk uit twee losse componenten bestaat, hadden jullie hier heel mooi Chinese dozen van kunnen maken: eerst apart bewijzen wat de controller en de helikopter zelf doen en dan samen hoe de helikopter reageert op invoer aan de controller. * Joystick_hor mist in het korte lijstje met onderdelen. + |
| Beweren en bewijzen/2014-15/feedback/Lift-deel1 + | * Jullie gebruiken afwijkende syntax. Leg uit waarom of gebruik gewoon de standaard syntax. * Sommige namen zijn over elkaar heen terechtgekomen waardoor ze niet meer leesbaar zijn. * In het netwerk lijkt het alsof er maar 1 lift is, maar jullie gingen er toch 6 beschrijven? * En hoeveel interfaces zijn er? Eenentwintig? Een op elke verdieping? * Misschien is het handiger om meerdere netwerken te maken met Chinese dozen? * En kloppen de pijlen wel? Zijn het echt dingen die specifiek in 1 richting gaan? Of zijn lijnen zonder pijlpunten eigenlijk beter? * Deursensor staat er een beetje zielig bij: er is geen enkel extern fenomeen waarmee je invloed op hem kunt uitoefenen. Dat is verdacht. + |
| Beweren en bewijzen/2014-15/feedback/Lift-deel2 + | * Er gaat iets mis met de dozen. In de kleine plaatjes heeft de lift geen invoer liftToegewezen, maar wel in het grote plaatje. Had daar in het grote plaatje isHuidigeBestemming moeten staan? + |
| Beweren en bewijzen/2014-15/feedback/OV-inchecker-deel2 + | * Gaan jullie de Chinese doos ook echt als zodanig apart bewijzen? (Nee dus.) * outputData is extern bij Programma, maar is niet terug te vinden in het grote plaatje. + |
| Beweren en bewijzen/2014-15/feedback/Pinautomaat-deel1 + | * Afgezien van een paar namen die elkaar hinderlijk overlappen ziet het er wel goed uit. * De korte informele specificaties bij de onderdelen zijn vaak niet echt specificaties. Wat heeft David daarover gezegd tijdens het college? + |
| Beweren en bewijzen/2014-15/feedback/Pinautomaat-deel2 + | * Jullie hebben een intern fenomeen pincodeCorrect. Dus jullie kunnen niet in de specificatie van het geheel onderscheid maken tussen het invoeren van een correcte of incorrecte pin? * Jammer dat sommige teksten over elkaar heen staan. + |
| Beweren en bewijzen/2014-15/feedback/PizzaAutomaat-deel1 + | Tabel van onderdelen: „De startknop reprenteren ...”? Gebruik niet geldIn, betaalSign etc., maar de betekenis ervan in natuurlijke taal. In deze lijst hoeven de specificaties nog niet compleet te zijn; het is belangrijker dat de lezer hier een eerste indruk krijgt van de hoofdfunctie van elk onderdeel. + |
| Beweren en bewijzen/2014-15/feedback/PizzaAutomaat-deel2 + | * Het ziet er wel redelijk simpel uit. + |
| Beweren en bewijzen/2014-15/feedback/Printer-deel2 + | * Dank voor de toelichting. * Jammer dat jullie daar niet uitleggen waarom de onderdelen grijs zijn. + |
| Beweren en bewijzen/2014-15/feedback/Sluis-deel1 + | Het onderdeel WaterB heeft een invoer die geen naam heeft. Misschien bedoel je dat wNivKolk een invoer is van WaterA én van WaterB? Teken dat dan als een lijn met een knoopje in het midden, ongeveer zoals bij het werkstuk [[Beweren_en_bewijzen/2014-15/werkstuk/OV-inchecker|OV-inchecker]]. + |
| Beweren en bewijzen/2014-15/feedback/Sluis-deel2 + | * Functies zie je eigenlijk niet in het netwerk. Ze zijn namelijk eigenlijk overal beschikbaar. Jullie wNiv-functies zijn denk ik ook eenvoudig als predikaten te maken. * Waarom zijn deurAOpen en KlepBOpen eigenlijk externe fenomenen? Die heb je toch helemaal niet nodig bij de sepc van het geheel? Jullie gaan gezien jullie gezichtspunt toch vast bewijzen dat als er een boot bij A is dat hij dan na zekere tijd bij B is? + |
| Beweren en bewijzen/2014-15/feedback/Stereo-deel1 + | * **Fijn dat jullie de afspraak met David weergeven. (Want anders had ik er vast over moeten zeuren...) * **Ik had hier ook wel dingen als cassettes verwacht, maar schijnbaar gebruiken jullie daar geen predikaten voor. * Geven jullie de drie netwerken alleen maar ter verduidelijking of gebruiken jullie straks bij de stelling ook echt Chinese dozen? Dat laatste zou de 'spannendheid' van het werkstuk vast ten goede komen. + |
| Beweren en bewijzen/2014-15/feedback/Stereo-deel2 + | * Maar hoe zat het nu met die Chinese dozen? Ze worden hier wel getoond, maar worden ze ook echt gebruikt in het werkstuk? Ik had eigenlijk niet die indruk. + |
| Beweren en bewijzen/2014-15/feedback/Thermostaat-deel2 + | * Het ontbreekt in de uitdraai. * Op de werkplaats staat het gelukkig wel. * Ik ben wel enigszins verbaasd over het kleine aantal externe fenomenen. Op deze manier lijkt het haast niet mogelijk om in de spec van het geheel te beschrijven hoe er op de externe temperatuur wordt gereageerd, maar misschien doen jullie dat met functies of zo, dus ik ben benieuwd. Of misschien is Weergegeven_status wel heel complex. + |
| Beweren en bewijzen/2014-15/feedback/Thermostaat-deel3 + | * Bij de korte omschrijving van het Display wordt niet opgemerkt dat ook de gewenste temperatuur wordt getoond. + |
| Beweren en bewijzen/2014-15/feedback/Wekkerradio-deel1 + | * Het netwerk ziet er goed uit, maar wat opvalt is dat sommige predikaten bij AanstuurMechaniek pijlen hebben, terwijl het in het grote netwerk lijnen zijn. * Sommige korte informele specificaties bevatten 'kan', maar het is hier niet de bedoeling te beschrijven wat er allemaal kan , maar gewoon wat er daadwerkelijk gebeurt onder bepaalde voorwaarden. Hierbij mogen wat details worden weggelaten; die komen straks bij de exacte onderdeelspecs wel tevoorschijn. * Is er een reden voor die grijze blokken? Zo ja, geef dat dan aan in natuurlijke taal, zo nee gebruik het niet. Bij AanstuurMechaniek in het grote plaatje kan ik mij voorstellen dat het zin heeft om alleen dat blokje grijs te maken, zodat iedereen meteen ziet dat AanstuurMechaniek een ietwat andere rol heeft dan bijvoorbeeld VolumeKnop. + |
| Beweren en bewijzen/2014-15/feedback/Zelfrijdende auto-deel1 + | rechtsAfslaan_sig is kennelijk verkeerd geplaatst. + |
| Beweren en bewijzen/2014-15/feedback/domotica-systeem-deel1 + | * In het lijstje onderdelen als toelichting op het netwerk, doe je alsof je echte zinnen schrijft, gezien de punt aan het einde. Echter, maak er dan ook echt goede zinnen van met een hoofdletter, onderwerp en persoonsvorm. * 'worden bedient' moet 'worden bediend' zijn. + |
| Beweren en bewijzen/2014-15/feedback/friteuse-deel1 + | * Op zich ziet dit netwerk er verzorgd uit, maar waar zijn de snacks? Die horen bij het fragment van de realiteit dus ik had ze hier ook wel bij een of ander fenomeen verwacht. Maar als ik naar dit netwerk kijk, kunnen jullie waarschijnlijk alleen iets over de temperatuur van het vet zeggen. * Bij een eerdere opdracht met verschillende onderdelen was de prefix om het onderdeel mee aan te geven verplicht, maar omdat jullie nu toch alleen kijken naar de onderdelen binnen de friteuse, voegt het weinig toe (behalve extra tikwerk) om die prefix overal te laten staan. (Hij hoeft overigens niet weg, want het is niet fout.) + |
| Beweren en bewijzen/2014-15/feedback/friteuse-deel1-her + | * Het nieuwe onderdeel friteuse_mandje moet natuurlijk wel in het lijstje met onderdelen komen te staan. * isVloeistofTemperatuur wordt op verschillende plekken gebruikt. Zowel intern als extern. Dat is een beetje raar. + |
| Beweren en bewijzen/2014-15/feedback/industriele robot-deel2 + | * Heeft de grijze kleur nog een speciale betekenis? * En armpos is een functie en hoort dus eigenlijk niet in het netwerk. + |
| Beweren en bewijzen/2014-15/feedback/koffieautomaat-deel1 + | * Op zich ziet het er goed uit. * Maar IngredientToevoer en Lekbaksensor zien er wat apart uit omdat ze slechts over één intern fenomeen gaan. Je kunt nu in de specificatie van het geheel dus niet aangeven of de lekbak al dan niet vol is. * Waarom staat dezelfde naam 'Spanning' op meerdere plekken? Het lijkt alsof jullie een interne en externe variant hebben. Maar die moeten dan wel een andere naam hebben! * De korte informele specificaties van de onderdelen lijken niet heel erg op specificaties. + |
| Beweren en bewijzen/2014-15/feedback/medicijnautomaat-deel2 + | * Jammer dat sommige labels zo over elkaar staan dat ze niet meer te lezen zijn. + |
| Beweren en bewijzen/2014-15/feedback/platenspeler-deel1 + | Magnetishe cartridge of Magnetische cartridge? + |
| Beweren en bewijzen/2014-15/feedback/stoplichten bij x-kruispunt-deel1 + | * Maar ik vraag mij hier wel een beetje af hoe lichtNoord aan de hand van al dan niet spanningN kan bepalen of Ngroen, Ngeel of Nrood waar moet worden? Of lees ik zometeen in het domeinmodel dat spanningN extra parameters heeft? In dat geval is de naam 'spanningN' misschien wat verwarrend en kan het beter 'signaalN' of zo worden. + |
| Beweren en bewijzen/2014-15/feedback/stoplichten bij x-kruispunt-deel3 + | Wat me wel opvalt is dat wachtSignaal hier als een intern fenomeen is aangegeven, maar uit de scenario's kreeg ik het idee dat dat fenomeen ook extern gebruikt gaat worden. + |
| Beweren en bewijzen/2014-15/feedback/tosti-ijzer-deel1 + | * Eigenlijk moet elk predikaat zijn eigen lijn of pijl hebben, maar jullie wijken af van die syntax. Dat mag, maar alleen op voorwaarde dat het expliciet staat uitgelegd. * Waar staan die i_ en u_ voor? Het wordt vast wel uitgelegd bij het domeinmodel... * In het netwerk geven jullie Tosti aan als onderdeel, maar dat staat niet in het korte lijstje met onderdelen. * De naamgeving in dat lijstje is ook niet precies hetzelfde als in het netwerk. * En Stroomkabel staat wel in het loijstje maar niet in het netwerk. * Om Jeremy's vraag te beantwoorden: ** Alles wat in het fragment van de realiteit staat moet ook in het netwerk komen. Sommige dingen komen als onderdeel, andere als (externe) predikaten. + |
| Beweren en bewijzen/2014-15/feedback/tosti-ijzer-deel1-her + | * Hoe kunnen jullie nu een afdruk inleveren waar het netwerk verdeeld is over twee pagina's? En dan ook nog dubbelzijdig zodat ik de delen niet naast elkaar kan leggen. * Op de werkplaats ziet het er gelukkig wel goed uit. * Naamgeving in het lijstje met onderdelen komt nog steeds niet overeen met de namen in het netwerk. + |
| Beweren en bewijzen/2014-15/feedback/tosti-ijzer-deel2 + | * Wel jammer dat het niet gelukt is om een plaatje te maken dat op 1 pagina past. Het was echt gezegd dat het bij rare plaatjes verstandig is om gewoon een los blaadje met het hele netwerk er op toe te voegen. + |
| Beweren en bewijzen/2014-15/feedback/vaatwasmachine-deel1 + | * Opvallend dat jullie Vaat als onderdeel zien. Ik zou verwachten dat het als parameter bij voegToe en haalWeg wordt meegenomen. * Sommige van jullie korte informele specificaties zien er niet uit als een specificatie. Kijk nog eens naar het college van David over fenomenen. * Ook opvallend is het feit dat Afvoerputje alleen maar invoer heeft. Moet 'afvoer' misschien uitvoer zijn naar Rek? + |
| Beweren en bewijzen/2014-15/feedback/vaatwasmachine-deel2 + | * Opvallend is dat Afvoerputje geen uitgaande fenomenen heeft. * En ik zou verwachten dat inRek een ingaand fenomeen is. + |
| Beweren en bewijzen/2014-15/feedback/voyager-deel1 + | * Op zich ziet het er wel goed uit, maar ik mis het controlecentrum op aarde. In 'fragment van de realiteit' schreven jullie dat dat belangrijk was. Of wordt dit alleen maar via externe fenomenen behandeld? * Helaas zijn er twee namen over elkaar heen gekomen, waardoor ze niet meer leesbaar zijn. * De gekozen notatie voor subonderdelen is een beetje verwarrend, want nu is niet meer te zien welk onderdeel welke fenomenen deelt met de omgeving. Zo is er een pijl energie_toevoer_AACS die alleen naar het hele blok AACS gaat, maar niet naar de subonderdelen Gyroscoop en Porpulsionsubsystem. Terwijl ster_zichtbaar wel echt naar het subonderdeel Gyroscoop gaat. bedoelen jullie met dit soort pijlen dat die eigenlijk naar alle subonderdelen van zo'n onderdeel gaan? Zo ja, zet dat er dan even in natuurlijke taal bij. * Wordt signaal_verzenden nu dubbel gebruikt? Zo ja, dan zou dat eigenlijk met zo'n punt moeten. (Maar omdat een kleine wijziging het plaatje compleet om kan gooien hoeven jullie dat van mij niet te verbeteren.) * Er zijn meer predikaten die dubbel gebruikt worden... * De korte informele specificaties van de onderdelen is wel heel kort en informeel. Kunnen jullie de teksten iets meer op specificaties laten lijken? * En hebben jullie nu 1 of 2 zenders? Het is relatief eenvoudig om een geparametriseerde definitie van zender te maken. * Gaan jullie echt Chinese dozen gebruiken bij jullie stelling(en)? Of gebruiken jullie straks de subonderdelen feitelijk op hetzelfde niveau als de overige onderdelen? + |
| Beweren en bewijzen/2014-15/feedback/voyager-deel2 + | * Met al die labels en pijlen dicht bij elkaar is het moeilijk te zien welk label bij welke pijl hoort. Andere groepen hebben dat probleem opgelost door kleuren te gebruiken: elk fenomeen krijgt zijn eigen kleur, zowel bij de pijl als bij het label. + |
| Beweren en bewijzen/2014-15/feedback/wasmachine-deel1 + | * Succes bij het maken van een echt plaatje in Graphviz voor het definitieve werkstuk. * Jullie gebruiken dezelfde predikaten op verschillende plekken. Dat kan zijn omdat er parameters bij horen die verschillend zijn en dan hoeven jullie er niets aan te veranderen. Het kan ook zijn dat jullie gewoon de syntax om predikaten tussen drie of meer onderdelen te delen hebben gemist. Check dat even. * Niet al jullie korte informele specificaties zijn echt goede specificaties. + |
| Beweren en bewijzen/2014-15/feedback/wasmachine-deel1-her + | * Leuk die kleurtjes. Al zie ik daar dan weer niet zo veel van terug in jullie zwartwituitdraai. Maar belangrijker voor mij is om te weten wat het doel is van die kleurtjes? Enkel en alleen om duidelijker te maken welk label bij welke lijn hoort? Dat is op zich prima, maar schrijf het er dan even bij. Nu vraag ik me af waarom sommige kleuren twee keer voorkomen en andere niet. * Bij de korte specificatie lijkt het alsof de trommel afhankelijk is van de deur, maar volgens het netwerk is hij dat niet. + |
| Beweren en bewijzen/2014-15/feedback/wasmachine-deel2 + | * Schrijf niet bij de deur wat de trommel en de CPU doen, maar beperk je tot het feit dat de deur een of ander signaal afgeeft. + |
| Beweren en bewijzen/2014-15/feedback/zonnepaneel-deel1 + | Waarom heet carrousel carrousel? Logisch gezien moeten de pijlen voor carrousel en inSiB omgedraaid worden. Ik weet wel dat de elektronen die kant op lopen, maar de logische connectie is: Door invallend zonlicht wordt de SiP-laag opgeladen, en wordt hij gereed om elektronen van de SiB-laag op te nemen. + |
