
Cours et exercices d'algorithmique. Vérifier, tester et concevoir des programmes en les modélisant,
Dans le monde de l'industrie et des services, la validation et la vérification des logiciels sont aujourd'hui des enjeux sécuritaires et économiques majeurs. La sécurité des passagers des véhicules de transport dépend par exemple de la sûreté des logiciels qui en contrôlent les fonctions motrices, tout comme la survie économique des fabricants de produits diffusés à des centaines de milliers d'exemplaires serait remise en cause si le logiciel embarqué se révélait erroné et devait être remplacé. L'utilisation d'environnements de développement de logiciels intégrant des outils d'aide à la vérification et à la validait": (JAVA/JML, C#ISPEC#, C/ACSL, Atelier B, Scade, Esterel, etc.) va se généraliser et, dans cette perspective, les futurs utilisateurs devront maîtriser ces outils autant que les techniques sous-jacentes. A la base des techniques de vérification, la logique de Hoare est au c?ur de cet ouvrage. On trouvera ici comment utiliser cette méthode pour vérifier et concevoir des logiciels sûrs. L'auteur montre également comment modéliser des systèmes informatiques dans le paradigme Iogico-ensembliste, puis comment les vérifier et les tester en recourant aux outils de la méthode B. Divisé en deux parties, ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification par application des règles de la logique de Hoare. Les concepts de la méthode de vérification sont introduits en montrant les similitudes et les différences avec la méthode de test fonctionnel boîte noire. On y trouvera notamment des éléments de stratégie utilisant ces concepts pour vérifier et pour concevoir des logiciels. La seconde partie est consacrée à des questions pratiques liées à la mise en ?uvre de la méthode avec des outils - Atelier B et LEIRIOS Test Generator - assistant la vérification et la génération de tests. Elle inclut le langage d'entrée de ces outils : la modélisation des logiciels en B. L'ensemble est illustré de nombreux exercices corrigés.
| Nombre de pages | 264 |
|---|---|
| Date de parution | 15/02/2010 |
| Poids | 464g |
| Largeur | 170mm |
| EAN | 9782311000207 |
|---|---|
| Titre | Cours et exercices d'algorithmique. Vérifier, tester et concevoir des programmes en les modélisant, |
| Auteur | Julliand Jacques ; Berlioux Pierre |
| Editeur | DE BOECK SUP |
| Largeur | 170 |
| Poids | 464 |
| Date de parution | 20100215 |
| Nombre de pages | 264,00 € |
Pourquoi choisir Molière ?
Du même auteur
-

Ajouter de la vie aux jours
Julliand Anne-DauphineAjouter de la vie aux jours, quand on ne peut ajouter de jours à la vie. " Pour Anne-Dauphine Julliand, qui a dû affronter des épreuves inimaginables, cette phrase est devenue son étoile dans un ciel d'encre. Chaque jour de sa vie bouleversée, il lui faut réapprendre le bonheur autrement. Savourer la joie des petits riens, l'éclat des rires malgré la peine. Raconter ce qui nous relie, les gestes simples et les paroles qui consolent. Ecrire ce qui reste : la vie. " Une déclaration d'amour à la vie qui continue. " Augustin Trapenard - La Grande Librairie " Un livre délicat et d'une infinie humanité. " Olivia de Lamberterie - ELLE " Un livre d'une immense beauté. " Le Figaro " Un récit lumineux. " Le ParisienEN STOCKCOMMANDER7,90 € -

