Conférence

How to build quality software: the Eiffel experience

Réalisation : 18 avril 2017 Mise en ligne : 18 avril 2017
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
  • audio 1 audio 2 audio 3
Descriptif

With society’s growing reliance on IT systems, the ability to write high-quality software is ever more critical. While a posteriori verification techniques have their role, there is no substitute for methods and tools that provide built-in quality (“correctness by construction”) and scale up to very large systems. For several decades my colleagues and I have been building such a method, based in particular on the concept of Design by Contract, the associated tools and the supporting language, Eiffel. The scope is wide, encompassing all aspects of the software development process, from requirements and design to implementation and verification. I will present an overview of the approach, show what it can yield, and discuss remaining open issues.

This talk is meant for everyone, whether from industry or academia, with an interest in practical techniques for engineering high-quality software.

Intervenants
Thèmes
Notice
Lieu de réalisation
Inria Sophia Antipolis Méditerranée
Langue :
Anglais
Crédits
CNRS - Centre National de la Recherche Scientifique (Publication), INRIA (Institut national de recherche en informatique et automatique) (Production), INRIA (Institut national de recherche en informatique et automatique) (Publication), UNS (Publication)
Conditions d'utilisation
Droit commun de la propriété intellectuelle
Citer cette ressource:
Inria. (2017, 18 avril). How to build quality software: the Eiffel experience. [Vidéo]. Canal-U. https://www.canal-u.tv/103317. (Consultée le 15 août 2022)
Contacter
Documentation


Sur le même thème