Lunch lecture: "ASD: a practical formal method" by 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.