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

Univ Europeenne - EAN : 9783841780898
Mohamed Graiet
Édition papier

EAN : 9783841780898

Paru le : 28 nov. 2011

69,00 € 65,40 €
Disponible
Pour connaître votre prix et commander, identifiez-vous
Notre engagement qualité
  • Benefits Livraison gratuite
    en France sans minimum
    de commande
  • Benefits Manquants maintenus
    en commande
    automatiquement
  • Benefits Un interlocuteur
    unique pour toutes
    vos commandes
  • Benefits Toutes les licences
    numériques du marché
    au tarif éditeur
  • Benefits Assistance téléphonique
    personalisée sur le
    numérique
  • Benefits Service client
    Du Lundi au vendredi
    de 9h à 18h
  • EAN13 : 9783841780898
  • Réf. fournisseur : 5383854
  • Editeur : Univ Europeenne
  • Date Parution : 28 nov. 2011
  • Disponibilite : Disponible
  • Barème de remise : NS
  • Nombre de pages : 220
  • Format : H:220 mm L:150 mm
  • Poids : 330gr
  • Interdit de retour : Retour interdit
  • Résumé : 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
  • Biographie : 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
Haut de page
Copyright 2026 Cufay. Tous droits réservés.