The next talk in our series from the recent Open-DO Conference is from Neil White, Principal Engineer with Altran Praxis. His talk provides an overview of the formal methods used on the iFACTS project. iFACTS is delivering increased Air Traffic Control capability to the UK.
You can also view the presentation slides if you want to follow along.
The next talk in our series from the recent Open-DO Conference is from Dr. Peter Gardner. Peter has twenty years experience in languages and software development methodologies and acts as the focal point for UML in Silver Atena. His talk surveys Agile methods and formulates a list of features that occur in these methods, then considers whether each of the features can be applied in the field of safety-critical software development.
You can also view the presentation slides if you want to follow along.
A big thank you to all those who attended the very successful Open-DO event in Paris on March 11, 2010. And if you missed it, don’t worry. We’ll be posting videos of all the talks over the coming weeks.
The conference was dedicated to exploring the possibilities of combining formality with agility for critical software development. We start with Paul Boca from Hornbill Systems Ltd, who makes the case that formal methods can complement agile practices and vice versa.
Each week we will post a new talk from this event. Enjoy!
You can also view the presentation slides if you want to follow along.
Speaking at the Ada UK Conference 2009 in London, Jim Sutton presents a talk on a Lean approach to one of the most import aspects of starting any development project: selecting the right programing language.
Speaking at the Ada UK Conference 2009 in London, Franco Gasperoni presents and positions requirement-based testing and coverage analysis in terms of the Avionics standard DO-178B. He then goes on to show how the Open-DO initiative (through Project Coverage) is addressing these needs.
Here’s the sixth and last in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Roberto di Cosmo, Professor of Computer Science at the Paris Diderot, presents his observations and research on the realities and challenges of building open-source communities.
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 4 parts.
Part 1 of 4
To view parts 2-4 of this talk click the ‘Read More’ link just below…
Here’s the fifth in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Alexandre Boutin, Lean & Agile Coach at Yahoo! presents his uniquely Agile approach to creating and maintaining documentation.
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 3 parts.
Part 1 of 3
To view parts 2-3 of this talk click the ‘Read More’ link just below…
Here’s the fourth in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Dave Jackson, Technical Delivery Manager
at Praxis, talks about how Praxis uses Lean thinking both inside and outside their company. Each week we will post a new talk from this event. Enjoy!
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 4 parts.
Part 1 of 4To view parts 2-4 of this talk click the ‘Read More’ link just below… Read More »
Here’s the third in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Emmanuel Chenu, software development coach at Thales Avionics, shares his experiences working with Agile development methods. Each week we will post a new talk from this event. Enjoy!
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 4 parts.
Part 1 of 4To view parts 2-4 of this talk click the ‘Read More’ link just below… Read More »
Here’s the second in a series of videos shot at the recent “Lean, Agile Approach to High-Integrity Software” Event. In this talk, Jim Sutton, author of Lean Software Strategies and winner of the 2007 Shingo Prize presents a contrast and comparison of Lean and Agile methods. Each week we will post a new talk from this event. Enjoy!
(Viewing tip: click the ‘HQ’ button on the video controller for better image quality, it helps a lot for the slides)
The talk is presented here is 5 parts. You can also download the presentation slides if you want to follow along.
Part 1 of 5 To view parts 2-5 of this talk click the ‘Read More’ link just below… Read More »