Vers une démarche de vérification formelle d’architectures logicielles
search
  • Vers une démarche de vérification formelle d’architectures logicielles
  • Vers une démarche de vérification formelle d’architectures logicielles

Vers une démarche de vérification formelle d’architectures logicielles

Mohamed Graiet

69,00 €
65,55 € Économisez 5%

Architectures logicielles

Le domaine de l’architecture logicielle est devenu un champ à part entière au niveau du génie logiciel : des workshops et des conférences spécialisés tels que EWSA (European Workshop on Software Architectures) et CAL (Conférence francophone sur les Architectures Logicielles) font maintenant le point sur ce domaine.

L’architecture logicielle fournit une description de haut niveau de la structure d’un système.

Elle est définie par des composants, des connecteurs et des configurations (Garlan, 1993).

La conception architecturale occupe une position clef et critique dans le processus de développement d’un système

Livraison dans le monde entier.
Frais d'envoi limités à 4,90 € pour la France métropolitaine quel que soit le nombre d'articles. Délai de livraison : 2 à 5 jours.

Quantité
Disponible

En achetant ce produit, vous collectez jusqu'à 6 points de fidélité. Votre panier totalisera 6 points à convertir lors d’un prochain achat en un bon de réduction de 3,00 €.


Mohamed Graiet Docteur en Informatique de l'Université joseph Fourier Grenoble FranceMaître assistant en Informatique à l'Institut Supérieur d'Informatique et de Mathématique de Monastir Tunisie


Fiche technique

Auteur
Mohamed Graiet
Langue
Français
Éditeur
Éditions universitaires européennes
Pays
Tunisie Tunisie

30 autres produits dans la même catégorie :

Voir tout
Voir tout