addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

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

***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!

Join or login to comment.

  • A former member
    A former member

    Well I can't make it tonight so rescheduling is fine by me! FYI I haven't received any notifications about a change to event details and I RSVPd a month ago.

    September 16, 2013

  • May

    What exactly is the date for the event? 7th Oct or today?

    September 16, 2013

  • A former member
    A former member

    Don't see an update here but got an email from skills matter today indicating it's been rescheduled for the 7th October

    September 12, 2013

    • Gemma

      In my Meetup phone app appears as the 19th of November. I can't remember though if the update was done automatically or I signed up again from the link given in that email.

      September 13, 2013

  • terence f.

    Sorry but I double booked

    September 10, 2013

  • A former member
    A former member

    Very interested in application of formal methods to SDLC. Also can remember almost nothing about Z so should be interesting.

    August 12, 2013

17 went

Our Sponsors

  • Skills Matter

    Join Skills Matter to learn, innovate & share skills for better software

People in this
Meetup are also in:

Sign up

Meetup members, Log in