Tuesday Lunch – Design by Contract: Where Agile Meets Formal Methods

Topic: Design by Contract: Where Agile Meets Formal Methods
Presenter: Robert Chan
Time: Tuesday November 9th, 12:30pm-1:30pm
Locations: Ottawa@1709 Bloor & Kingston@200 Adelaide

View the Presentation

Agile and Formal Methods are two principles that are often seen at odds. Agile focuses on developing working software that’s responsive to change; formal methods stress the correctness of software according to strict specification. In reality, both methods have their place in different industries. But are they really mutually exclusive? Is there no common ground that can benefit from the best of both worlds? In the late 1980s, Bertrand Meyer proposed Design by Contract (DbC), a software design approach that emphasizes the definition of formal, precise and verifiable interface specifications for software components. In this discussion group, we’ll get an overview of what Formal Methods are, how they differ from Agile, and how DbC may help bridge the gap. We’ll also see some examples of DbC in action.

Further reading:

It's only fair to share...
Share on FacebookGoogle+Tweet about this on TwitterShare on LinkedIn

Leave a Reply