***This event requires registration at Skills Matter***
In the age of agile development, modelling seems to be a forgotten art. Often relegated to a mere documentation task, the valuable modelling processes have been all but forgotten.
In this talk, Rob demonstrates how to apply decades-old techniques from formal methods as the ideal tools for agile modelling.
Using the STOMP messaging system as a use case, Rob presents a mathematical state model using the Z modelling language and a concurrency model using CSP.
Attendees need not worry, there will be no UML!