Lunchlezing "ASD: a practical formal method" door Sioux

  • 13
    nov.

    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 00:00
    Einde
    dinsdag 13 november 2012 00:00
    Locatie
    MF 15
    Kosten
    Gratis
    Google Calendar

Please contact the organizing party or the board (cib@gewis.nl) with any questions, concerns or if you are unable to attend after the deadline for unsubscribing has passed. Have fun!

Huidige inschrijvingen