Formalisation d'un procédé de développement logiciel basé modèle : Verification formelle par la methode B

Formalisation d'un procédé de développement logiciel basé modèle : Verification formelle par la methode B

Formalisation d'un procédé de développement logiciel basé modèle : Verification formelle par la methode B
2012156 pagesISBN 9783838180687
Format: BrochéLangue : Français

Un des enjeux actuels et majeurs du Génie Logiciel est d'automatiser et d'industrialiser le procédé de développement du logiciel. La demande en logiciel s'est considérablement accélérée et doit répondre aujourd'hui à une complexité croissante, une forte exigence de qualité et de certification, une interopérabilité entre les systèmes, les réseaux et une forte communication...

Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)