Formalisation d'un procédé de développement logiciel basé modèle - Garcia, Angel
35,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
18 °P sammeln
  • Broschiertes Buch

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…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Autorenporträt
43 ans, diplômé du CNAM, Angel GARCIA intervient en tant que consultant SII pour ORANGE.Il crée la société TECTOSAGES en 2005, première société spécialisée en Ingénierie Des Modèles et amélioration des processus IT. Il participe à la fondation du projet TOPCASED primé au Bourget 2011 meilleur projet de R&D du pôle Aérospace Valley.