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

Éditeur: Editions Universitaires Européennes
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)