
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 |
| SKU: | 9782311000207 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | Yes (In Stock) |
| Is Salable (direct MSI check): | Yes (In Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1772119784121_121] => Array
(
[id] => 12707000
[name] => 12707000
[availability] => 1
[activation_attribute] => 1
)
)
|
| 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
-

Les gauches françaises. 1762-2012 : Histoire, politique et imaginaire
Julliard JacquesCe livre est la première synthèse sur les gauches françaises, du XVIIIe siècle à nos jours, des philosophes des Lumières à François Hollande. Il montre ce que la gauche a retenu de chaque période historique: l'idée de progrès du XVIIIe siècle finissant, les droits de l'homme de la Révolution, le parlementarisme de la monarchie censitaire, le suffrage universel de 1848, la laïcité de la IIIe République, la civilisation du travail du Front populaire, la patience du pouvoir de François Mitterrand. Pour finir, il distingue quatre gauches: libérale, jacobine, collectiviste, libertaire. L'arrière-plan intellectuel de chaque période est éclairé par des "portraits croisés", à l'imitation de Plutarque - de Voltaire et Rousseau en passant par Robespierre et Danton, Lamartine et Hugo, Clemenceau et Jaurès, jusqu'à Sartre et Camus, et enfin Mendès France et Mitterrand... Une vision à la fois historique et anthropologique.ÉPUISÉVOIR PRODUIT24,99 € -

Rupture dans la civilisation. Le révélateur irakien
Julliard JacquesRésumé : Longtemps, la fascination qu'ont exercée sur la plupart d'entre nous les Etats-Unis venait de leur ambivalence : ils se présentaient à la fois comme les héritiers de l'Ancien Monde et les inventeurs du Nouveau. Nous autres vieux Européens les considérions avec le regard mouillé de tendresse de parents qui voient leurs enfants les surpasser en hardiesse, en invention, en réussite, tout en leur restant fidèles. Ce temps-là n'est plus. En renonçant à son ambivalence, l'Amérique a renoncé à son identité.ÉPUISÉVOIR PRODUIT5,60 € -

La faute aux élites
Julliard JacquesToute ma vie, je me suis fait une certaine idée de la gauche. C'est pour moi l'alliance du progrès scientifique et de la justice sociale, ou si l'on préfère, des élites intellectuelles et du peuple. Or un double divorce est en train de s'opérer sous nos yeux : entre le peuple et les élites d'une part ; entre le peuple et le progrès de l'autre. Nous voilà en proie à deux chancres rivaux qui se nourrissent l'un de l'autre : l'élitisme, c'est-à-dire la démocratie sans le peuple, et le populisme, c'est-à-dire le peuple sans la démocratie. Je constate qu'une alliance historique, née avec la Révolution française, est en train de se défaire. Je me demande si elle peut renaître, et à quel prix. Tel est l'objet de ce livre". Jacques Julliard.ÉPUISÉVOIR PRODUIT18,60 € -

