Prêtable
| Titre : | Méthodes formelles pour les objets Vol 6 - N° 1/2000 : Logiciel, bases de données, réseaux |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Hermes, 2000 |
| ISBN/ISSN/EAN : | 978-2-7462-0126-2 |
| Format : | 130 p. / ill.; couv. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 004 (Traitement des données informatiques) |
| Catégories : | |
| Mots-clés: | Logiciel ; Réseaux ; Programmation ; UML ; Objet ; Méthodes formelles ; Traitement des données ; Informatique |
| Résumé : |
"De nombreux modèles formels à objets ont été proposés au cours de la période écoulée. Les concepteurs d'outils de développement disposent maintenant d'un ensemble fourni de théories pour formaliser les systèmes à objets, mais ces théories sont souvent disparates. Leur usage est encore restreint, car leur mise en oeuvre est lourde et coûteuse, ou les modèles sont trop spécifiques, ou ils ne correspondent pas à la pratique des développeurs.
Une tendance actuelle est l'application pratique, même partielle de cette recherche fondamentale." |
| Note de contenu : |
Sommaire :
Chapitre 1: Formaliser suffisamment Chapitre 2: Comprendre la formalisation Chapitre 3: Maîtriser expressivité´e Chapitre 4: Maîtriser l’outil formel Chapitre 5: Valider la théorie |
Exemplaires (1)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| T8/50 | Livre | Bibliothèque de la Faculté de Technologie | Salle des livres | Disponible |
