In The Brain of Rob Harrop: Model like you mean it

This event requires registration at Skills Matter (http://skillsmatter.com/podcast/home/model-like-you-mean-it/mh-8239)

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!

http://photos2.meetupstatic.com/photos/event/f/f/2/600_270844082.jpeg