Titre : |
INTRODUCTION AUX METHODES FORMELLES |
Type de document : |
texte imprimé |
Auteurs : |
JEAN-FRANCOIS MONIN, Auteur |
Editeur : |
PARIS : HERMES SCIENCE PUBLICATIONS |
Année de publication : |
2000 |
Importance : |
352 p. |
Présentation : |
COUV,ILL.ILL. |
Format : |
24 cm. |
ISBN/ISSN/EAN : |
978-2-7462-0140-8 |
Note générale : |
BIBLIOGR. INDEX |
Langues : |
Français (fre) |
Mots-clés : |
ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS |
Index. décimale : |
005.5 |
Résumé : |
PRESENTATION DES BASES THEORIQUES ET DES FONDEMENTS MATHEMATIQUES DE LA SPECIFICATION FORMELLE. REVUE DES TECHNIQUES GENERALES DE LA SPECIFICATION, DU DEVELOPPEMENT MODULAIRE DE LOGICIEL PAR RAFFINEMENTS PROGRESSIFS ET DE LA PREUVE FORMELLE. EXPLICATION DE LA MISE EN OEUVRE EFFECTIFS. ETUDE DES SYSTEMES DE TRANSITION ET DE LA LOGIQUE TEMPORELLE.. PROFESSIONNEL, SPECIALISTE.3e CYCLE-RECHERCHE. |
INTRODUCTION AUX METHODES FORMELLES [texte imprimé] / JEAN-FRANCOIS MONIN, Auteur . - PARIS : HERMES SCIENCE PUBLICATIONS, 2000 . - 352 p. : COUV,ILL.ILL. ; 24 cm. ISBN : 978-2-7462-0140-8 BIBLIOGR. INDEX Langues : Français ( fre)
Mots-clés : |
ORGANISATION DES DONNEES. CONCEPTION DES LOGICIELS |
Index. décimale : |
005.5 |
Résumé : |
PRESENTATION DES BASES THEORIQUES ET DES FONDEMENTS MATHEMATIQUES DE LA SPECIFICATION FORMELLE. REVUE DES TECHNIQUES GENERALES DE LA SPECIFICATION, DU DEVELOPPEMENT MODULAIRE DE LOGICIEL PAR RAFFINEMENTS PROGRESSIFS ET DE LA PREUVE FORMELLE. EXPLICATION DE LA MISE EN OEUVRE EFFECTIFS. ETUDE DES SYSTEMES DE TRANSITION ET DE LA LOGIQUE TEMPORELLE.. PROFESSIONNEL, SPECIALISTE.3e CYCLE-RECHERCHE. |
| |