Quentin Ochem has a software engineering background, specialized in software development for critical applications. He has over 10 years of experience in Ada development. He works today as a technical account manager for AdaCore, following projects related to avionics, railroad, space and defense industries. He also teaches the avionics standard DO-178B course at the EPITA University in Paris.
The industrialization age of programming by contract is opening a new era in software development. Just as development techniques went from assembly to structured languages and from structured languages to object orientation, contract-based programming is providing one more abstraction to software design.
Object Oriented Programming was introduced to software development almost half a century ago but should it be banished from embedded, safety-critical development?
C++11 and Ada 2012 are the latest incarnations of C++ and Ada programming languages. Quentin Ochem delves into the similarities and differences of some new features in each language.