Deux petits pas sur le sable mouillé
Julliand Anne-DauphineÀ cet instant précis, j'entends résonner les mots en moi. Ils gagnent mon coeur, mon esprit, ils envahissent tout mon être: «Si tu savais...» Mercredi 1er mars. Un jour ordinaire, une fin d'hiver qui s'étire à Paris. La salle d'attente, où nous sommes depuis vingt minutes déjà, est coincée entre deux entrées du service de neurologie d'un hôpital pour enfants. De là, nous pouvons voir passer tout le monde. Chaque fois qu'une porte s'ouvre, ma respiration s'arrête. J'espère, autant que je le redoute, voir apparaître le visage de la neurologue; et savoir, enfin. Depuis son appel hier, le temps paraît interminable. «Nous savons de quoi souffre votre fille. Venez demain à quinze heures, pour que l'on vous explique. Venez avec votre mari, bien sûr.» Depuis, nous attendons.Loïc est là, tout près, pâle, tendu. Il se lève, marche, revient, s'assied, prend un journal, le repose. Attrape ma main et la serre de toutes ses forces. Mon autre main caresse mon ventre arrondi. Un geste qui se veut apaisant pour la petite vie qui grandit là depuis cinq mois. Un geste instinctif de protection.C'est là que je l'entends. «Si tu savais...» Cette phrase vient se graver au plus profond de moi. Je ne l'oublierai jamais. Et surtout, jamais je n'oublierai la manière dont je l'ai ressentie: elle portait la souffrance et le calme confiant de qui sait, de qui sait tout. Elle résumait à elle seule l'épreuve qui allait imprimer notre quotidien quelques minutes plus tard. A tout jamais.Le médecin arrive enfin. Elle nous salue, s'excuse de son retard et nous entraîne dans une petite pièce isolée au fond d'un couloir. Deux personnes nous suivent, dont une spécialiste des maladies du métabolisme que nous avons déjà rencontrée.Quand on nous présente la troisième personne, mon coeur se serre: c'est une psychologue. Et là, sans prévenir, les larmes me submergent. Avant même de savoir. Parce que d'un coup, j'ai compris. «Si tu savais...»Il n'y a pas de tonnerre, pourtant tout gronde. Les phrases me parviennent réduites à l'essentiel. «Votre petite fille... maladie génétique grave... leucodystrophie métachromatique... atteinte dégénérative... espérance de vie très limitée...»Non.Mon cerveau refuse de comprendre, mon esprit se rebelle. On ne parle pas de ma Thaïs; ce n'est pas vrai; je ne suis pas là; ce n'est pas possible. Je me serre contre Loïc, mon rempart.Alors que tout s'emmêle dans ma tête, mes lèvres formulent une phrase craintive: «Et pour notre futur bébé?- Il y a un risque sur quatre qu'il soit atteint lui aussi. Vingt-cinq pour cent de chances...»La foudre tombe. Devant nos pieds, un effrayant trou noir. L'avenir est réduit à néant. Pourtant, à cet instant terrible, notre instinct de survie prend le dessus durant quelques secondes, brèves mais décisives. Non, nous ne voulons pas de diagnostic prénatal. Nous voulons ce bébé. C'est la vie! Une minuscule petite lumière dans un horizon d'ébène.Sur commande, 2 à 4 joursCOMMANDER7,90 € -

