Meetup schedule:
6:30 - 7:00 - The arrival of the participants + pizza on behalf of Devnest
7:00 - 8:30 - Radu Ometita - Model based specification.

I've recently tested the approach outlined in `Algebra Driven Design` by Sandy Maguire on a couple of projects, and this meetup is meant to provide an introduction to the ideas of model based approaches to specification. We will discuss:

0. Introduction to the ideas of syntax and semantics.

1. What is a model?

2. How do we know if a model is useful?

3. What is a (semi-formal) software specification?

4. How do we test it?

5. What are my take-aways from this experience?