Partenaires

CNRS


Rechercher


Accueil > Publications > Recherche par années > Années 2010 > 2015

Hinsen K.

Writing Software Specifications

Computing in Science & Engineering (2015) 17 (3) 54-61 - doi : 10.1109/MCSE.2015.64

par Frapart - publié le , mis à jour le

Abstract :

Here, Konrad Hinsen talks about how one aspect of validating a piece of software is to check that it does what it’s expected to do. But how do you write down your expectations ?