الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي

Logique temporelle / Éric Audureau

Public ISBD Titre : Logique temporelle : sémantique et validation des programmes parallèles Type de document : texte imprimé Auteurs : Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur Editeur : Paris : Masson Année de publication : 1990 Collection : E.R.I. Etudes et recherches en informatique, ISSN 0763-2770 Importance : 234 p. Présentation : ill., couv. ill. Format : 25 cm ISBN/ISSN/EAN : 978-2-225-81967-4 Note générale : Bibliogr. p. 224-232. Index Langues : Français (fre) Mots-clés : Logique  temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc. Logique temporelle : sémantique et validation des programmes parallèles [texte imprimé] / Éric Audureau, Auteur ; Patrice Enjalbert, Auteur ; Luis Fariñas del Cerro, Auteur . - Paris : Masson, 1990 . - 234 p. : ill., couv. ill. ; 25 cm. - (E.R.I. Etudes et recherches en informatique, ISSN 0763-2770) . ISBN : 978-2-225-81967-4 Bibliogr. p. 224-232. Index Langues : Français (fre) Mots-clés : Logique  temporelle Index. décimale : 006 Résumé : Cet ouvrage présente une introduction générale à la logique modale et temporelle ainsi que les différents formalismes utilisés en théorie de la programmation, notamment les logiques du temps linéaire et arborescent. Ces formalismes sont appliqués d'une part à la validation de programmes parallèles et de protocoles de communication et d'autre part à la synthèse de programmes. En effet, de la même manière que l'on démontre un théorème grâce à l'emploi de règles de déduction précises et rigoureuses, la correction d'un programme peut parfois être établie à partir de méthodes générales de raisonnement. La logique temporelle des programmes repose sur une idée simple : puisque les exécutions d'un programme se déroulent dans le temps, il est légitime de les étudier à l'aide de techniques déductives formalisant des concepts temporels tels que ensuite, toujours, depuis, etc.

Réservation

Réserver ce document

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
fsei02184	006-37.1	Ouvrage	Faculté des Sciences Exactes et Informatique	000 - Informatique, information, ouvrages généraux	Disponible

---

1 (1 - 1 / 1)