• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Formalisation d'Un Procédé de Développement Logiciel Basé Modèle

Formalisation d'Un Procédé de Développement Logiciel Basé Modèle

Paperback

Series: Omn.Univ.Europ.

Literary CriticismGeneral Computers

ISBN10: 3838180682
ISBN13: 9783838180687
Publisher: Ed Universitaires Europeennes
Published: Feb 28 2018
Pages: 156
Weight: 0.52
Height: 0.36 Width: 5.98 Depth: 9.02
Language: French
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.

Also in

General Computers