Génie logiciel : Exercices corrigés en langage Z. Les spécifications formelles par l'exemple
29,00 €
Sur commande en 6-10 jours
EAN :
9782729819422
La collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, Maîtrise
| Nombre de pages | 243 |
|---|---|
| Date de parution | 04/03/2004 |
| Poids | 550g |
| Largeur | 175mm |
Plus d'informations
| EAN | 9782729819422 |
|---|---|
| Titre | Génie logiciel : Exercices corrigés en langage Z. Les spécifications formelles par l'exemple |
| Auteur | André Pascal ; Vailly Alain |
| Editeur | ELLIPSES |
| Largeur | 175 |
| Poids | 550 |
| Date de parution | 20040304 |
| Nombre de pages | 243,00 € |
| Disponibilité | Sur commande en 6-10 jours |
Pourquoi choisir Molière ?
Efficacité et rapidité Commandé avant 16h livré demain
Économique et pratique Livraison dès 3,90 €
Facile et sans frais Retrait gratuit en magasin
Du même auteur
-
Conception des systèmes d'information. Panorama des méthodes et des techniques
La collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, MaîtriseEpuiséVOIR PRODUIT31,01 € -
Génie logiciel : spécification des logiciels. Deux exemples de pratiques récentes : Z et UML
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.Sur commande en 6-10 joursCOMMANDER31,01 € -
Exercices corrigés de conception logicielle. Modélisation des systèmes d'information par la pratique
La collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, MaîtriseSur commande en 6-10 joursCOMMANDER31,01 € -
Exercices corrigés d'UML. Passeport pour une maîtrise de la notation
Maîtriser UML - ce standard de la technologie orientée objets - c'est en posséder les concepts et savoir les appliquer à bon escient. Or, si la littérature sur UML est abondante, ce qui manque le plus actuellement ce sont des exercices corrigés et des études de cas. Cet ouvrage développe la pratique en mettant l'accent sur la résolution d'exercices variés. Il est structuré en quatre chapitres: le premier passe en revue tous les diagrammes, de façon isolée et en groupe; le deuxième est une mise en pratique au travers de sept études de cas; le troisième explore le côté formel d'UML par l'expérimentation du langage OCL; et le dernier traite de la vérification de spécifications UML. L'ouvrage présente les solutions, mais aussi les démarches suivies, les alternatives et des conseils de modélisation. Par la variété des exercices et des cas concrets, il couvre aussi largement que possible le domaine d'application. Cela en fait un guide pratique d'utilisation d'UML Sur la collection La collection "Technosup" dirigée par Claude Chèze est une sélection d'ouvrages dans toutes les disciplines, pour les filières technologiques des enseignements supérieurs.Niveau A: Approche (éléments, résumés ou travaux dirigés): Initiation, mise à niveauNiveau B: Bases (cours avec exercices et problèmes résolus): IUP - IUT - BTSNiveau C: Compléments (approfondissement, spécialisation): Écoles d'ingénieurs, MaîtriseEpuiséVOIR PRODUIT35,00 €
Du même éditeur
-
Le manuel de cours du Tage Mage
« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : Connaître toutes les méthodes, astuces, conseils et questions types du TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 220 fiches de cours : explications du cours + exemples + exercices (toutes les formules / astuces / conseils). - 110 vidéos pédagogiques (accessibles via le livre / smartphone / ordinateur). - 2 tests blancs avec corrigés détaillés étape par étape. - 500 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel d'ENTRAINEMENT du TAGE MAGE : 10 tests blancs. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,50 € -
L'Anglais à Sciences Po. 5e édition
Réussir l'épreuve d'anglais aux Concours Sesame, Accès, Team, Ipag, Prism ou encore Pass demande rigueur, méthode et entraînement. Dans cette optique, cet ouvrage prépare de façon graduelle et pragmatique à toutes les épreuves d'anglais des différents concours - à la fois pour l'écrit mais aussi pour l'oral. Son objectif premier est de faire acquérir au lecteur une méthode solide pour lui permettre de travailler efficacement et réussir les concours d'entrée.EpuiséVOIR PRODUIT23,00 € -
Le manuel d'entraînement du Tage Mage
« Le meilleur livre de préparation au TAGE MAGE du march? (prépa Admissions Parallèles) Objectif : S'entraîner intensément au TAGE MAGE ! Profil : Tout candidat au TAGE MAGE qui vise un bon ou un très bon score. Idéal pour les candidats qui ont déjà un autre livre de préparation. Les + sur le fond : - 10 tests blancs avec corrigés détaillés étape par étape. - 900 questions d'entrainement. - Un espace utilisateur sur le site www.le-manuel-du-tage-mage.com Les + sur la forme : - Ouvrage en couleur. - 15 plannings de révisions personnalisés selon votre objectif de score, votre temps de préparation disponible et le nombre de fois que vous passez le TAGE MAGE. - Fiches et questions classées par difficulté (1 à 5) et par fréquence d'apparition (1 à 5). - Mise en page travaillée. Autres livres de la collection : - Le GRAND Manuel du TAGE MAGE : 220 fiches + 15 tests blancs + 110 vidéos. - Le PETIT Manuel du TAGE MAGE : 120 fiches + 2 tests blancs + 60 vidéos. - Le Manuel de COURS du TAGE MAGE : 220 fiches + 2 tests blancs + 110 vidéos. Biographie des auteurs : Arnaud SEVIGNE (HEC Paris) et Joachim PINTO (HEC Paris), score record de 507/600, enseignent le TAGE MAGE depuis 5 ans à AURLOM (2012-2015) et à Admissions Parallèles (2015-Auj.). Ils sont déjà auteurs d'ouvrages de référence sur le TAGE MAGE et sont reconnus comme les plus grands experts de ce test.EpuiséVOIR PRODUIT29,00 € -
Le corps
La collection Cultures antiques est une invitation à parcourir le domaine fondamental de l'Antiquité gréco-romaine et des oeuvres que nous ont léguées les Anciens, à la faveur d'une question choisie : c'est autour du thème de culture antique donné à l'étude en hypokhâgne et khâgne qu'elle rassemble une série d'articles réunissant professeurs des universités et des classes préparatoires de différentes spécialités. Elle propose ainsi aux étudiants, qu'ils soient néophytes, initiés ou bien déjà familiarisés avec la culture antique, des analyses récentes et claires appliquées à un large corpus de textes pour une meilleure compréhension et un plus grand plaisir de la connaissance.Impression à la demandeCOMMANDER49,00 €
De la même catégorie
-
Algorithmique et programmation en Java. Cours et exercices corrigés, 5e édition
Cet ouvrage est destiné aux étudiants en informatique (IUT, L2, L3 et Ml) et à ceux qui sont en écoles d'ingénieurs. La connaissance de l'algorithmique et de la programmation est l'une des bases du métier et des compétences d'un informaticien. L'objectif de ce livre est de vous faire comprendre et assimiler des méthodes et des outils qui vous permettront de concevoir des programmes valides et fiables. Les 16 premiers chapitres enseignent la programmation impérative en s'appuyant sur une méthodologie objet et le langage java. Les 11 derniers expliquent en détail les structures de données abstraites classiques (listes, graphes, arbres...) et les algorithmes fondamentaux (recherche, tri...). Les notions de cours dont illustrées par 211 exercices dont la plupart sont corrigés.Sur commande en 2-4 joursCOMMANDER41,65 € -
Travaux pratiques InDesign CC. Créez des documents esthétiques, mettez en page textes et images
Cet ouvrage est un manuel d'apprentissage pratique pour découvrir et maîtriser InDesign, de sa prise en main à la mise en page de documents complexes : découvrez l'interface, les menus et les outils indispensables à travers des supports prints et web ; apprenez les astuces vous permettant d'être efficace sur le logiciel ; créez des documents mêlant textes et images tels qu'un CV, un livre de cuisine ou encore un flyer avec coupon réponse ; appliquez tout ce que vous avez appris en réalisant vous-même des mises en page élaborées et créatives ; maîtrisez le format deux colonnes, l'habillage de texte, les gabarits, les sommaires ou encore la mise en page liquide. En bonus sur www.dunod.com, réservés aux lecteurs de l'ouvrage : les fichiers du livre pour refaire, pas à pas, tous les exercices.EpuiséVOIR PRODUIT22,25 € -
Programmation en Python pour les sciences de la vie
Python est le langage de programmation le plus répandu dans le monde scientifique. Il est parfaitement adapté pour l’analyse de données en sciences de la vie. Cet ouvrage, didactique et simple d'approche, aborde progressivement la programmation et l'algorithmique. Il présente ensuite des fonctionnalités plus avancées utiles en analyse de données (numpy, pandas, matplotlib, notebooks jupyter), ainsi qu’une introduction à la programmation orientée objet et graphique. L’ouvrage s’appuie sur de nombreux exemples provenant de la biologie, comme la manipulation de séquences nucléiques, l’analyse de structures protéiques, etc. De nombreux exercices d’application, de difficulté croissante, sont proposés et corrigés en détails. L’ensemble des codes sources de l’ouvrage est disponible en ligne.EpuiséVOIR PRODUIT32,45 € -
Tout JavaScript. Maîtrisez les bases de la programmation JavaScript, démarrez les frameworks Node.js
Ce livre s’adresse à tous les développeurs web, qu’ils soient débutants ou avancés.Le JavaScript sert avant tout à rendre les pages web interactives et dynamiques du côté de l’utilisateur, mais il est également de plus en plus souvent utilisé côté serveur. La première partie de ce livre explique les bases et les bonnes pratiques de la programmation en JavaScript en se fondant sur la version ECMAScript 6. La deuxième partie porte sur l’interactivité avec les utilisateurs (interfaces, formulaires, gestion des erreurs, géolocalisation…). La troisième partie permet de s’initier aux aspects les plus avancés de JavaScript tels que Node.js, React ou les Web Workers. Les renvois de type tjs.ovh/nomScript qui sont présents au fil des pages sont des compléments interactifsà ce livre. Ils affichent : Le rendu de l’exécution du script. Un émulateur de la console du navigateur. Le code source complet de l’exemple avec une coloration syntaxique, des commentaires et des liens vers les fiches de la référence JS du site toutjavascript.com.EpuiséVOIR PRODUIT32,45 €
