Résultat de la recherche
1 recherche sur le tag 'langage z'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Génie Logiciel / P. André, A. Vailly
Titre : Génie Logiciel : Exercices corrigée en langage Z Type de document : texte imprimé Auteurs : P. André, A. Vailly, Auteur Editeur : Paris [France] : Ellipses Année de publication : 2004 Format : 25cm ISBN/ISSN/EAN : 978-2-7298-1942-2 Prix : 18040 Langues : Français (fre) Catégories : 5 Information et communication:5.40 Technologie de l'information (logiciels):Programmation informatique Tags : Logiciel Langage Z Application Pratique Base de donnée Résumé : Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets. Chacune des parties comprend elle-même : une introduction à la problématique générale du domaine ; une illustration de cette problématique par un langage représentatif : Z pour les spécifications formelles et UML pour la modélisation à objets ; une présentation des principes des spécifications applicables avec ces langages ; un complément de notation destiné à approfondir la connaissance de Z ou UML. La théorie est ici toujours mise au service de la pratique. De très nombreux exemples sont fournis et chaque chapitre est illustré par de nombreux exercices. L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé Conception des systèmes d'information, consacré aux méthodes et aux techniques de base de la conception des systèmes. Génie Logiciel : Exercices corrigée en langage Z [texte imprimé] / P. André, A. Vailly, Auteur . - Paris [France] : Ellipses, 2004 . - ; 25cm.
ISBN : 978-2-7298-1942-2 : 18040
Langues : Français (fre)
Catégories : 5 Information et communication:5.40 Technologie de l'information (logiciels):Programmation informatique Tags : Logiciel Langage Z Application Pratique Base de donnée Résumé : Cet ouvrage est destiné à l'étudiant et au professionnel qui veulent comprendre l'impact des spécifications formelles et de la modélisation à objets sur la pratique du développement d'un logiciel. Il comprend deux parties consacrées respectivement, la première aux spécifications formelles, et la seconde à la modélisation à objets. Chacune des parties comprend elle-même : une introduction à la problématique générale du domaine ; une illustration de cette problématique par un langage représentatif : Z pour les spécifications formelles et UML pour la modélisation à objets ; une présentation des principes des spécifications applicables avec ces langages ; un complément de notation destiné à approfondir la connaissance de Z ou UML. La théorie est ici toujours mise au service de la pratique. De très nombreux exemples sont fournis et chaque chapitre est illustré par de nombreux exercices. L'ouvrage fait suite à un premier livre des mêmes auteurs intitulé Conception des systèmes d'information, consacré aux méthodes et aux techniques de base de la conception des systèmes. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Origine Date d'acquisition Date de pilon DL-185 INFO PAN Papier C. ESCOA FONDS DOCUMENTAIRE Disponible Achat 15/09/2023 16/03/2024