Ajouter de la vie aux jours [EDITION EN GROS CARACTERES
Julliand Anne-DauphineÉPUISÉVOIR PRODUIT21,00 € -

Deux petits pas sur le sable mouillé. Edition illustrée
Julliand Anne-Dauphine ; Miollis Bertrand deLe chevalet est installé, les pinceaux sont préparés, la palette est garnie. Bertrand le talentueux s'exécute. Peindre Thaïs, c'est son idée. L'immortaliser telle qu'elle est aujourd'hui, belle, si belle. [... ]La peinture est délicate. Elle peut effacer les tuyaux disgracieux, gommer les machines imposantes, pour ne garder que l'essentiel : une jolie fille endormie sur un lit". En écrivant ces mots dans Deux petits pas sur le sable mouillé, Anne-Dauphine Julliand n'avait pas imaginé qu'un jour son ami Bertrand de Miollis illustrerait l'ensemble de son livre. Tout en délicatesse et suggestion, il réussit à donner des couleurs à cette formidable histoire d'amour et de vie. L'histoire commence sur une plage, quand Anne-Dauphine remarque que sa petite fille marche d'un pas un peu hésitant, son pied pointant vers l'extérieur. Après une série d'examens, les médecins découvrent que Thaïs est atteinte d'une maladie génétique orpheline. Elle vient de fêter ses deux ans et il ne lui reste plus que quelques mois à vivre. Alors l'auteure fait une promesse à sa fille : "Tu vas avoir une belle vie. Pas une vie comme les autres petites filles, mais une vie dont tu pourras être fière. Et où tu ne manqueras jamais d'amour". Ce livre raconte l'histoire de cette promesse et la beauté de cet amour. Tout ce qu'un couple, une famille, des amis, une nounou sont capables de mobiliser et de donner. Il faut ajouter de la vie aux jours, lorsqu'on ne peut plus ajouter de jours à la vie.ÉPUISÉVOIR PRODUIT8,90 €
Du même éditeur
-

Les secrets des couples durables. Le guide de l'experte pour réussir sa vie à deux
Tapernoux MarieJe m'appelle Marie Tapernoux. Je suis thérapeute de couple, sexologue et, comme vous, j'ai aimé, espéré, douté, tenu, lâché, recommencé. J'ai vu des couples s'abîmer à force de vouloir bien faire, et d'autres se reconstruire en acceptant enfin de regarder les choses en face. Avec ce livre, je ne vous promets pas que vous formerez le couple idéal. Je n'y crois pas. Je vous propose mieux : comprendre ce qui se joue vraiment dans votre relation, au-delà des reproches, des frustrations et des " on ne se comprend plus ". Vous y trouverez des situations vécues, des outils concrets et des exercices simples pour : traverser les grandes étapes de la vie de couple sans vous perdre complètement ; comprendre votre façon d'aimer, de communiquer... et de vous disputer ; renforcer la confiance, la complicité et le lien, même quand l'envie n'est plus aussi spontanée qu'au début ; de réparer après les crises, les tempêtes, les trahisons ou les grandes remises en question. Ce livre est un compagnon de route pour les couples qui veulent arrêter de subir leur relation et commencer à en prendre soin ensemble.EN STOCKCOMMANDER16,90 € -

Réussir le concours d'entrée en médecine. S'entrainer aux QCM de physique. Plus de 200 QCM
Ayadim MohamedEN STOCKCOMMANDER17,90 € -

Mon enfant est hyper. Anxiété, émotivité, troubles de l'attention et du sommeil... aidez votre enfan
Assenheim CathyRésumé : Les enfants HPI ou hypersensibles ont un fonctionnement cérébral plus rapide, plus intense. C'est un don dont il faut prendre soin pour qu'il s'épanouisse. Il répondra à toutes vos questions : pour comprendre ce qui se passe dans son cerveau et pourquoi il est spécial ; pour répondre de façon adaptée à toutes les situations concrètes du quotidien et en exprimer tout le potentiel. Des outils à utiliser quand ça ne va pas, des techniques pour réguler l'incroyable trésor que sont l'hypersensibilité et le haut potentiel, des méthodes pour adapter votre comportements et gérer les moments difficiles, des exercices de libération émotionnelle, etc. En un mot : votre enfant est HP ou hypersensible, et ce n'est pas un problème !EN STOCKCOMMANDER19,90 € -

Réussir l'examen d'entrée en médecine. S’entrainer avec des QCM de maths pour le jour J
Ayadim MohamedEN STOCKCOMMANDER17,90 €
De la même catégorie
-

Apprendre à coder en Python
Ichbiah DanielVous souhaitez vous initier à la programmation mais vous ne savez pas par où commencer ? Python est la clé : très simple à utiliser, ce langage s'applique à de nombreux contextes : traitement de données, intelligence artificielle, machine learnig... Idéal pour apprendre et facile d'accès, il permet de se former aux premiers concepts de tout langage de programmation. Il est en cela la meilleure introduction à l'univers du code. Découvrez des conseils pratiques et des exemples ludiques pour comprendre et maîtriser la syntaxe de base du langage, appréhender les structures essentielles d'un programme, le corriger, installer des bibliothèques, concevoir des applications, rendre un site Web interactif ou créer des jeux !EN STOCKCOMMANDER5,00 € -

Python. L'essentiel pour l'étudiant
Schweyer Rémi ; Tap MarineL'essentiel à savoir sur Python : ses fonctionnalités, instructions, codage et représentation des données.EN STOCKCOMMANDER4,90 € -

L'IA en pratique avec Python. Inclus : technologies LLM et RAG, 4e édition
Bersini Hugues ; Hasselmann KenCet ouvrage à vocation essentiellement pédagogique a pour but d'aider les débutants et praticiens confirmés de l'Intelligence Artificielle à mieux faire le tri dans un ensemble de mécanismes algorithmiques propres à cette discipline et souvent confondus, tels la "recherche" , "l'optimisation" et "l'apprentissage" . Le besoin d'un tel écrit s'est fait sentir lorsque l'auteur qui enseigne cette discipline informatique depuis plus de trente ans a constaté de manière accrue la grande confusion régnant dans l'esprit de ses étudiants lorsque ces derniers choisissent de programmer ce qui leur paraît comme l'algorithme et donc le logiciel le plus prometteur pour résoudre le jeu du taquin ou des problèmes de sudoku, un logiciel pour affronter des joueurs humains au jeu du puissance-4, des dames ou des échecs, un logiciel pour jouer aux vétérans Tetris ou au Snake, pour contrôler Super Mario dans le jeu vidéo du même nom, un logiciel capable de trouver le chemin le plus court dans un graphe ou de trouver le parcours le plus rapide traversant toutes les villes par un voyageur de commerce et, finalement, un logiciel capable de distinguer un chien d'un chat sur une photo qu'on lui présente. Et, de fait, les trois mécanismes les plus souvent confondus afin de s'attaquer à ces problèmes sont effectivement la "recherche" , "l'optimisation" et "l'apprentissage" . Cet ouvrage théorique mais aussi et surtout pratique enseigne les bases de l'IA en exploitant la force du langage de programmation Python. Tous ces exemples seront donc repris en donnant les clés pour maîtriser l'intelligence artificielle grâce à Python. Cette 4e édition est mise à jour avec une introduction aux technologies des LLMs et du RAG.EN STOCKCOMMANDER33,00 € -

Python 3. Apprendre à programmer dans l'écosystème Python, 2e édition
Cordeau Bob ; Pointal LaurentDestiné à 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 €
