Mohlo by se vám také líbit

Více informací o knize Formalisation d'Un Proc d de D veloppement Logiciel Bas Mod le

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 199 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy ve francouzštině LITTÉRATURE GÉNÉRALE Essais littéraires

• Plný název: Formalisation d'Un Proc d de D veloppement Logiciel Bas Mod le
• Autor: Angel Garcia
• Jazyk: Francouzština
• Vazba: Brožovaná
• Počet stran: 156
• EAN: 9783838180687
• ISBN: 3838180682
• ID: 06944052
• Nakladatelství: Omniscriptum
• Hmotnost: 236 g
• Rozměry: 229 × 152 × 9 mm
• Datum vydání: 28. February 2018

Oblíbené z jiného soudku

---

---

---