Passionné(e) de lecture ? Inscrivez-vous gratuitement ou connectez-vous pour rejoindre la communauté et bénéficier de toutes les fonctionnalités du site !  

Formalisation d'un procede de developpement logiciel base modele - verification formelle par la meth

Couverture du livre « Formalisation d'un procede de developpement logiciel base modele - verification formelle par la meth » de Garcia Angel aux éditions Editions Universitaires Europeennes
Résumé:

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,... Voir plus

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. Dans ce contexte, trois domaines de l'ingénierie du logiciel peuvent jouer un rôle important : l'ingénierie des procédés, l'ingé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.

Donner votre avis

Donnez votre avis sur ce livre

Pour donner votre avis vous devez vous identifier, ou vous inscrire si vous n'avez pas encore de compte.