Lunchlezing "ASD: a practical formal method" door Sioux

In a world of software systems getting more complex, developers encounter various kinds of challenges. One of these challenges is to let an increasing number of components in a software system to function together in a correct and maintainable manner. Michael van de Ven (Sioux) has found help from the formal method perspective with "Analytical Software Design" (ASD). Under the hood a formal method and in practice an effective toolset to work with. Michael experienced that the ASD:Suite toolset proved itself to be a valuable addition to his personal software toolbox. In this presentation Michael takes you along on his experiences at FEI Company where ASD helped him in creating an extension to a complex Transmission Electron Microscope.

Start
dinsdag 13 november 2012 om 00:00
Einde
dinsdag 13 november 2012 om 00:00
Locatie
MF 15
Kosten
Gratis
Google Calendar

Inschrijflijsten

Neem contact op met de organiserende partij of het bestuur (cib@gewis.nl) als je vragen of opmerkingen hebt of als je na het verstrijken van de afmeldtermijn niet aanwezig kunt zijn. Veel plezier!

Deze inschrijflijst is open van dinsdag 13 november 2012 om 00:00 tot dinsdag 13 november 2012 om 00:00.


GEWIS gebruikt functionele cookies om de website te laten functioneren en analytische cookies om u een optimale gebruikerservaring te bieden. Als u geen analytische cookies wilt, kunt u zich hieronder afmelden.