Formalisation d'Un Procédé de Développement Logiciel Basé Modèle » książka
Formalisation d'Un Procédé de Développement Logiciel Basé Modèle
ISBN-13: 9783838180687 / Francuski / Miękka / 2018 / 156 str.
Un des enjeux actuels et majeurs du GA(c)nie Logiciel est d'automatiser et d'industrialiser le procA(c)dA(c) de dA(c)veloppement du logiciel. La demande en logiciel s'est considA(c)rablement accA(c)lA(c)rA(c)e et doit rA(c)pondre aujourd'hui A une complexitA(c) croissante, une forte exigence de qualitA(c) et de certification, une interopA(c)rabilitA(c) entre les systA]mes, les rA(c)seaux et une forte communication. Dans ce contexte, trois domaines de l'ingA(c)nierie du logiciel peuvent jouer un rAle important: l'ingA(c)nierie des procA(c)dA(c)s, l'ingA(c)nierie des modA]les et la vA(c)rification formelle. La convergence de ces trois domaines reprA(c)sente un intA(c)rAat majeur et leur mise en oeuvre est rA(c)alisA(c)e au travers de trois A(c)tudes de cas.
Un des enjeux actuels et majeurs du Génie Logiciel est dautomatiser et dindustrialiser le procédé de développement du logiciel. La demande en logiciel sest considérablement accélérée et doit répondre aujourdhui à 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. Dans ce contexte, trois domaines de lingénierie du logiciel peuvent jouer un rôle important : lingénierie des procédés, lingénierie des modèles et la vérification formelle. La convergence de ces trois domaines représente un intérêt majeur et leur mise en oeuvre est réalisée au travers de trois études de cas.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
