Selecting a Programming Language, The Modern Way

Jim Sutton – Lockheed Martin

Time: 36:58 mins

Abstract:

Jim Sutton presents a lean, systems-engineering approach to probably the most important development decision you’ll make: Choosing a programming language.

« Back to Contents

Using Static Analysis as part of Code Review

Tucker Taft, SofCheck (USA)

Time: 28:08 mins

Abstract:

Tucker Taft asks the important question – can we make code review less painful? He shows how an advanced static analysis tool, combined with a powerful programming language, can help address and avoid many common programming errors.

« Back to Contents

Tokeneer: An Open-Source Demonstration of High-Assurance Software Engineering

Janet Barnes, Praxis High Integrity Systems

Time: 32:15 mins

Abstract:

Janet Barnes Presents the concepts, processes and language choices, and results behind the development of the Tokeneer project using the SPARK Correctness-by-Construction methodology.

« Back to Contents

Leveraging the power of UML2 Ports – a strategy for their implementation in Ada

Fraser Chadburn, IBM Rational Software

Time: 25:11 mins

Abstract:

Fraser Chadburn looks at how Ada and UML2 can be used to build large-scale, reliable software systems.

« Back to Contents

Project Coverage and the Open-DO Initiative

Franco Gasperoni, AdaCore (France)

Time: 44:01 mins

Abstract:

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.

« Back to Contents

Ada Programming Language Use in Lockheed Martin – An Update

Judith Klein, Lockheed Martin (USA)

Time: 30:58 mins

Abstract:

Judith Klein gives an overview and description of the projects using Ada at Lockheed Martin.

« Back to Contents