Méthodes formelles pour le parallélisme
Spécification, modélisation et vérification des systèmes concurrents
Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de développement d’un système parallèle, et suite au fait qu’elles sont fondées sur une base théorique solide qui est les mathématiques, ces méthodes permettent des validations automatisées des propriétés du système développé.
Ce livre tente d’apporter aux lecteurs les connaissances fondamentales sur le domaine des méthodes formelles pour la spécification, la modélisation et la vérification des systèmes parallèles.
L’accent sera mis sur les méthodes sémantiques de parallélisme, les outils formels de modélisation, ainsi que sur les méthodes formelles de vérification.
Djalila Boughareb, Enseignante-chercheuse en Informatique, titulaire d'un diplôme de doctorat en Sciences et Technologies de l'Information et de la Communication.
Fiche technique
- Auteur
- Djalila Boughareb
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pays
- Algérie
30 autres produits dans la même catégorie :
Voir toutConception et réalisation d’une base de données pour la gestion
- Nouveau
Les Systèmes de Recommandation à Base de Filtrage Collaboratif
- Nouveau
Conception et réalisation d'une application de gestion des palmarès
- Nouveau
Mise en place d'un réseau informatique local avec connexion internet
- Nouveau
Répartition simultanée des nœuds dans un réseau de radio cognitive
- Nouveau
Vers une approche de monitoring des applications orientées services
- Nouveau
Le traitement des classes déséquilibrées par les méthodes ensemblistes
- Nouveau