
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 € |
| Disponibilité | Sur commande en 4-6 jours |
Pourquoi choisir Molière ?
Du même auteur
-

Deux petits pas sur le sable mouillé
Julliand Anne-DauphineL'histoire commence sur une plage, quand Anne-Dauphine remarque que sapetite fille marche d'un pas un peu hésitant, son pied pointant versl'extérieur. Après une série d'examens, les médecins découvrent que Thaïsest atteinte d'une maladie génétique orpheline. Elle vient de fêter ses deuxans et il ne lui reste que quelques mois à vivre. Alors l'auteur fait unepromesse à sa fille: "tu vas avoir une belle vie. Pas une vie comme lesautres petites filles, mais une vie dont tu pourras être fière. Et où tu nemanqueras 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 demobiliser et de donner. Il faut ajouter de la vie aux jours, lorsqu'on nepeut pas ajouter de jours à la vie.Sur commande en 2-4 joursCOMMANDER17,50 € -

Quand la fragilité change tout
Julliand Anne-Dauphine ; Faber Emmanuel ; Pozzo diAu fil de différents témoignages, le vrai visage de la fragilité se fait jour. C'est celui d'une expérience qui bouleverse le quotidien, qui fait s'envoler les certitudes et les habitudes sans pour autant détruire les forces de vie de ceux qui l'endurent. Bien au contraire. La fragilité est une rencontre qui transforme, métamorphose et fait se déployer des ressources insoupçonnées. Elle peut être le moteur d'une prise de conscience individuelle et collective qui recentre sur les vraies valeurs de la vie, et sur la relation à l'autre différente. Comme les précédents ouvrages La Fragilité, faiblesse ou richesse? et Tous fragiles, tous humains, ce livre est issu d'un colloque organisé par l'Arche de Jean Vanier qui a eu lieu à Nantes en février 2013.EpuiséVOIR PRODUIT15,70 € -

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.En stockCOMMANDER7,90 € -

Une journée particulière
Julliand Anne-DauphineRevue de presse Extraits d interview : Pourquoi, deux ans après votre premier livre, «Deux petits pas sur le sable mouillé», avez-vous éprouvé le besoin d'écrire à nouveau sur votre douloureuse expérience de mère qui perd sa petite fille malade ? Anne-Dauphine Julliand. Une journée particulière constitue la suite de mon témoignage. Dans mon premier livre, je racontais une course contre l'inéluctable et j'avais surtout en tête l'envie de donner quelques pistes aux gens qui vivaient un drame similaire au mien. Cette fois, j'ai articulé mon récit sur « la vie après », autour de cette journée particulière du 29 février 2012. Cette « photo instantanée » de notre vie de famille entre mon mari, mes deux garçons, ma seconde fille et le souvenir de Thaïs, m'a permis de transmettre ce que je voulais encore dire. Pourquoi le 29 février est-il si particulier ? Ma petite fille, Thaïs, est née un 29 février, si bien que son anniversaire ne devait revenir que tous les quatre ans. Or, elle n'a vécu que trois ans trois quarts... C'était si dur, lorsque le 29 février suivant est arrivé, quatre ans plus tard, que je me suis offert une journée différente, une vraie parenthèse dans le quotidien, en sa mémoire. Dans votre nouvel ouvrage, vous expliquez assez longuement que vous êtes croyante alors que vous l'évoquiez à peine jusque-là. Pourquoi ? Cette fois, les mots me sont venus naturellement. Je pense qu'avec le recul, j'ai davantage réfléchi au rôle de ma foi dans ces événements. Et j'avais sans doute aussi envie de me confier un peu plus. Croire en Dieu n'empêche absolument pas de souffrir. Je suis comme les autres. Si j'avais pu éviter ces épreuves, je l'aurais fait avec allégresse. Mais ce qui me permet de vivre quand même, c'est la certitude de ce qu'il y a au bout du chemin. J'ai en moi une aspiration à relever la tête qui s'appelle l'espérance et qui change tout. Retrouvez l'intégralité de l'interview d'Anne-Dauphine Julliand dans Pèlerin n°6811, du jeudi 13 juin 2013. --Le Pélerin --Ce texte fait référence à l'édition Broché .Sur commande en 2-4 joursCOMMANDER8,20 €
Du même éditeur
-

La physique quantique et ses applications. Licence 3 & Master, sciences de la matière, écoles d'ingé
Basdevant Jean-LouisCet ouvrage fait suite au cours d'Introduction à la physique quantique, rédigé par le même auteur. Il s'adresse aux étudiants en troisième année de Licence et en Master de physique ainsi qu'aux élèves des écoles d'ingénieurs. Il a pour but de décrire les applications importantes de la physique quantique en se focalisant principalement sur la physique atomique, la physique nucléaire et la physique des semiconducteurs. Pour tester la bonne assimilation du cours, chaque chapitre se termine par des exercices et des problèmes corrigés. Ces derniers, plus avancés et plus complets, sont de véritables cas concrets d'application portant sur des sujets d'actualité.Sur commande en 4-6 joursCOMMANDER37,90 € -

Mathématiques pour l'économie et la gestion. Analyse et algèbre, cours et exercices corrigés
Belhaj SkanderLe but de ce cours est d'introduire de façon simple et élémentaire les techniques et les résultats mathématiques de bases en algèbre et en analyse que l'étudiant en première année de SE (Sciences Economiques), SG (Sciences de Gestion) et IAG (Informatique Appliquée à la Gestion) doit maîtriser et qu'il pourra réutiliser dans d'autres cours d'enseignement. Il ne s'agit pas de démontrer les théorèmes ou les résultats énoncés mais d'expliquer leurs utilisations et leurs règles de calcul. A la fin de chaque chapitre, les nombreux exercices corrigés qui complètent et illustrent le cours - 73 au total -, permettent aux étudiants de tester leurs connaissances.Sur commande en 4-6 joursCOMMANDER21,90 € -

Relativité générale. Des fondements géométriques aux applications astrophysiques
Langlois DavidLa relativité générale, théorie relativiste de la gravitation, est un des piliers de la physique théorique moderne. Elle est aujourd'hui indispensable en astrophysique et en cosmologie. Destiné aux étudiants en master de physique fondamentale et d'astrophysique ainsi qu'aux élèves des écoles d'ingénieurs, ce manuel comprend un cours complet et de nombreux exercices d'application corrigés. Il introduit progressivement les outils conceptuels essentiels à la théorie de la relativité générale avant d'en présenter les aspects fondamentaux puis ses principales applications astrophysiques (étoiles relativistes, trous noirs, ondes gravitationnelles et cosmologie).Sur commande en 4-6 joursCOMMANDER27,90 €
De la même catégorie
-

Algorithmique et programmation en Java. Cours et exercices corrigés, 5e édition
Granet VincentCet 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
Krakus OlivierCet 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
Poulain Pierre ; Fuchs PatrickEpuiséVOIR PRODUIT32,45 € -

Tout JavaScript. Maîtrisez les bases de la programmation JavaScript, démarrez les frameworks Node.js
Hondermarck OlivierCe 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 €

