{"product_id":"andre-pascal-genie-logiciel-specification-des-logiciels-deux-exemples-de-pratiques-recentes-z-et-uml-9782729807740","title":"Génie logiciel : spécification des logiciels : deux exemples de pratiques récentes, Z et UML","description":"\u003cp\u003eNiveau A Approche (éléments, résumés ou travaux dirigés) Initiation, mise à niveau\u003c\/p\u003e\u003cp\u003eNiveau B Bases (cours avec exercices et problèmes résolus) IUP - IUT - BTS\u003c\/p\u003e\u003cp\u003eNiveau C Compléments (approfondissement, spécialisation) Ecoles d'ingénieurs, Maîtrise\u003c\/p\u003e\u003cp\u003eCet 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.\u003c\/p\u003e\u003cp\u003eChacune des parties comprend elle-même :\u003c\/p\u003e\u003cp\u003e\n      \u003c\/p\u003e\u003cli\u003eune introduction à la problématique générale du domaine,\u003c\/li\u003e\n    \u003cp\u003e\n      \u003c\/p\u003e\u003cli\u003eune illustration de cette problématique par un langage représentatif : Z pour les spécifications formelles et UML pour la modélisation à objets,\u003c\/li\u003e\n    \u003cp\u003e\n      \u003c\/p\u003e\u003cli\u003eune présentation des principes des spécifications applicables avec ces langages,\u003c\/li\u003e\n    \u003cp\u003e\n      \u003c\/p\u003e\u003cli\u003eun complément de notation destiné à approfondir la connaissance de Z ou UML.\u003c\/li\u003e\n    \u003cp\u003eLa 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.\u003c\/p\u003e\u003cp\u003eL'ouvrage fait suite à un premier livre des mêmes auteurs intitulé Conception des systèmes d'information, consacé aux méthodes et aux techniques de base de la conception des systèmes.\u003c\/p\u003e","brand":"ELLIPSES","offers":[{"title":"Default Title","offer_id":53915772682582,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9782729807740_1_1a279396-385d-4f34-a38b-fbafe13a8814.jpg?v=1781883563","url":"https:\/\/www.momoxbooks.com\/products\/andre-pascal-genie-logiciel-specification-des-logiciels-deux-exemples-de-pratiques-recentes-z-et-uml-9782729807740","provider":"momoxbooks","version":"1.0","type":"link"}