Software Validation and Verification
|
|
- Melanie Bogaerts
- 7 jaren geleden
- Aantal bezoeken:
Transcriptie
1 Software Validation and Verification Overzicht inhoud en verdiepingsopdracht Julien Schmaltz Texte
2 Software ontwikkelen met models informal ideas specification design code realization
3 Software ontwikkelen met models informal ideas informal world specification formalizable design world of models code real world realization
4 Software ontwikkelen met models informal ideas informal world specification design world of models code real world realization
5 Software ontwikkelen met models informal ideas informal world specification formal verification design world of models code real world realization
6 Software ontwikkelen met models informal ideas informal world validation specification formal verification design world of models code real world realization
7 Software ontwikkelen met models informal ideas informal world validation specification formal verification design world of models code testing real world realization
8 Software ontwikkelen met models informal ideas informal world validation specification formal verification design world of models code testing real world realization
9 Software ontwikkelen met models informal ideas informal world specification validation world of models formal verification design code modelbased testing real world realization
10 SVV deel 1: Specificaties en formele modellen informal ideas informal world specification
11 SVV deel 2: Validaties met model-checking informal ideas informal world validation specification
12 SVV deel 3: Testen met models informal ideas informal world validation specification design world of models code modelbased testing real world realization
13 Deel I: Modellen Modellen staan centraal in deze cursus Drie varianten van transitiesystemen Kripke stucturen Labelled transitiesystemen Timed Automata Modelleertool UPPAAL Het zelfde tool is gebruikt in Deel II
14 Varianten van transitiesystemen Kripke closed closed close Labelled transitiesystemen open Timed Automata close x 10 x 10 open
15 Opbouw deel I Introductie leereenheid Voor elk model variant (dus 2 leereenheden) formele definitie voorbelden opdrachten - (klein) modellen maken 1 leereenheid over het gebruik van UPPAAL om te modelleren syntax en semantiek van UPPAAL modellen (netwerk timed automata) praktische opdrachten
16 Deel II: Formele specificatie en validatie Temporele logica LTL, CTL en UPPAAL TCTL Theoretisch deel LTL en CTL Explicit en symbolic state exploration Continuous time Praktisch deel UPPAAL model-checking
17 Aspecten van model-checking Linear vs. branching incomparable logics er zijn formules in LTL die geen equivalent versie in CTL hebben en anders om Explicit state vs. symbolic states verschillende technieken symbolic met Binary Decision Diagrams (BDDs) explicit soms meer efficient
18 Opbouw deel II Introductie leereenheid leereenheid over LTL en CTL leereenheid over algoritme leereenheid over UPPAAL model checking theoretisch en praktisch opdrachten
19 Deel III: testen
20 pass fail Model-based testing IUT confto model IUT passes tests test generation tool test tool model IUT IUT confto model
21 De ioco relatie i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) Intuition: i ioco-conforms to s, iff if i produces output x after trace σ, then s can produce x after σ if i cannot produce any output after trace σ, then s cannot produce any output after σ ( quiescence δ )
22 De ioco relatie - voorbeeld 1 i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) i s!coffee!tea!coffee
23 De ioco relatie - voorbeeld 1 i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) i s!coffee!tea!coffee out (i after ) = {!coffee }
24 De ioco relatie - voorbeeld 1 i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) i s!coffee!tea!coffee out (i after ) = {!coffee } out (s after ) = {!coffee,!tea }
25 De ioco relatie - voorbeeld 1 i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) i s!coffee!tea!coffee ioco out (i after ) = {!coffee } out (s after ) = {!coffee,!tea }
26 De ioco relatie - voorbeeld 1 i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) i!tea!coffee s!coffee
27 De ioco relatie - voorbeeld 1 i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) i!tea!coffee s!coffee out (i after ) = {!coffee,!tea } out (s after ) = {!coffee}
28 De ioco relatie - voorbeeld 1 i ioco s = def σ Straces (s) : out (i after σ) out (s after σ) i!tea!coffee s!coffee ioco out (i after ) = {!coffee,!tea } out (s after ) = {!coffee}
29 Opbouw deel III Introductie leereenheid Leereendheid over ioco theorie Leereenheid over test generation Leereendheid over tools JToRX UPPAAL-TRON Theoretisch en praktisch opdrachten
30 Project opdracht Drie delen over het zelfde casus Studenten beginen met specificatie in natureel taal implementaties Studenten moeten formele modellen maken eigenschappen in temporele logica schrijven een model-checker gebruiken implementaties testen met een MBT tool
31 Elevator Doors Request buttons Engine first floor 1 0 Ground floor Control unit Control panel Elevator cabin
32 Kort demo
33 Verdiepingsopdracht SVV Probleemstelling formuleren Studenten mogen kiezen validatie of testen toepassing area Opdracht is om een probleemstelling/onderzoeksvraag te formuleren om een kort tekst (2-3 A4) te schrijven waar de student zijn vraag moet beoordelen/verdedigen Studenten krijgen een aantal criteria voor een goede vraag Scoring het beoordelen van de vraag + vraag zelf
34 Criteria voor een goede onderzoeksvraag Relevant (hot) Manageable in terms of research and in terms of you own academic capabilities Substantial and with original dimension Clear and simple Interesting
Master Software Engineering. Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor
Master Software Engineering Inhoud, begeleiding, tentamen dr. Anda Counotte Docent en mentor Thema Software Architectuur Design Patterns (DP) ir. Sylvia Stuurman, dr.ir. Harrie Passier en dr. Bastiaan
Nadere informatieDe praktische kant van de Cloud De Cloud en modellen maken pay per use mogelijk
De praktische kant van de Cloud De Cloud en modellen maken pay per use mogelijk 04-10-2011 Thomas Veltman & Andréas Prins Agenda presentatie Trends in software ontwikkeling en testen Cloud als hulpmiddel
Nadere informatieCreatief onderzoekend leren
Creatief onderzoekend leren De onderwijskundige: Wouter van Joolingen Universiteit Twente GW/IST Het probleem Te weinig bèta's Te laag niveau? Leidt tot economische rampspoed. Hoe dan? Beta is spelen?
Nadere informatieCurriculum 2014-2015 Afkortingen Bachelor Informatica Propedeuse Postpropedeuse Start Vervolg Afsluiting 60,0 Gebonden keuze (8,6 EC) Afsluiting
Curriculum 2014-2015 Opleidingen Open Universiteit, faculteit Management, Science & Technology, wetenschapsgebied Informatica en informatiekunde, geldig vanaf 1-9-2014 Afkortingen European Credits (studiepunten)
Nadere informatieCurriculum 2015-2016 Afkortingen Bachelor Informatica Propedeuse Postpropedeuse Start Vervolg Afsluiting 60,0 Gebonden keuze (8,6 EC) Afsluiting
Curriculum 2015-2016 Opleidingen Open Universiteit, faculteit Management, Science & Technology, wetenschapsgebied Informatica en informatiekunde, geldig vanaf 1-9-2015 Afkortingen European Credits (studiepunten)
Nadere informatieAutomaten. Informatica, UvA. Yde Venema
Automaten Informatica, UvA Yde Venema i Inhoud Inleiding 1 1 Formele talen en reguliere expressies 2 1.1 Formele talen.................................... 2 1.2 Reguliere expressies................................
Nadere informatieNon-Obligatory information TO LET Shannonweg 15 Rotterdam Botlek
Non-Obligatory information TO LET Shannonweg 15 Rotterdam Botlek Pagina 1 Property Location To Let Shannonweg 15 in Rotterdam-Botlek. Distripark Botlek is excellently situated in the Rotterdam Port area.
Nadere informatieTest rapportage Waarom eigenlijk?
Testrapportage Boodschappers van de koning? Test rapportage Waarom eigenlijk? TestNet voorjaarsevenement 2015 Jurian van de Laar Jurian van de Laar @JurianvdL 30 april 2015 @JurianvdL Jurian van de Laar
Nadere informatieModel based
Model based testing @ICS Model based testing @ICS with TOSCA Michelle Kuijt Senior Test Tool Engineer, Test Automation Vianen, 24 May 2016 Model based testing Van documentatie naar model Van model naar
Nadere informatieAI en Software Testing op de lange termijn
AI en Software Testing op de lange termijn Is het een appel? Traditioneel programmeren AI Kleur = rood, groen, geel Vorm = rond Textuur = glad Artificial Intelligence Machine Learning Methods Technologies
Nadere informatieHoe werkt een computer precies?
Hoe werkt een computer precies? Met steun van stichting Edict Ben Bruidegom & Wouter Koolen-Wijkstra AMSTEL Instituut Universiteit van Amsterdam Overview Introductie SIM-PL Simulatietool voor werking computer
Nadere informatieBellen Zonder Zorgen
Bellen Zonder Zorgen Je hebt het vast wel eens gehad. Ben je lekker aan het werk op je computer loopt hij ineens vast! En natuurlijk heb je het werk niet opgeslagen. Je probeert nog van alles om te redden
Nadere informatieSoftware Processen. Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 4 Slide 1. Het software proces
Software Processen Ian Sommerville 2004 Software Engineering, 7th edition. Chapter 4 Slide 1 Het software proces Een gestructureerd set van activiteiten nodig om een software systeem te ontwikkelen Specificatie;
Nadere informatieEnd-to-End testen: de laatste horde
End-to-End testen: de laatste horde Dieter Arnouts Agenda Begrip End-to-End testen in het test proces Praktische aanpak End-to-End Test Omgeving Uitdagingen End-to-End testen: De laatste horde 11/10/2010
Nadere informatieUniversity of Groningen Educational value of digital examination
University of Groningen Educational value of digital examination Benefits Digital Examination HANDWRITING CORRECTING 1 2 3 Do you remember the Correcting the essay exams in handwriting from your students
Nadere informatieIntroductie in flowcharts
Introductie in flowcharts Flow Charts Een flow chart kan gebruikt worden om: Processen definieren en analyseren. Een beeld vormen van een proces voor analyse, discussie of communicatie. Het definieren,
Nadere informatieMedical Interactive Anamnestics. Triage, Geinnoveerd
Medical Interactive Anamnestics Triage, Geinnoveerd Medical Interactive Anamnestics (MIA) wordt een innovatieve digitale triage applicatie met als doel de wacht- en consulttijden te reduceren op de spoedeisende
Nadere informatieContinuous Delivery. Sander Aernouts
Continuous Delivery Sander Aernouts Info Support in een notendop Maatwerk softwareontwikkeling van bedrijfskritische kantoorapplicaties Business Intelligence oplossingen Managed IT Services Eigen Kenniscentrum
Nadere informatieRequirements Traceability. Marcel de Baas, Jan Bank, Edwin Buisman, Frits Jacobs, Kitty Spaas, Erik Venema, Arno Zandman
Requirements Traceability Marcel de Baas, Jan Bank, Edwin Buisman, Frits Jacobs, Kitty Spaas, Erik Venema, Arno Zandman 22 Mei 2008 Werkgroep Traceability Doel van de werkgroep: Aanbieden van hulpmiddelen
Nadere informatieSemantiek (2IT40) Bas Luttik. HG 7.14 tel.: Hoorcollege 8 (7 juni 2007)
Bas Luttik s.p.luttik@tue.nl http://www.win.tue.nl/~luttik HG 7.14 tel.: 040 247 5152 Hoorcollege 8 (7 juni 2007) Functionele talen Idee: een programma definieert reeks (wiskundige) functies. Programma
Nadere informatieAutomaten en Berekenbaarheid
Automaten en Berekenbaarheid Bart Demoen KU Leuven 2016-2017 Les 3: 36-54 Myhill-Nerode relaties; regulier pompen Myhill-Nerode equivalentieklassen in Σ I 2/10 belangrijk te verstaan: een equivalentie-relatie
Nadere informatieANGSTSTOORNISSEN EN HYPOCHONDRIE: DIAGNOSTIEK EN BEHANDELING (DUTCH EDITION) FROM BOHN STAFLEU VAN LOGHUM
Read Online and Download Ebook ANGSTSTOORNISSEN EN HYPOCHONDRIE: DIAGNOSTIEK EN BEHANDELING (DUTCH EDITION) FROM BOHN STAFLEU VAN LOGHUM DOWNLOAD EBOOK : ANGSTSTOORNISSEN EN HYPOCHONDRIE: DIAGNOSTIEK STAFLEU
Nadere informatieAutomated scoring in mathematics: tinning intelligence?
Automated scoring in mathematics: tinning intelligence? Paul Drijvers paul.drijvers@cito.nl Johanna Hofstee joke.hofstee@cito.nl 09-02-2017 Stichting Cito Instituut voor Toetsontwikkeling Arnhem (feb-17)
Nadere informatieAutomaten & Complexiteit (X )
Automaten & Complexiteit (X 401049) Inleiding Jeroen Keiren j.j.a.keiren@vu.nl VU University Amsterdam Materiaal Peter Linz An Introduction to Formal Languages and Automata (5th edition) Jones and Bartlett
Nadere informatieContinuous testing in DevOps met Test Automation
Continuous ing in met Continuous testing in met Marco Jansen van Doorn Tool Consultant 1 is a software development method that emphasizes communication, collaboration, integration, automation, and measurement
Nadere informatieHIRLAM Plans for academic research models. Tilly Driesenaar Scientific secretary HIRLAM
HIRLAM Plans for academic research models Tilly Driesenaar Scientific secretary HIRLAM Contents Introduction sci-sec tasks Introduction HARMONIE HARMONIE for Universities Sci-sec HIRLAM tasks HIRLAM.org
Nadere informatievoor al uw Test, Reparatie, Soldeer, ESD en Clean room benodigdheden. www.romex.nl WWW.TESTPROBES.NL
Romex B.V. voor al uw Test, Reparatie, Soldeer, ESD en Clean room benodigdheden. www.romex.nl Benodigdheden, hulpmiddelen, testprobes, testfixtures en testsystemen. WWW.TESTPROBES.NL WWW.ROMEX.NL WWW.WELLER.NL
Nadere informatieOnderwijs- en examenregeling van de masteropleiding
vrije Universiteit amsterdam Faculteit der Exacte Wetenschappen Onderwijs- en examenregeling van de masteropleiding Computer Science Deel B Preambule In dit document wordt een A en een B gedeelte onderscheiden.
Nadere informatieContents. An Augmented Backus-Naur Format, (ABNF), Parser Generator for Erlang. Anders Nygren ABNF Using abnfc Implementation Todo
An Augmented Backus-Naur Format, (ABNF), Parser Generator for Erlang Anders Nygren anygren@txm.com.mx ABNF Using abnfc Implementation Todo Contents 1 Why abnfc? ABNF used for specifying many important
Nadere informatieMasters Software Engineering en Computer Science Programma, toelating en wijze van studeren
Masters Software Engineering en Computer Science Programma, toelating en wijze van studeren Bastiaan Heeren Master Software Engineering (60 ec) Thema Vakken EC Software architecture - Design patterns -
Nadere informatieMaster software engineering
Master software engineering wo-master begeleid 2014 2015 Open Universiteit www.ou.nl Over de opleiding Software engineering is een discipline die voortdurend in beweging is en door de stormachtige ontwikkelingen
Nadere informatieDeveloping an adaptive, diagnostic test of. English writing skills
Developing an adaptive, diagnostic test of English writing skills Development of the DET Objectives Consultation IT Student model Consultation External committee Research Student models Psychometric Automatic
Nadere informatieLearn like a startup. Next Learning 2014 16 April 2014
Learn like a startup Next Learning 2014 16 April 2014 Rob Hermans Founder Achieved @hermans85 rob@achieved.co Achievements: Setup game startup incubator. Helped 10 startups go to market. Learned to code
Nadere informatieInhoud. Introductie tot de cursus
Inhoud Introductie tot de cursus 1 Plaats en functie van de cursus 7 2 Inhoud van de cursus 7 2.1 Tekstboek 7 2.2 Voorkennis 8 2.3 Leerdoelen 8 2.4 Opbouw van de cursus 9 3 Leermiddelen en wijze van studeren
Nadere informatiewo masteropleiding Computer Science A. Toelating tot de masteropleiding Uitvoeringsregeling master
Uitvoeringsregeling master 2016-2017 Faculteit Management, Science & Technology wo masteropleiding Computer Science (Master of Science Computer Science) De voertaal in deze opleiding is Nederlands. In
Nadere informatieKennis na het volgen van de training. Na het volgen van deze training bent u in staat:
Training Trainingscode Duur Gepubliceerd Taal Type Leermethode Kosten SF2015V8 4 dagen 02/02/2015 Nederlands & Engels Developer, basis Invidueel & klassikaal Op aanvraag Deze training richt zich op het
Nadere informatieExamenreglement Opleidingen/ Examination Regulations
Examenreglement Opleidingen/ Examination Regulations Wilde Wijze Vrouw, Klara Adalena August 2015 For English translation of our Examination rules, please scroll down. Please note that the Dutch version
Nadere informatieCursusevaluatie Onderwijsinstituut voor Informatica en Informatiekunde format versie 3 maart 2008
Cursusevaluatie Onderwijsinstituut voor Informatica en Informatiekunde format versie 3 maart 2008 Basisgegevens cursuscode naam van de cursus academisch jaar, semester (herfst/lente) docenten I00154 Analysis
Nadere informatieVoor de master (uitlopende programmering) worden vanaf de OER geen nieuwe studenten meer toegelaten.
Uitvoeringsregeling master 2016-2017 Faculteit Management, Science & Technology wo masteropleiding Computer Science (uitlopende programmering) (Master of Science Computer Science) De voertaal in deze opleiding
Nadere informatieDe slimme gemeente nader beschouwd: Hoe de lokale overheid kan bijdragen aan het oplossen van ongetemde problemen Gerritsen, E.
UvA-DARE (Digital Academic Repository) De slimme gemeente nader beschouwd: Hoe de lokale overheid kan bijdragen aan het oplossen van ongetemde problemen Gerritsen, E. Link to publication Citation for published
Nadere informatieNCTS - INFORMATIE INZAKE NIEUWIGHEDEN VOOR 2010
NCTS - INFORMATIE INZAKE NIEUWIGHEDEN VOOR 2010 Op basis van het nieuwe artikel 365, lid 4 (NCTS) en het nieuwe artikel 455bis, lid 4 (NCTS-TIR) van het Communautair Toepassingswetboek inzake douane 1
Nadere informatieQuick start guide. Powerbank MI Mah. Follow Fast All rights reserved. Page 1
Quick start guide Powerbank MI 16.000 Mah Follow Fast 2016 - All rights reserved. Page 1 ENGLISH The Mi 16000 Power Bank is a very good backup option for those on the move. It can keep you going for days
Nadere informatieAutomatische modelgebaseerde testgeneratie en -uitvoering
Automatische modelgebaseerde testgeneratie en -uitvoering Alan Hartman en Steven Van Proeyen Samenvatting De testdiscipline zou kunnen profiteren van een nauwere samenwerking tussen de academische wereld
Nadere informatieSoftware engineering & integrated modelling Trends & Toekomst perspectief. Tamme van der Wal
Software engineering & integrated modelling Trends & Toekomst perspectief Tamme van der Wal Onderweg naar morgen [Ruth Jacott, 1994] Onderweg naar morgen Een reis die duurt een leven lang Onderweg naar
Nadere informatieLogica als een oefening in Formeel Denken
Logica als een oefening in Formeel Denken Herman Geuvers Institute for Computing and Information Science Radboud Universiteit Nijmegen Wiskunde Dialoog 10 juni, 2015 Inhoud Geschiedenis van de logica Propositielogica
Nadere informatieQuality Gates: De overdracht tussen ontwikkelaars en testers geregeld
Quality Gates: De overdracht tussen ontwikkelaars en testers geregeld Rik Marselis Senior Testadviseur Logica 2008. All rights reserved Even voorstellen: Rik Marselis Senior Testadviseur ruim 27 jaar IT
Nadere informatieWaarmaken van Leibniz s droom
Waarmaken van Leibniz s droom Artificiële intelligentie Communicatie & internet Operating system Economie Computatietheorie & Software Efficiënt productieproces Hardware architectuur Electronica: relais
Nadere informatieDe kunst van het dicht timmeren. DEMO BPM Engine. 2012, Formetis
De kunst van het dicht timmeren DEMO BPM Engine 2012, Formetis 1 Agenda Enterprise Engineering & Software Engineering Demonstratie DEMO BPM Engine Vragen Enterprise Engineering & Software Engineering 1.
Nadere informatieErvaringen met het opzetten van een MDD omgeving
Ervaringen met het opzetten van een MDD omgeving Introductie (1/3) Eric Jan Malotaux Software architect Mod4j Software architect Ordina Johan Vogelzang Developer Mod4j Projectleider Java ontwikkelstraat
Nadere informatieEnterprise Connectivity. Marnix van Bo. TU Delft Elek Software Architect 20 jaar ervarin ontwikkeling
Fir rst Base Enterprise Connectivity Marnix van Bo chove First Base: opgericht in 2001 TU Delft Elek ktrotechniek - 1998 Software Architect 20 jaar ervarin g met software ontwikkeling Presentatie Ideeën
Nadere informatienotitie Systems Engineering Lesplan Requirements Engineering (RE) Werkgroep opleidingen Definitief; vastgesteld Stuurgroep 4P
notitie Van project onderwerp opgemaakt door Systems Engineering Lesplan Requirements Engineering (RE) Werkgroep opleidingen status datum opmaak 20-7-2012 bijlagen Definitief; vastgesteld Stuurgroep 4P
Nadere informatieDeny nothing. Doubt everything.
Deny nothing. Doubt everything. Hack to the Future Marinus Kuivenhoven Sr. Security Specialist Houten, 23 juni 2015 marinus.kuivenhoven@sogeti.com 2 Het valt op Wij leren niet van het verleden Zekerheid
Nadere informatieVraag 1... Ieder risico in een risico analyse moet geschat worden voor wat betreft zijn impact... en zijn kans/propabiliteit...
Nota: Schrijf je antwoorden kort en bondig in de daartoe voorziene velden. Elke theorie-vraag staat op 2 en elke oefening op 8 punten. Het geheel staat op 40. Vraag 1... Ieder risico in een risico analyse
Nadere informatieFF Training teaser Ton Knegt Sr. Project Manager STC Group
FF Training teaser Ton Knegt Sr. Project Manager STC Group Programma: 1. Introductie trainingen Ton Knegt STC Group 2. FF EMEA Demo units Peter Overgauw - Honeywell 3. Training cases Bindert Douma STC
Nadere informatiez x 1 x 2 x 3 x 4 s 1 s 2 s 3 rij rij rij rij
ENGLISH VERSION SEE PAGE 3 Tentamen Lineaire Optimalisering, 0 januari 0, tijdsduur 3 uur. Het gebruik van een eenvoudige rekenmachine is toegestaan. Geef bij elk antwoord een duidelijke toelichting. Als
Nadere informatiePreschool Kindergarten
Preschool Kindergarten Objectives Students will recognize the values of numerals 1 to 10. Students will use objects to solve addition problems with sums from 1 to 10. Materials Needed Large number cards
Nadere informatie9 OKTOBER 2007 HOLIDAY INN LEIDEN
Global Laboratory Automation Introductie Eerste voorbereidingen Voor implementatie Tijdens implementatie Na implementatie Global Laboratory Automation? A Het aanschaffen van één Laboratory Informatie Management
Nadere informatieHet is geen open boek tentamen. Wel mag gebruik gemaakt worden van een A4- tje met eigen aantekeningen.
Examen ET1205-D1 Elektronische Circuits deel 1, 5 April 2011, 9-12 uur Het is geen open boek tentamen. Wel mag gebruik gemaakt worden van een A4- tje met eigen aantekeningen. Indien, bij het multiple choice
Nadere informatieVoor de master (uitlopende programmering) worden vanaf de OER geen nieuwe studenten meer toegelaten.
Uitvoeringsregeling master 2016-2017 Faculteit Management, Science & Technology wo masteropleiding Software Engineering (uitlopende programmering) (Master of Science Software Engineering) De voertaal in
Nadere informatiePagina 1/6. Joris Van Geet! :59 Comment: 1pt voor iteratief 1pt voor incrementeel niets voor een voorbeeldje
Nota: Schrijf je antwoorden kort en bondig in de daartoe voorziene velden. Elke theorie-vraag staat op 2 punten, elke oefening op 8 punten. Het geheel staat op 40 punten. Vraag 1...[.../2] Definieer de
Nadere informatieHoe ontwerp je een effectief leernetwerk?
Welkom! Hoe ontwerp je een effectief leernetwerk? dr. Hendrik Drachsler & dr. Wendy Kicken Doel van deze workshop Kennismaking met participatief ontwerpen voor het ontwerp van een leernetwerk In theorie
Nadere informatieEN Kernfactuur
EN 16931 Kernfactuur elektronisch factureren in de praktijk 13 december 2017 Fred van Blommestein This presentation expresses the position of the above mentioned presenter. Not of CEN nor NEN. Aanleiding
Nadere informatieNotitie : In de grond gevormde palen met grondverwijdering
Notitie : In de grond gevormde palen met grondverwijdering Waarom een notitie? Waarom een notitie? Onduidelijkheid van de norm? Waarom een notitie? Onduidelijkheid van de norm? of Landelijk handelen volgens
Nadere informatieRisk & Requirements Based Testing
Risk & Requirements Based Testing Tycho Schmidt PreSales Consultant, HP 2006 Hewlett-Packard Development Company, L.P. The information contained herein is subject to change without notice Agenda Introductie
Nadere informatieMedia en creativiteit. Winter jaar vier Werkcollege 7
Media en creativiteit Winter jaar vier Werkcollege 7 Kwartaaloverzicht winter Les 1 Les 2 Les 3 Les 4 Les 5 Les 6 Les 7 Les 8 Opbouw scriptie Keuze onderwerp Onderzoeksvraag en deelvragen Bespreken onderzoeksvragen
Nadere informatieZELF DENKENDE WEBSHOP
ZELF DENKENDE WEBSHOP ARTIFICIAL INTELLIGENCE PANGAEA Digital Agency - Regulusweg 5 Den Haag - 088-6 123456 - hello@png.nl - www.webshop.ai OPBOUW PRESENTATIE WAT IS AI EN WAT GEBEURT ER IN DE WERELD VAN
Nadere informatieAdVISHE: Assessment of the Validation Status of Health- Economic Decision Models
AdVISHE: Assessment of the Validation Status of Health- Economic Decision Models Pepijn Vemer, George van Voorn, Isaac Corro Ramos, Maiwenn Al, Talitha Feenstra Rationale In theorie: Doe alles! Een model
Nadere informatieModel Driven Software Development: Geen toekomst maar realiteit. 4 juni 2009, WTC, Amsterdam.
Model Driven Software Development: Geen toekomst maar realiteit. 4 juni 2009, WTC, Amsterdam. Welke hoort in dit rijtje niet thuis? Weg- en waterbouw Huizen- en kantoorbouw Stedenbouw Auto- en vliegtuigbouw
Nadere informatieCPU scheduling : introductie
CPU scheduling : introductie CPU scheduling nodig bij multiprogrammering doel: een zo hoog mogelijke CPU-bezetting, bij tevreden gebruikers proces bestaat uit afwisselend CPU-bursts en I/O-bursts lengte
Nadere informatieHonours projecten BSc Informatica: twee voorstellen
Honours projecten BSc Informatica: twee voorstellen mogelijk ook geschikt voor BSc Kunstmatige Intelligentie Alban Ponse section Theory of Computer Science Informatics Institute, University of Amsterdam
Nadere informatie! Onze pakketten zijn te klein!!! Amsterdam, 9 jan 2014.! Iljitsch van Beijnum
! Onze pakketten zijn te klein!!! Amsterdam, 9 jan 2014! Iljitsch van Beijnum ! Onze pakketten zijn te klein!!! Amsterdam, 9 jan 2014! Iljitsch van Beijnum Our packets are too small! ! Onze pakketten zijn
Nadere informatieWorkshop Model based testing, mag het ook simpel?
Najaarsevenement 2011 Cloud Testing Workshop Model based testing, mag het ook simpel? Bert Zuurke, Oktober 2011 Programma Wat is model based testen Modellen begrijpen Modellen zelf maken Testen met modellen
Nadere informatieVoor en nadelen (spatieel) gedistribueerd
Voor en nadelen (spatieel) gedistribueerd Centraal Dynamische regelbaarheid Gedistribueerd Communicatie hogere systeemlagen Communicatie lagere systeemlagen Fouttolerantie Faalgedrag Schaalbaarheid Complex
Nadere informatieSoftware Test Plan. PEN: Paper Exchange Network Software Engineering groep 1 (se1-1415) Academiejaar 2014-2015
Software Test Plan PEN: Paper Exchange Network Software Engineering groep 1 (se1-1415) Academiejaar 2014-2015 Jens Nevens - Sander Lenaerts - Nassim Versbraegen Jo De Neve - Jasper Bevernage Versie 1 Versie
Nadere informatieTFS als perfecte tool voor Scrum
TFS als perfecte tool voor Scrum René van Osnabrugge renevo@delta-n.nl About me René van Osnabrugge Communicate @renevo renevo@delta-n.nl http://osnabrugge.wordpress.com Agenda Wat is Scrum? Wat is ALM
Nadere informatieSoftware Test Documentation
FACULTEIT INGENIEURSWETENSCHAPPEN & WE- TENSCHAPPEN DEPARTMENT OF COMPUTER SCIENCE AND APPLIED COMPUTER SCIENCE Software Test Documentation Software Engineering Nicolas Carraggi, Youri Coppens, Christophe
Nadere informatieHieronder staat een voorstel voor het kennismodel voor de vernieuwde EAR wiki.
Kennismodel EAR wiki Het doel is een rijksbrede informatie-infrastructuur: De kaders en de generieke diensten en producten op het terrein van informatievoorziening en ICT die worden aangeboden aan organisaties
Nadere informatieTesten als continuous enabler
Testen als continuous enabler Edwin van Loon en Giel Raijmakers 11 oktober 2017 Agenda Over APG (Edwin van Loon) Quality Driven Development Concept (Edwin van Loon) Test Automation Driven Testing (Giel
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatieSemaforen. Semaforen p. 1/2
Semaforen 2008 Semaforen p. 1/2 Vorige Keer mbv mutual exclusion kritieke sectie (cs) 1. software : Dekker s, Peterson s algoritme 2. hardware: uniprocessor machine: disable interrupts 3. hardware: multiprocessor
Nadere informatieCitation for published version (APA): Saaman, E. H. (2000). Another formal specification language Groningen: s.n.
University of Groningen Another formal specification language Saaman, Erik Harald IMPORTANT NOTE: You are advised to consult the publisher's version (publisher's PDF) if you wish to cite from it. Please
Nadere informatieKennisrepresentatie & Redeneren. Piter Dykstra Instituut voor Informatica en Cognitie
Kennisrepresentatie & Redeneren Piter Dykstra Instituut voor Informatica en Cognitie www.math.rug.nl/~piter piter@math.rug.nl 30 april 2007 INLEIDING Kennisrepresentatie & Redeneren Week1: Introductie
Nadere informatieMyDHL+ Tarief berekenen
MyDHL+ Tarief berekenen Bereken tarief in MyDHL+ In MyDHL+ kunt u met Bereken tarief heel eenvoudig en snel opvragen welke producten er mogelijk zijn voor een bestemming. Ook ziet u hierbij het geschatte
Nadere informatieKoppelen van werelden!
Koppelen van werelden! Maakindustrie Nefit-Bosch Simulatie Ergo-Design Industriële Automatisering Hollander Techniek Nefit 2 Doelstelling Verkorten Time-to-Market bij Request for Change Case Nefit Verschillende
Nadere informatieSoftware Test Document
Software Test Document PEN: Paper Exchange Network Software Engineering groep 1 (se1-1415) Academiejaar 2014-2015 Jens Nevens - Sander Lenaerts - Nassim Versbraegen Jo De Neve - Jasper Bevernage Versie
Nadere informatieCursus Software evolution. Dr. Bastiaan Heeren (bhr@ou.nl) Touw Symposium, 24 november 2012 Studiecentrum Amsterdam
Cursus Software evolution Dr. Bastiaan Heeren (bhr@ou.nl) Touw Symposium, 24 november 2012 Studiecentrum Amsterdam Inhoud Organisatie cursus De software vulkaan Opdracht 1: metrieken Opdracht 2: visualisatie
Nadere informatieCitation for published version (APA): van Buuren, O. P. M. (2014). Development of a modelling learning path. Amsterdam: CMA.
UvA-DARE (Digital Academic Repository) Development of a modelling learning path van Buuren, O.P.M. Link to publication Citation for published version (APA): van Buuren, O. P. M. (2014). Development of
Nadere informatieToday s class. Digital Logic. Informationsteknologi. Friday, October 19, 2007 Computer Architecture I - Class 8 1
Today s class Digital Logic Friday, October 19, 2007 Computer Architecture I - Class 8 1 Digital circuits Two logical values Binary 0 (signal between 0 and 1 volt) Binary 1 (signal between 2 and 5 volts)
Nadere informatie13/07/2012. Op naar Product Quality Monitoring René Tuinhout. Agenda. Tijdsindeling. K o f f i e p a u z e. TestNet Summerschool, juni 2012
Op naar Product Quality Monitoring René Tuinhout Agenda No. 2 Tijdsindeling K o f f i e p a u z e No. 3 1 Introductie Zaterdag 9 juni 2012 Vrijdag 15 juni 2012 Zaterdag 16 juni 2012 Zaterdag 9 juni 2012
Nadere informatieCursusevaluatie Onderwijsinstituut voor Informatica en Informatiekunde format versie 2 april 2006
Cursusevaluatie Onderwijsinstituut voor Informatica en Informatiekunde format versie 2 april 2006 Basisgegevens naam van de cursus cursuscode academisch jaar, semester (herfst/lente) docenten Analysis
Nadere informatieAvondseminar. Making Testing Matter Simulatie en Model-Based Testen. Nspyre nodigt u uit voor het Technology Seminar:
Avondseminar Nspyre nodigt u uit voor het Technology Seminar: Making Testing Matter Simulatie en Model-Based Testen Dinsdag 27 maart 2012 - Auditorium Einstein High Tech Campus Eindhoven Avondseminar over
Nadere informatieOpgave 2 Geef een korte uitleg van elk van de volgende concepten: De Yield-to-Maturity of a coupon bond.
Opgaven in Nederlands. Alle opgaven hebben gelijk gewicht. Opgave 1 Gegeven is een kasstroom x = (x 0, x 1,, x n ). Veronderstel dat de contante waarde van deze kasstroom gegeven wordt door P. De bijbehorende
Nadere informatieBLOCKCHAIN & REAL ESTATE. Jacques Vos, Kadaster (NL)
BLOCKCHAIN & REAL ESTATE Jacques Vos, Registrar @ Kadaster (NL) Agenda Blockchain basic principles Land Registry & Cadastre Blockchain to replace Land Registry? 2 Lorem ipsum dolor sit amet 3 4 5 Under
Nadere informatieAfstudeeropdracht bachelor informatica
Webgebaseerde ontsluiting loggegevens van IDEAS Afstudeeropdracht bachelor informatica David Beniers, Anand Mandhre, Michiel van Kempen Bastiaan Heeren, Harold Pootjes Inhoud Opdracht IDEAS Aanpak Taakverdeling
Nadere informatieInhoud van de presentatie
Brandwerendheid van gedeeltelijk beschermde staal-betonligger met staalplaatbetonvloeren, Leuven R. Zanon ArcelorMittal R&D Inhoud van de presentatie 1 Inleiding 2 Nieuwe brand tests 3 Mechanische principes
Nadere informatieSoftware Test Plan. Yannick Verschueren
Software Test Plan Yannick Verschueren Maart 2015 Document geschiedenis Versie Datum Auteur/co-auteur Beschrijving 1 November 2014 Yannick Verschueren Eerste versie 2 December 2014 Yannick Verschueren
Nadere informatieWebapplicatie-generatie NIOC 2013
Webapplicatie-generatie NIOC 2013 Eddy Luursema, Misja Nabben, Arnoud van Bers Research Group Model Based Information Systems Presentation Introduction M-BIS Data intensive systems Requirements Generation
Nadere informatieLogica voor AI. Inleiding modale logica en Kripke semantiek. Antje Rumberg. 14 november 2012
Logica voor AI Inleiding modale logica en Kripke semantiek Antje Rumberg Antje.Rumberg@phil.uu.nl 14 november 2012 1 Logica voor AI Deel 1: Modale logica semantiek en syntax van verschillende modale logica
Nadere informatieLogica 1. Joost J. Joosten
Logica 1 Joost J. Joosten Universiteit Utrecht (sub)faculteit der Wijsbegeerte Heidelberglaan 8 3584 CS Utrecht Kamer 158, 030-2535579 jjoosten@phil.uu.nl www.phil.uu.nl/ jjoosten (hier moet een tilde
Nadere informatie