Beschreibung
Les avantages des méthodes formelles se traduisent essentiellement par la réduction des coûts de développement dun système parallèle, et suite au fait quelles 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 dapporter 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. Laccent 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.
Autorenporträt
Djalila Boughareb, Enseignante-chercheuse en Informatique, titulaire d'un diplôme de doctorat en Sciences et Technologies de l'Information et de la Communication.
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
