Newsletter

Ja, Ich möchte den Newsletter der AC Distribution & Marketing GmbH mit Neuigkeiten, Gutscheinen und Aktionen zu Musik-, Video-, Elektro-, Haushalts- und Geschenkartikeln per E-Mail erhalten. Meine Daten werden keinesfalls an Dritte weitergegeben. Die Abmeldung ist jederzeit kostenlos möglich.

  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 917 917 (0,14€/min, mobil max.0,42€/min)

Formalisation d'un procédé de développement logiciel basé modèle

Garcia:Formalisation d'un procédé de dé
Autor: Angel Garcia
Verfügbarkeit: Auf Lager.
Artikelnummer: 944062
ISBN / EAN: 9783838180687

Verfügbarkeit: sofort lieferbar

49,00 €
Inkl. MwSt. , zzgl. Versandkosten

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.

Zusatzinformation

Autor Verlag Éditions universitaires européennes
ISBN / EAN 9783838180687 Bindung Taschenbuch

Sie könnten auch an folgenden Produkten interessiert sein

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Formalisation d'un procédé de développement logiciel basé modèle

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!