https://wiki.student.utwente.nl/w/index.php?action=history&feed=atom&title=Formele_methoden_voor_software_engineering 2026-11-01T08:40:41Z Bewerkingsoverzicht voor deze pagina op de wiki MediaWiki 1.43.9 https://wiki.student.utwente.nl/w/index.php?title=Formele_methoden_voor_software_engineering&diff=11192&oldid=prev 2009-01-26T20:16:25Z

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="nl"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Versie van 26 jan 2009 20:16</td> </tr><tr> <td colspan="2" class="diff-lineno">Regel 18:</td> <td colspan="2" class="diff-lineno">Regel 18:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">=</del>== Voorkenniseis <del style="font-weight: bold; text-decoration: none;">=</del>==</div></td> <td class="diff-marker" data-marker="+"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>== Voorkenniseis ==</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* enige ervaring met wiskundige basisconcepten als verzamelingen, relaties, functies, en predikatenlogica</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* enige ervaring met wiskundige basisconcepten als verzamelingen, relaties, functies, en predikatenlogica</div></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* inzicht in en basale ervaring met het ontwerpen van softwaresystemen</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>* inzicht in en basale ervaring met het ontwerpen van softwaresystemen</div></td> </tr> </table>

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

<p></p> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <col class="diff-marker" /> <col class="diff-content" /> <col class="diff-marker" /> <col class="diff-content" /> <tr class="diff-title" lang="nl"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Oudere versie</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Versie van 26 jan 2009 20:15</td> </tr><tr> <td colspan="2" class="diff-lineno">Regel 17:</td> <td colspan="2" class="diff-lineno">Regel 17:</td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>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.</div></td> </tr> <tr> <td class="diff-marker" data-marker="−"></td> <td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>== Gerelateerde vakken ==</div></td> <td colspan="2" class="diff-empty diff-side-added"></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br /></td> </tr> <tr> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Voorkenniseis ===</div></td> <td class="diff-marker"></td> <td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>=== Voorkenniseis ===</div></td> </tr> </table>

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

<p></p> <p><b>Nieuwe pagina</b></p><div>==Samenvatting==<br /> <br /> {|<br /> |&#039;&#039;&#039;Vaknaam&#039;&#039;&#039;||Formele Methoden voor Software Engineering II <br /> |-<br /> |&#039;&#039;&#039;Vakcode&#039;&#039;&#039;||213520 <br /> |- <br /> |&#039;&#039;&#039;Studiebelasting&#039;&#039;&#039;||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&#039;s met behulp van pre- en postcondities in JML, en het analyseren van de correctheid van Java programma&#039;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&#039;s annoteren met JML-specificaties, en de geannoteerde programma&#039;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