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.
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!
This sign-up list is open from Tuesday, November 13, 2012 at 12:00 AM till Tuesday, November 13, 2012 at 12:00 AM.