La Reine du monde. Essai sur la démocratie d'opinion
Julliard JacquesBiographie de l'auteur Historien, directeur délégué de la rédaction du Nouvel Observateur où il publie une chronique hebdomadaire, Jacques Julliard est également directeur d'études à l'EHESS. Auteur de nombreux ouvrages de référence, il a signé plusieurs essais politiques marquants comme La Faute aux élites (Gallimard, 1997), Rupture dans la civilisation (Gallimard, 2003), Le Malheur français (Flammarion, 2005), ainsi qu'un essai littéraire : L'Argent, Dieu et le Diable (Flammarion, 2008). --Ce texte fait référence à l'édition Poche .ÉPUISÉVOIR PRODUIT12,00 €
Du même éditeur
-
La compréhension des documents multimédias : de la cognition à la conception
Jamet EricSi pendant longtemps les documents pédagogiques se sont limités à des supports imprimés, les développements des nouvelles technologies ont depuis quelques décennies considérablement élargi les possibilités offertes aux concepteurs. Si pendant longtemps les documents pédagogiques se sont limités à des supports imprimés, les développements des nouvelles technologies ont depuis quelques décennies considérablement élargi les possibilités offertes aux concepteurs. Il est ainsi devenu aisé d'élaborer des documents électroniques intégrant des illustrations fixes, animées ou interactives. Ces informations illustrées peuvent être accompagnées d'explications verbales écrites et orales. Mais que sait-on réellement de l'efficacité de ces nouveaux documents ? Est-il possible de les améliorer et ainsi de favoriser leur compréhension ? De nombreuses recherches permettant de fournir des éléments de réponses à ces questions ont été réalisées en psychologie cognitive et ergonomique. Ce type de recherches permet aujourd'hui de mieux comprendre les processus cognitifs liés aux apprentissages à partir de documents électroniques, mais aussi de proposer des améliorations relatives à la conception de ces documents. L'objectif de cet ouvrage est de présenter une synthèse approfondie de ces travaux (plus de 450 références bibliographiques). Il est destiné à des étudiants en psychologie, ergonomie, sciences de l'éducation ou informatique, mais aussi à des professionnels concepteurs de documents (enseignants, ingénieurs, webmasters). L'ouvrage est structuré sur la base des types de documents qu'il est possible de concevoir (documents écrits illustrés ou non, documents auditifs, documents multimodaux). Pour chaque chapitre, les deux aspects "cognition" et "conception" sont systématiquement développés en parallèle 1) en spécifiant les processus liés à la compréhension du type de matériel évoqué et 2) en soulignant les conséquences en terme de conception.ÉPUISÉVOIR PRODUIT31,90 € -
Fonctions exécutives et pathologies neurologiques et psychiatriques. Evaluation en pratique clinique
GODEFROY OLIVIERLe GRECO a défini une batterie sur la base d'une revue critique des travaux publiés et des usages des cliniciens explorés à travers un sondage. On retrouve dans cet ouvrage une synthèse des données de la littérature sur ces fonctions et leur pathologie. Les fonctions exécutives constituent les fonctions cognitives les plus élaborées et leur connaissance évolue encore actuellement du fait de recherches très actives. C'est probablement en raison des nombreuses incertitudes persistantes que leur approche est restée longtemps descriptive, et leur exploration clinique, longtemps disparate. Il apparaissait donc nécessaire de disposer d'une batterie parfaitement validée en langue française, reposant sur un matériel, instructions et cotations explicites et disposant d'une normalisation satisfaisante. C'est pour répondre à cet objectif que le GRECO, par la voix de son président, le Pr Bernard Laurent, a mis en place une sous-commission dévolue à l'évaluation des fonctions exécutives, le Groupe de Réflexion sur l'Evalutation des Fonctions Exécutives (GREFEX). Cette commission a défini une batterie sur la base d'une revue critique des travaux publiés et des usages des cliniciens de langue française explorés à travers un sondage. Cette batterie a pour particularité de reposer sur une proposition de critères diagnostiques du syndrome dysexécutif tant pour le volet cognitif que comportemental. Les cliniciens pourront donc trouver dans cet ouvrage d'une part une synthèse actuelle des données de la littérature sur ces fonctions et leur pathologie, et d'autre part un outil leur permettant d'assurer des évaluations et diagnostics les plus fiables possibles.ÉPUISÉVOIR PRODUIT49,95 € -
Autisme et psychomotricité
Perrin Julien ; Maffre Thierry ; Barthélémy CatherLes troubles du spectre autistique (TSA) affectent l'individu dès son plus jeune âge dans ses différentes dimensions, et notamment psychomotrice. Ils conduisent à une situation de handicap nécessitant la mise en oeuvre d'un dispositif d'interventions thérapeutiques adapté dont la rééducation psychomotrice peut constituer un élément. A la lumière des recherches les plus récentes, des recommandations de bonnes pratiques et tenant compte de la diversité des tableaux cliniques, les auteurs dessinent le cadre de l'intervention psychomotrice auprès des personnes avec TSA. Ils proposent d'abord un état des lieux des connaissances dans les domaines clés du développement et des particularités rencontrées dans l'autisme. Dans un second volet plus clinique, différents témoignages de pratiques (auprès d'enfants, d'adolescents ou d'adultes) permettront au lecteur de se représenter la façon dont le psychomotricien peut aborder et travailler à ces différentes dimensions dans le cadre de son intervention.ÉPUISÉVOIR PRODUIT36,00 € -
Manuel d'enseignement de psychomotricité. Tome1 : Concepts fondamentaux
Scialom Philippe ; Giromini Françoise ; Albaret JeAvant-propos de Philippe Scialom, Françoise Giromini et Jean-Michel AlbaretLes enjeux auxquels la psychomotricité est aujourd'hui confrontée, tant en France, où la demande de professionnels s'accroît, que dans le monde, rendent nécessaire un manuel actualisant les connaissances les plus récentes de la profession. Le développement accéléré des disciplines dans lesquelles la psychomotricité puise ses références multiples et variées rend particulièrement difficile un tel objectif. Les concepts ont évolué, les pratiques se sont enrichies avec la diversification des lieux et des modalités d'exercice et il s'avère parfois difficile d'appréhender ces changements.Cet ouvrage tente d'être représentatif des différents courants français sans oublier, au niveau international, les pays qui se sont dotés d'un tel enseignement, pays regroupés pour nombre d'entre eux au sein de l'Organisation Internationale de Psychomotricité et de Relaxation.En 2009, les Instituts de Formation en Psychomotricité de Bordeaux, Lille, Lyon, Marseille, Paris (Institut Supérieur de Rééducation Psychomotrice et Pitié-Salpêtrière) et Toulouse ont été informés et sollicités pour participer à cette écriture collective. L'Institut de Psychomotricité francophone de Beyrouth a également été intégré à cette entreprise.Un tel projet s'inscrit dans les rencontres qui se déroulent, depuis 2003, au sein du Collège des Équipes de Direction des Instituts de Formation en Psychomotricité (CE-DIFP). Les directeurs et leurs équipes d'enseignants ont, ensemble, travaillé régulièrement dans l'intérêt de la psychomotricité et cet échange de points de vue, enrichissant pour tous, n'est pas étranger au résultat. Ils ont soutenu et relayé cette idée d'écriture.Sur le plan méthodologique nous avons d'abord formé un triangle directeur afin de rendre compte de la pluralité et de la complémentarité des approches psychomotrices: c'est ainsi que les différents courants issus de la philosophie, de la psychologie développementale, des neurosciences et de la psychanalyse ont été représentés lors de nombreuses rencontres de travail. Nous avons ensuite établi le plan et le contenu des chapitres avant de les confier à un coordinateur et à plusieurs auteurs spécialisés. Chaque chapitre, une fois rédigé, a été validé à partir d'une grille d'appréciation par un comité de lecture conduit par Alexandrine Saint-Cast, composé d'un lecteur expert (psychomotricien-enseignant), d'un lecteur professionnel (psychomotricien) et d'un étudiant en psychomotricité. Les chapitres ont été répartis entre différents comités de lecture dont les membres sont affiliés à la plupart des Instituts de Formation français.Enfin, après corrections, nous avons réalisé l'harmonisation de l'ensemble.Le contenu de ce manuel s'attache aux concepts fondamentaux, base indispensable aux savoirs, savoir-faire et savoir-être en psychomotricité. Un autre ouvrage portant sur la sémiologie, les évaluations, la clinique et les pratiques psychomotrices de l'enfant, de l'adolescent, de l'adulte et du troisième âge est à l'étude.Fondé sur un sentiment de solidarité et d'échanges, l'esprit de ce manuel s'est ainsi prolongé dans une collégialité de bon augure pour l'avenir et nous a permis de faire exister, tout au long de ce travail, la pluralité de la psychomotricité.Que chacun des maillons de cette chaîne professionnelle et humaine en soit chaleureusement remercié.Un hommage particulier doit être rendu à l'Institut Panafricain de Psychomotricité et de Relaxation de Douala, au Cameroun, qui a fait germer l'idée et nous a convaincus de la nécessité d'un tel ouvrage comme outil de transmission des savoirs en psychomotricité.ÉPUISÉVOIR PRODUIT36,90 €
De la même catégorie
-
Revit pour le BIM. 6e édition
Renou Jonathan ; Chemise Stevens ; Quijada MikaëlMaîtriser Revit et le BIM Logiciel de modélisation 3D dédié au secteur du bâtiment, Revit regroupe les domaines d'activité de l'architecture, des fluides et de la structure. Fer de lance de l'éditeur Autodesk, il intègre les concepts du BIM (Building Information Modeling), qui permet de capitaliser toutes les données du cycle de vie d'une construction. Portant plus particulièrement sur la partie structure de Revit, cet ouvrage s'adresse à tous ceux qui souhaitent découvrir et maîtriser ce logiciel par la pratique. Tous les concepts fondamentaux y sont expliqués et illustrés par une multitude d'exemples visuels facilitant l'apprentissage du lecteur, qui pourra ainsi s'imprégner de la philosophie de Revit. Fourmillant de conseils et d'astuces issus de la grande expérience des auteurs, la sixième édition de ce livre a été mise à jour avec la dernière version 2020 de Revit, et les chapitres sur les armatures, le ferraillage et les aspects collaboratifs du logiciel ont été étoffés. A qui s'adresse ce livre ? Aux projeteurs, BIM Modeleurs, BIM Coordinateurs, BIM Managers, ingénieurs, architectes...ÉPUISÉVOIR PRODUIT48,00 € -
Développement système sous Linux. Ordonnancement multi-tâche, gestion mémoire, communications, progr
Blaess ChristopheRésumé : Tirer le meilleur parti de l'environnement Linux La possibilité de consulter les sources du système, de la bibliothèque glibc et de la plupart des applications qui tournent sur cet environnement représente une richesse inestimable aussi bien pour les passionnés qui souhaitent intervenir sur le noyau, que pour les développeurs curieux de comprendre comment fonctionnent les programmes qu'ils utilisent quotidiennement. Nombreuses sont les entreprises qui ont compris aujourd'hui tout le parti qu'elles pouvaient tirer de cette ouverture des sources, gage de fiabilité et de pérennité, sans parler de l'extraordinaire niveau de compétences disponible au sein d'une communauté de programmeurs aguerris au contact du code des meilleurs développeurs open source. Un ouvrage conçu pour les programmeurs Linux et Unix les plus exigeants Sans équivalent en langue française, l'ouvrage de Christophe Blaess constitue une référence complète du développement système sous Linux, y compris dans les aspects les plus avancés de la gestion des processus, des threads ou de la mémoire. Les programmeurs travaillant sous d'autres environnements Unix apprécieront tout particulièrement l'attachement de l'auteur au respect des standards (C Ansi, glibc, Posix...), garant d'une bonne portabilité des applications. Cette cinquième édition a été entièrement revue et mise à jour pour s'adapter aux standards actuels. Elle s'est en outre étoffée d'un nouveau chapitre sur l'accès aux entrées-sorties GPIO, particulièrement employées dans les systèmes industriels et embarqués. Compléments web Tous les exemples des programmes du livre sont en téléchargement sur notre site Internet www.editions-eyrolles.com/dl/0067760 A qui s'adresse cet ouvrage ? Aux développeurs concernés par les aspects système de la programmation sous Linux et Unix Aux administrateurs système en charge de la gestion d'un parc Linux et/ou Unix Aux étudiants en informatique (1er et 2e cycles universitaires, écoles d'ingénieurs, etc.)ÉPUISÉVOIR PRODUIT46,00 € -
HTML & JavaScript pour les nuls. 2e édition
Tittel Ed ; Vander Veer Emily A. ; Soulard BenoistApprenez à parler Web ! Grâce à ce livre, HTML, le langage de base du Web, et JavaScript celui qui permet d'animer vos pages sont enfin à la portée du commun des mortels ! Apprenez à mettre en oeuvre les balises, les frames, la gestion des cookies, les images réactives et les rollovers en quelques heures, et bientôt, HTML et JavaScript n'auront plus de secret pour vous ! Découvrez : Les bases pour créer des pages Web ; Les CSS ; Les tableaux ; Formulaires et scripts ; XHTML ; JavaScript et les cookies ; Les pages Web interactives ; Les images réactives et les rollovers.ÉPUISÉVOIR PRODUIT12,50 € -
13 défis de la cybersécurité
Avoine Gildas ; Killijian Marc-OlivierFuite de données personnelles, piratage massif, espionnage économique, infection de systèmes informatiques sensibles, propagation de " rançongiciels ", usurpation d'identité, craintes vis-à-vis des paiements par carte bancaire : les questions relatives à la cybersécurité hantent l'actualité. Il est cependant difficile d'appréhender sereinement, à travers ce flux d'information continu et massif, la portée des problèmes et de leurs solutions. Car la question est difficile, hautement technique, à la croisée des mathématiques, de l'informatique et de l'électronique, ce qui la rend mystérieuse pour qui n'est pas spécialiste. Or, l'omniprésence des outils informatiques dans la vie quotidienne comme professionnelle, tous secteurs d'activités confondus, fait aujourd'hui de la cybersécurité un enjeu majeur qui nous concerne tous. La recherche vise à résoudre les défis qui permettront demain de garantir un monde plus sûr. Cet ouvrage fait le point sur treize d'entre eux et permet de dépister les fantasmes qui entourent la cybersécurité, en apportant un éclairage scientifique à destination des ingénieurs, chercheurs, décideurs et plus généralement de toute personne désireuse d'en apprendre davantage.ÉPUISÉVOIR PRODUIT23,00 €








