Formal Versus Agile: Survival of the Fittest? (Paul Boca)

Agile versus Formal Methods: Survival of the Fittest? Paul Boca

Collaborators ,[object Object],[object Object],[object Object],[object Object],(Scrum mistress) (Formal Methodist) ( Z z z z z z z z z z z )

About Me ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Quiz #1 ,[object Object],[object Object],[object Object]

Quiz #1 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Agile Manifesto ,[object Object],[object Object],[object Object],[object Object],[object Object]

Approaches + Techniques ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Quiz #2 ,[object Object],[object Object]

But Agile is not perfect ,[object Object],[object Object],[object Object],[object Object],[object Object]

Formal Methods ,[object Object],[object Object]

Formal Methods Timeline Z 1977 B 1986 CSP 1978 Circus 2000 DbC 1986 1970 1980 1990 2000 2010 X machines 1974 VDM 70s Alloy 1997 FM + Agile 2003 not complete but sound 

Formal Methods Success Stories

Quiz #3 ,[object Object],[object Object],[object Object],[object Object]

Agile is not perfect ,[object Object],[object Object],[object Object],[object Object],It's like déjà vu all over again Yogi Berra

Agile is not perfect ,[object Object],[object Object],[object Object],[object Object]

Why we need documentation ,[object Object],[object Object],[object Object],[object Object]

Design by Contract to the rescue ,[object Object],[object Object],[object Object]

To test or not to test? ,[object Object],[object Object],[object Object],[object Object],[object Object]

Formal Methods to the Resue ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Refactoring Code ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Refactoring = program transformation ,[object Object],[object Object],[object Object],[object Object],[object Object]

Avoiding Continuous Dis integration! ,[object Object],[object Object],[object Object],[object Object],[object Object],Avoid the wrath of Agnes!!

Continuous Integration (CI) Subversion server build server test server Feedback mechanism commit commit commit check Model checker Theorem Prover Analysis tools

Enabling CI+FM ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

The Cost of Agile Time Time Effort Effort Formal development XP development

The Cost of Agile Time Time Effort Effort Formal development Scrum development

The Cost of Agile Time Time Effort Effort Formal development DSDM

Agile and FM: survey ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Summary ,[object Object],[object Object],[object Object],[object Object],[object Object]

Take Away Messages ,[object Object],[object Object]

Agile and FM: survey ,[object Object],[object Object],[object Object]

FM + AM 2010 ,[object Object],[object Object],[object Object],[object Object],[object Object]

<shameless plug/> 20% reduction for delegates. If you are interested, please pick up a flyer. All royalties ploughed back into seminar series

AGILE FM The perfect partnership

Formal Versus Agile: Survival of the Fittest? (Paul Boca)

Recommended

Recommended

More Related Content

What's hot

What's hot (20)

Viewers also liked

Viewers also liked (20)

Similar to Formal Versus Agile: Survival of the Fittest? (Paul Boca)

Similar to Formal Versus Agile: Survival of the Fittest? (Paul Boca) (20)

More from AdaCore

More from AdaCore (20)

Recently uploaded

Recently uploaded (20)

Formal Versus Agile: Survival of the Fittest? (Paul Boca)