Applications logicielles certifiables 3

Applications logicielles certifiables se compose de plusieurs ouvrages qui presentent le developpement d'une application logicielle critique.Ce troisieme opus decrit le processus de realisation d'une application logicielle en se focalisant sur la phase descendante. Le cycle de vie pris comme reference est le cycle en V. Ce cycle se veut le plus agile possible. La preparation des tests se fait donc lors de la phase descendante et permet d'identifier tres tot des defauts. Pour chaque phase, de la specification a la production du code, les activites de conception, de preparation des tests et de verification a mettre en place sont egalement presentees.Dans cet ouvrage le lecteur trouvera une description essentielle et complete de la realisation d'une application logicielle qui doit etre mis en oeuvre, afin que celle-ci soit la plus sAre possible.