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.
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.
YOU MAY ALSO LIKE:
- Pivotal's Core Spring (in London on 4th - 7th November 2019)
- Understanding Microservice Performance (SkillsCast recorded in September 2016)
- Martine Devos' Certified Scrum Master, Estimation & Planning Class (in London on 4th - 5th November 2019)
- Agile at Scale: Inspired by Spotify (in London on 6th - 7th November 2019)
- P3X - People, Product & Process eXchange 2019 (in London on 31st October - 1st November 2019)
- 2 Presentations: Kubernetes Ingress & DevOps and Microservices Better Together (in London on 17th October 2019)
- Right to Left - Outcome Driven Agility (in London on 21st October 2019)
- RedisTimeSeries = A Time Series Database using Redis (SkillsCast recorded in October 2019)
- Resilience and Chaos Engineering at Hotels.com (SkillsCast recorded in September 2019)
Model like you mean it
As CEO at Skipjaq, Rob Harrop leads a team working on the cutting edge of machine-driven performance optimisation. When he’s not thinking about how best to tune the myriad workloads encountered by Skipjaq customers, he’s thinking hard about how to pass the optimisation burden on to machines that learn. Rob is well known as a co-founder of SpringSource, the software company behind the wildly-successful Spring Framework. At SpringSource he was a core contributor to the Spring Framework and led the team that built dm Server (now Eclipse Virgo). Prior to SpringSource, Rob was (at the age of 19) co-founder and CTO at Cake Solutions, a boutique consultancy in Manchester, UK. A respected author, speaker and teacher, Rob writes and talks frequently about large-scale systems, cloud architecture and functional programming. His published works include the highly-popular Spring Framework reference “Pro Spring”.