Formalisation d'un procédé de développement logiciel basé modèle
Verification formelle par la methode b
Angel Garcia - Collection Omn.univ.europ.
156 pages, parution le 18/05/2012
Résumé
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.
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Editions universitaires européennes |
| Auteur(s) | Angel Garcia |
| Collection | Omn.univ.europ. |
| Parution | 18/05/2012 |
| Nb. de pages | 156 |
| Format | 15 x 22 |
| Couverture | Broché |
| Poids | 239g |
| EAN13 | 9783838180687 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
