Newsletter

Ich möchte den Newsletter der AC Distribution & Marketing GmbH mit Neuigkeiten, Gutscheinen und Aktionen per E-Mail erhalten und akzeptiere deren Datenschutzerklärung. 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 / 244 244 (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. 7% MwSt. , zzgl. Versandkosten

Ihre Kundenmeinung hinzufügen

Zusatzinformation

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

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.

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!

Sie könnten auch an folgenden Produkten interessiert sein