Le logiciel contrôle des aspects de plus en plus nombreux, complexes et parfois vitaux de notre quotidien. Les méthodes actuelles de développement reposent encore largement sur le codage manuel et les tests. Celles-ci (...)
Les méthodes d’ingénierie formelles sont théoriquement capables d’atteindre un niveau de qualité « zéro bug ». Certaines sont utilisées avec succès en industrie, notamment dans le développement de systèmes de métro (...)