https://wiki.student.utwente.nl/w/api.php?action=feedcontributions&feedformat=atom&user=Erikp 2026-11-01T01:58:47Z Gebruikersbijdragen MediaWiki 1.43.9 https://wiki.student.utwente.nl/w/index.php?title=Bachelorreferaat&diff=11195 2009-01-26T20:29:16Z

<p>Erikp: </p> <hr /> <div>==Samenvatting==<br /> <br /> {|<br /> |'''Vaknaam'''||Bachelorreferaat II <br /> |-<br /> |'''Vakcode'''||219925 <br /> |- <br /> |'''Studiebelasting'''||10.0 EC <br /> |-<br /> |}<br /> <br /> ==Omschrijving==<br /> Dit is een heel belangrijke opdracht waarmee je je bachelor afsluit. <br /> Het Bachelorreferaat wordt individueel uitgevoerd, onder begeleiding van docenten/onderzoekers, en binnen een groep studenten die allen werken aan onderzoek rondom hetzelfde thema. Als opdracht moet je onderzoek doen naar een bepaald onderwerp waar je onderzoek naar wilt doen. Na het kiezen van een onderwerp moet er een onderzoeksvoorstel ingediend worden. Als dit voorstel goed gekeurd word mag je gaan onderzoeken. Dat resulteert als het goed is in een rapport of conferentie artikel. De resultaten worden gepresenteerd op een mini-conferentie. De onderwijsvorm is gericht op een actieve bijdrage van de deelnemende studenten en op onderling uitwisselen van ervaring en kennis.<br /> <br /> == Voorkenniseis==<br /> * Propedeuse + 60 EC van de opleiding (exclusief minor). <br /> Aan de voorkenniseis moet 2 maanden voor de start zijn voldaan.<br /> <br /> ==Leerdoelen==<br /> Na het succesvol afronden van dit vak kan de student: <br /> * Een wetenschappelijk onderzoek van beperkte omvang in een deelgebied van een vakdomein opzetten, uitvoeren en presenteren.<br /> * Wetenschappelijke literatuur in een deelgebied van een vakdomein zoeken, selecteren en kritisch beschouwen.<br /> <br /> == Onderwijs ==<br /> Dit vak heeft niet veel bijeenkomsten, maar de bijeenkomsten die er zijn zijn belangrijk en daarom ook verplicht.<br /> <br /> == Beoordeling ==<br /> Het vak wordt beoordeeld op de volgende criteria:<br /> * De kwaliteit van je Rapport <br /> * De kwaliteit van je presentatie <br /> * je bijdrage aan activiteiten<br /> <br /> == Studiemateriaal ==<br /> Bij dit vak is het boek [[Leren communiceren]] aanbevolen literatuur. <br /> <br /> == Links ==<br /> * [http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=219925&amp;studie_jaar=2008 VIST]<br /> * [http://referaat.ewi.utwente.nl/ resultaten oude referaten]<br /> <br /> [[Categorie:Vak]]<br /> [[Categorie:Technische Informatica]]</div>

Erikp https://wiki.student.utwente.nl/w/index.php?title=Formele_methoden_voor_software_engineering&diff=11192 2009-01-26T20:16:25Z

<p>Erikp: </p> <hr /> <div>==Samenvatting==<br /> <br /> {|<br /> |'''Vaknaam'''||Formele Methoden voor Software Engineering II <br /> |-<br /> |'''Vakcode'''||213520 <br /> |- <br /> |'''Studiebelasting'''||5.0 EC <br /> |-<br /> |}<br /> <br /> ==Omschrijving==<br /> Dit vak behandelt het gebruik van wiskundige technieken en bijbehorende software-gereeedschappen voor de modellering en analyse van softwaresystemen. <br /> Aan de orde komen: <br /> <br /> 1. Het modelleren van gedistribueerde systemen m.b.v. procesalgebra, ondersteund door het gereedschap LTSA en de analyse van deze modellen d.m.v. simulatie- en model-checkingtechnieken. De onderliggende theorie is gebaseerd op transitiesystemen en bisimulatie.<br /> <br /> 2. Het specificeren van de correctheid van objectgeoriënteerde (Java-)programma's met behulp van pre- en postcondities in JML, en het analyseren van de correctheid van Java programma's m.b.v. ESC (Extended Static Checking). De onderliggende theorie is gebaseerd op Hoare-logica.<br /> <br /> == Voorkenniseis ==<br /> * enige ervaring met wiskundige basisconcepten als verzamelingen, relaties, functies, en predikatenlogica<br /> * inzicht in en basale ervaring met het ontwerpen van softwaresystemen<br /> * ervaring met het programmeren in Java (Programmeren 1 en 2).<br /> <br /> ==Leerdoelen==<br /> Na afloop van het vak kan de student:<br /> * de principes transitiesystemen en Hoare-logica uitleggen;<br /> * eenvoudige gedistribueerde systemen specificeren met de procesalgebra FSP, en analyseren met het tool LTSA;<br /> * Java-programma's annoteren met JML-specificaties, en de geannoteerde programma's analyseren met ESC/Java<br /> * beargumenteren wat het belang is van formele specificatie en analyse voor software engineering<br /> <br /> == Onderwijs ==<br /> Dit vak wordt gegeven in 10 hoorcolleges, 10 werkcolleges en 4 practicumdagdelen. <br /> <br /> == Beoordeling ==<br /> Het vak wordt afgesloten met een schriftelijk tentamen. Daarnaast zijn er een aantal huiswerkopgaven waar punten mee gehaald kunnen worden.<br /> <br /> == Studiemateriaal ==<br /> Bij dit vak wordt uitsluitend gebruik gemaakt van Teletop voor het beschikbaar stellen van studiemateriaal.<br /> <br /> == Docent ==<br /> De docent en contactpersoon van dit vak is [[Langerak, Dr.ir. R.|Dr.ir. R.. Langerak]].<br /> == Links ==<br /> * [http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=213520&amp;studie_jaar=2008 VIST]<br /> * [http://samenvattingen.student.utwente.nl/wiki.php/213520 Oude tentamens]<br /> <br /> [[Categorie:Vak]]<br /> [[Categorie:Technische Informatica]]<br /> [[Categorie:Bedrijfsinformatietechnologie]]<br /> [[Categorie:Embedded Systems MSc]]</div>

Erikp https://wiki.student.utwente.nl/w/index.php?title=Formele_methoden_voor_software_engineering&diff=11191 2009-01-26T20:15:40Z

<p>Erikp: </p> <hr /> <div>==Samenvatting==<br /> <br /> {|<br /> |'''Vaknaam'''||Formele Methoden voor Software Engineering II <br /> |-<br /> |'''Vakcode'''||213520 <br /> |- <br /> |'''Studiebelasting'''||5.0 EC <br /> |-<br /> |}<br /> <br /> ==Omschrijving==<br /> Dit vak behandelt het gebruik van wiskundige technieken en bijbehorende software-gereeedschappen voor de modellering en analyse van softwaresystemen. <br /> Aan de orde komen: <br /> <br /> 1. Het modelleren van gedistribueerde systemen m.b.v. procesalgebra, ondersteund door het gereedschap LTSA en de analyse van deze modellen d.m.v. simulatie- en model-checkingtechnieken. De onderliggende theorie is gebaseerd op transitiesystemen en bisimulatie.<br /> <br /> 2. Het specificeren van de correctheid van objectgeoriënteerde (Java-)programma's met behulp van pre- en postcondities in JML, en het analyseren van de correctheid van Java programma's m.b.v. ESC (Extended Static Checking). De onderliggende theorie is gebaseerd op Hoare-logica.<br /> <br /> === Voorkenniseis ===<br /> * enige ervaring met wiskundige basisconcepten als verzamelingen, relaties, functies, en predikatenlogica<br /> * inzicht in en basale ervaring met het ontwerpen van softwaresystemen<br /> * ervaring met het programmeren in Java (Programmeren 1 en 2).<br /> <br /> ==Leerdoelen==<br /> Na afloop van het vak kan de student:<br /> * de principes transitiesystemen en Hoare-logica uitleggen;<br /> * eenvoudige gedistribueerde systemen specificeren met de procesalgebra FSP, en analyseren met het tool LTSA;<br /> * Java-programma's annoteren met JML-specificaties, en de geannoteerde programma's analyseren met ESC/Java<br /> * beargumenteren wat het belang is van formele specificatie en analyse voor software engineering<br /> <br /> == Onderwijs ==<br /> Dit vak wordt gegeven in 10 hoorcolleges, 10 werkcolleges en 4 practicumdagdelen. <br /> <br /> == Beoordeling ==<br /> Het vak wordt afgesloten met een schriftelijk tentamen. Daarnaast zijn er een aantal huiswerkopgaven waar punten mee gehaald kunnen worden.<br /> <br /> == Studiemateriaal ==<br /> Bij dit vak wordt uitsluitend gebruik gemaakt van Teletop voor het beschikbaar stellen van studiemateriaal.<br /> <br /> == Docent ==<br /> De docent en contactpersoon van dit vak is [[Langerak, Dr.ir. R.|Dr.ir. R.. Langerak]].<br /> == Links ==<br /> * [http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=213520&amp;studie_jaar=2008 VIST]<br /> * [http://samenvattingen.student.utwente.nl/wiki.php/213520 Oude tentamens]<br /> <br /> [[Categorie:Vak]]<br /> [[Categorie:Technische Informatica]]<br /> [[Categorie:Bedrijfsinformatietechnologie]]<br /> [[Categorie:Embedded Systems MSc]]</div>

Erikp https://wiki.student.utwente.nl/w/index.php?title=Formele_methoden_voor_software_engineering&diff=11190 2009-01-26T20:07:48Z

<p>Erikp: </p> <hr /> <div>==Samenvatting==<br /> <br /> {|<br /> |'''Vaknaam'''||Formele Methoden voor Software Engineering II <br /> |-<br /> |'''Vakcode'''||213520 <br /> |- <br /> |'''Studiebelasting'''||5.0 EC <br /> |-<br /> |}<br /> <br /> ==Omschrijving==<br /> Dit vak behandelt het gebruik van wiskundige technieken en bijbehorende software-gereeedschappen voor de modellering en analyse van softwaresystemen. <br /> Aan de orde komen: <br /> <br /> 1. Het modelleren van gedistribueerde systemen m.b.v. procesalgebra, ondersteund door het gereedschap LTSA en de analyse van deze modellen d.m.v. simulatie- en model-checkingtechnieken. De onderliggende theorie is gebaseerd op transitiesystemen en bisimulatie.<br /> <br /> 2. Het specificeren van de correctheid van objectgeoriënteerde (Java-)programma's met behulp van pre- en postcondities in JML, en het analyseren van de correctheid van Java programma's m.b.v. ESC (Extended Static Checking). De onderliggende theorie is gebaseerd op Hoare-logica.<br /> == Gerelateerde vakken ==<br /> <br /> === Voorkenniseis ===<br /> * enige ervaring met wiskundige basisconcepten als verzamelingen, relaties, functies, en predikatenlogica<br /> * inzicht in en basale ervaring met het ontwerpen van softwaresystemen<br /> * ervaring met het programmeren in Java (Programmeren 1 en 2).<br /> <br /> ==Leerdoelen==<br /> Na afloop van het vak kan de student:<br /> * de principes transitiesystemen en Hoare-logica uitleggen;<br /> * eenvoudige gedistribueerde systemen specificeren met de procesalgebra FSP, en analyseren met het tool LTSA;<br /> * Java-programma's annoteren met JML-specificaties, en de geannoteerde programma's analyseren met ESC/Java<br /> * beargumenteren wat het belang is van formele specificatie en analyse voor software engineering<br /> <br /> == Onderwijs ==<br /> Dit vak wordt gegeven in 10 hoorcolleges, 10 werkcolleges en 4 practicumdagdelen. <br /> <br /> == Beoordeling ==<br /> Het vak wordt afgesloten met een schriftelijk tentamen. Daarnaast zijn er een aantal huiswerkopgaven waar punten mee gehaald kunnen worden.<br /> <br /> == Studiemateriaal ==<br /> Bij dit vak wordt uitsluitend gebruik gemaakt van Teletop voor het beschikbaar stellen van studiemateriaal.<br /> <br /> == Docent ==<br /> De docent en contactpersoon van dit vak is [[Langerak, Dr.ir. R.|Dr.ir. R.. Langerak]].<br /> == Links ==<br /> * [http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=213520&amp;studie_jaar=2008 VIST]<br /> * [http://samenvattingen.student.utwente.nl/wiki.php/213520 Oude tentamens]<br /> <br /> [[Categorie:Vak]]<br /> [[Categorie:Technische Informatica]]<br /> [[Categorie:Bedrijfsinformatietechnologie]]<br /> [[Categorie:Embedded Systems MSc]]</div>

Erikp https://wiki.student.utwente.nl/w/index.php?title=Programmeren_1&diff=10724 2009-01-05T19:26:02Z

<p>Erikp: </p> <hr /> <div>Programmeren 1 laat de studenten kennis maken met het objectgeoriënteerd programmeren. Er wordt gebruik gemaakt van de programmeertaal [[Java]]. De studenten leren onder andere de basisbegrippen van het programmeren, het grafisch weergeven van een klassendiagram met behulp van het programma [[Borland Together]], basisstructuren van bijvoorbeeld lijsten en arrays, en het ontwerpen van software.<br /> <br /> Per week is er één hoorcollege, één werkcollege en zes uur practicum. Tijdens het practicum wordt geprogrammeerd met behulp van de tijdens het hoorcollege opgedane kennis. Het vak is verplicht voor eerstejaars [[informatica]]-, [[telematica]]- en [[bedrijfsinformatietechnologie]]studenten.<br /> <br /> == Zie Ook ==<br /> * [http://webapps.utwente.nl/vist/nl/vistservlet?node=VistVakinfoResultNode&amp;details=true&amp;vak_code=2135000&amp;studie_jaar=2008 VIST over Programmeren 1]</div>

Erikp