Génie logiciel : Exercices corrigés en langage Z. Les spécifications formelles par l'exemple
29,00 €
Sur commande
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 € |
Pourquoi choisir Molière ?
Efficacité et rapidité Commandé avant 16h livré demain
Économique et pratique Livraison à domicile dès 5,10 €
Facile et sans frais Retrait gratuit en magasin
Sécurité et tranquillité Paiement 100 % sécurisé
Disponibilité et écoute Contactez-nous sur WhatsApp
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îtriseÉPUISÉ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 commandeCOMMANDER31,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 commandeCOMMANDER31,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îtriseÉPUISÉVOIR PRODUIT35,00 €
Du même éditeur
-
40 thèmes illustrés par le numérique pour l'agrégation interne de mathématiques. Développements, exe
Ce livre présente une quarantaine de thèmes, couvrant une large partie du programme des oraux de l'agrégation interne de mathématiques. Les thèmes sont répartis en trois catégories : des illustrations pour accompagner des résultats courants ; des exercices corrigés que l'on peut adapter en exemples de cours ; des développements approfondis, présentables en deuxième partie d'entretien. Pour chacun d'entre eux, une application, au moins, est proposée avec Python, Geogebra ou LibreOffice. L'ouvrage constitue donc un point d'appui pour répondre aux attentes du jury concernant "l'usage pertinent des outils numériques". Au-delà de ce concours, il peut intéresser les candidats à l'agrégation externe ainsi que tous les enseignants et étudiants désireux d'améliorer leurs connaissances informatiques et de rendre les mathématiques avancées plus visuelles.Sur commandeCOMMANDER24,00 € -
Micro et macroéconomie. 50 fiches pour réviser et comprendre les mécanismes économiques
Cet ouvrage qui couvre l'ensemble de la microéconomie et de la macroéconomie aborde chaque thème à partir d'une fiche de révision synthétique et de cas pratiques. Il s'adresse principalement aux élèves de premier cycle d'économie, de classes préparatoires, des IEP ou des écoles de commerce et des magistères. Mais il s'adresse également aux élèves de BL. Qu'apporte spécifiquement cet ouvrage ? Tout d'abord, j'ai tenu à réduire la modélisation mathématique en mettant davantage l'accent sur la compréhension des modèles comme ISLM et 060G. J'aborde aussi les bases de l'actualisation, méthode utilisée par les banques d'affaires et les fonds de gestion pour valoriser les actifs financiers. Enfin, j'aborde des cas pratiques comme la faillite du fond LTOM.Sur commandeCOMMANDER26,00 € -
Dermatologie. Entraînement
La Martingale t'accompagne tout au long de tes études de médecine avec les référentiels numériques, mis à jour régulièrement !Sur commandeCOMMANDER24,00 € -
Spécialité Sciences économiques et sociales Tle
rie Une collection indispensable pour préparer le contrôle continu et les épreuves du Bac avec efficacité et sérénité. Vous y trouverez : Des entraînements pour le contrôle continu (CC) ; Des sujets types du Bac pour préparer les épreuves finales (EF) ; Des pistes de réflexion et des rappels ; Des corrigés rédigés pour avoir la note maximum ; Des conseils du professeur pour améliorer sa copie.Sur commandeCOMMANDER15,00 €
De la même catégorie
-
Python 3. Apprendre à programmer dans l'écosystème Python, 2e édition
Destiné à tous ceux qui veulent s'initier à la programmation, qu'ils soient étudiants, enseignant ou autodidactes, cet ouvrage vous fournira les bases de l'apprentissage de la programmation avec Python 3, langage à la fois simple, puissant et polyvalent. Accompagnée de nombreux exemples, la démarche pédagogique est renforcée par l'usage de la distribution Pyzo et des notebooks Jupyter, outils pédagogiques interactifs qui permettent au lecteur de tester aisément son code et de mettre en oeuvre les connaissances qu'il acquiert. De plus l'usage de la couleur permet de bien faire comprendre les différents éléments qui constituent le code. Outre les 25 exercices corrigés présents dans la version imprimée, cet ouvrage offre une centaine d'autres exercices corrigés accessibles sur le web. Le livre s'appuie sur la version Python 3. 8. Retrouvez sur https : //www. dunod. com/EAN/9782100809141 et sur https : //github. com/lpointal/appbclp : - Les programmes des exercices et des exemples. - Une documentation sur l'installation et l'usage des notebooks Jupyter. - Les exercices corrigés supplémentaires.EN STOCKCOMMANDER24,00 € -
Initiation à l'algorithmique et à la programmation en C. 3e édition
Cet ouvrage s'adresse aux étudiants (licences et IUT), ainsi qu'à tous ceux qui souhaitent acquérir des bases solides en programmation. L'ouvrage est structuré en quatre parties : Les bases du langage C : syntaxe, types de données, entréessorties (stdio. h), exécution conditionnelle, structuration d'un programme C, structures, itération. Les structures séquentielles : tableaux, fichiers texte, adresses, pointeurs et passage par adresse, allocation dynamique, chaînes de caractères, fichiers binaires, tableaux à double entrée. Les algorithmes : langage algorithmique et complexité, algorithmes de tri quadratiques, tri rapide (quicksort). Les structures de données : listes chaînées, piles, files, récursivité, arbres binaires, graphes, parcours de graphes, liste d'adjacence. Conçus comme des supports d'apprentissage, les 129 exercices corrigés peuvent être abordés en complément de l'enseignement reçu ou de manière autodidacte.Sur commande, 2 à 4 joursCOMMANDER32,40 € -
Machine Learning avec Scikit-Learn. Mise en oeuvre et cas concrets, 2e édition
L'apprentissage automatique (Machine Learning) est aujourd'hui en pleine explosion. Mais de quoi s'agit-il exactement, et comment pouvez-vous le mettre en oeuvre dans vos propres projets ? L'objectif de cet ouvrage est de vous expliquer les concepts fondamentaux du Machine Learning et de vous apprendre à maîtriser les outils qui vous permettront de créer vous-même des systèmes capables d'apprentissage automatique. Vous apprendrez ainsi à utiliser Scikit-Learn, un outil open source très simple et néanmoins très puissant que vous pourrez mettre en oeuvre dans vos systèmes en production. Apprendre les bases du Machine Learning en suivant pas à pas toutes les étapes d'un projet utilisant Scikit-Learn et pandas. Ouvrir les boites noires pour comprendre comment fonctionnent les algorithmes. Explorer plusieurs modèles d'entraînement, notamment les machines à vecteur de support (SVM). Comprendre le modèle des arbres de décision et celui des forêts aléatoires, et exploiter la puissance des méthodes ensemblistes. Exploiter des techniques d'apprentissage non supervisées telles que la réduction de dimensionnalite. la classification et la détection d'anomalies.ÉPUISÉVOIR PRODUIT38,00 € -
Photoshop CC pour les photographes. Manuel de fomation pour les professionnels de l'image
Résumé : Dans cette nouvelle édition de son best-seller, bible du photographe numérique, Martin Evening nous présente la version CC de Photoshop, en mettant l'accent sur les articulations entre Photoshop et Bridge, Camera Raw ou Lightroom. Les nouvelles fonctionnalités du logiciel, maintenant hébergé dans le Creative Cloud d'Adobe, sont traitées en détail (espace de travail, suréchantillonnage ,"intelligent", correction du flou de bougé, etc.), sans oublier les problématiques classiques de traitement et de correction des images, d'accentuation, de retouche, de montage, de travail du noir et blanc. Méthodes, mises en garde, conseils techniques et artistiques, cet ouvrage est le guide indispensable de tous les photographes, professionnels ou amateurs exigeants.ÉPUISÉVOIR PRODUIT39,90 €
