Recherche

Application des techniques formelles au logiciel

Rédacteurs

Dossiers

ActuaLitté

Dossier

La Foire du Livre de Londres 2023, au croisement des secteurs culturels

Rendez-vous annuel du secteur du livre, la Foire de Londres renoue définitivement, en 2023, avec les réunions, rencontres et autres conférences « en présentiel ». L'événement entend aussi renforcer la place des autres industries culturelles, pour favoriser les échanges et les transactions.

ActuaLitté

Dossier

L'affaire Matzneff, du prestige littéraire au banc des accusés

La publication du livre Le Consentement, par l'éditrice Vanessa Springora, aura ouvert les yeux de la société sur les agissements revendiqués par l'écrivain Gabriel Matzneff dans ses livres : des relations avec des mineurs – de la pédocriminalité, en somme –, qui ont relancé la question du consentement sexuel. Vanessa Springora elle-même en a été la victime, à travers une emprise qu'elle raconte dans son livre et qu'elle a voulu dénoncer pour s'en libérer une fois pour toutes.

ActuaLitté

Dossier

Les livres de Roland Topor : humour noir jusqu'au bout du cigare

Roland Topor (1938-1997) restera cet artiste français aux multiples talents : dessinateur, peintre, écrivain, dramaturge, acteur et cinéaste. Une singularité créative qui l'a distingué comme l'une des figures emblématiques de l'art et de la littérature du XXe siècle en France.

ActuaLitté

Dossier

Quand les mots dansent au son des mélodies

Que serait notre monde sans la musique qui fait vibrer nos âmes et la littérature qui nourrit notre imagination ? Tels deux instruments de l'orchestre de l'expression artistique, résonnent chacun avec leur timbre propre. Dans cette liste d'ouvrages soigneusement sélectionnés, nous plongerons dans une symphonie littéraire où les mots dansent au son des mélodies.

ActuaLitté

Dossier

Les Chroniques du Confiné : au temps du coronavirus, le critique se fait booktuber

Chaque jour apporte son lot de mauvaises nouvelles — ou de nouvelles qu’on préférerait meilleures. Il fallait bien que la rédaction tente d’offrir un moment de pause humoristique. Et même si les librairies sont fermées, et qu’il devient plus difficile de se procurer des nouveautés, pas question de renoncer à la découverte de livres, d’auteurs, de coups de coeur.

ActuaLitté

Dossier

Des lectures pour les enfants, des plus jeunes au plus grands

L’association Lire et Faire Lire propose depuis plusieurs années d’apporter la lecture aux plus jeunes, où qu’ils se trouvent. Des bénévoles, spécialement formés, interviennent ainsi dans les différentes structures d’accueil pour lire des histoires. Pour les accompagner, l’association propose une liste d’ouvrages, sélectionnés par son comité de lecture national.

Extraits

ActuaLitté

Informatique

Application des techniques formelles au logiciel

Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Eléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Evaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.

07/1997

ActuaLitté

Economie

Finance des marchés. Techniques quantitatives et applications pratiques

Méthode de Monte-Carlo, modèle de Black-Scholes, modèle log-normal, options vanille, mouvement brownien..., cet ouvrage couvre l'ensemble des fondamentaux de la finance des marchés. Il présente de manière claire et concise concepts théoriques, les outils et le vocabulaire essentiels à la compréhension : de la valeur temps des flux financiers ; des obligations, principe d'arbitrage et rentabilité-risque ; des produits dérivés ; de la modélisation financière. Fort de la double expérience des auteurs, tant en milieu professionnel qu'en recherche appliquée, ce livre combine en un juste équilibre rappels théoriques et exercices pratiques corrigés. Didactique, il progresse en difficulté depuis les notions élémentaires sur les taux d'intérêt jusqu'aux concepts avancés de la théorie des options, en évitant l'excès de formalisation. Son caractère opérationnel et actuel en fait l'ouvrage indispensable aux praticiens de la finance comme aux étudiants.

04/2008

ActuaLitté

Ostéopathie

L'ostéopathie. Fondements, techniques et applications

La démarche de l'ostéopathie est primordiale, à une époque où la médecine a tendance à traiter le corps organe par organe. Les ostéopathes font appel à des notions de palpations, de manipulations manuelles en prise directe avec l'être souffrant. Ils se réfèrent à l'examen médical traditionnel, basé sur une écoute attentive du patient, mais affiné par une appréhension des tissus et des organes très caractéristique. Technique qui, en France, a de nombreuses difficultés à se faire reconnaître officiellement. Pourtant, l'ostéopathie peut se targuer de réussites incontestables, là où d'autres disciplines médicales échouent bien souvent. Outre l'avantage de poser les bases historiques et théoriques, cet ouvrage a le mérite de montrer les rapports entre l'ostéopathie et les différentes disciplines médicales ou paramédicales, et d'expliquer simplement des mécanismes complexes. Il propose de multiples exemples concrets permettant au lecteur de comprendre la démarche ostéopathique dans son rapport au terrain et dans son adaptation à l'histoire du patient.

07/2022

ActuaLitté

Enseignement professionel

Applications commerciales et comptables sur logiciel EBP PGI Open Line. Pack formateur

Le PACK "formateur" comprend : - le livre élève - un CDRom contenant : les fichiers de base de données et leur restauration après chaque application validée, le corrigé des cas du livre élève sous forme numérique. Ce livre élève présente une collection d'applications permettant de se familiariser avec le progiciel de gestion intégré Open Line EBP et d'utiliser en autonomie, sous la direction de l'enseignant, les principales fonctionnalités commerciales et comptables des modules. Chaque cas est construit autour d'une ou plusieurs fiches de procédure incitant l'utilisateur à faire preuve de réflexion et d'initiative devant des situations multiples et variées. L'auteur, Robert Wipf, formateur en informatique, a apprécié cette version du PGI EBP et vous en fait découvrir en douceur toutes les facettes.

10/2019

ActuaLitté

Géopolitique

Russie, le logiciel impérial

L'offensive de la Fédération de Russie contre l'Ukraine, lancée le 24 février 2022, a surpris, par son ampleur, tous les observateurs du monde russe et post-soviétique. Les analyses de ce conflit sont multiples et contradictoires. Plusieurs grilles de lecture reviennent néanmoins : démocratie (ukrainienne) contre autoritarisme (russe), nation (ukrainienne) contre Empire (russo-soviétique), Europe-Occident (Ukraine) contre Eurasie (Russie), émancipation (ukrainienne) contre oppression coloniale (russo-soviétique), société civile (ukrainienne) contre Etat oppressif (russe)... Or, une question est toujours évacuée ou oubliée, c'est celle de l'Etat. Pour la Russie comme pour tous les pays de son ancien " empire " , la construction de l'Etat et la hantise de son effondrement sont centrales. Cet ouvrage vise à resituer ce conflit dans la longue continuité de l'Etat russe moderne (Empire russe, URSS, Fédération de Russie). Il faut revenir sur la dynamique impériale qui a présidé à sa création et à l'expansion géographique progressive de l'Etat russe depuis le XVe siècle pour analyser et comprendre le présent. Titulaire d'un doctorat et d'une HDR (Habilitation à Diriger les Recherches) en science politique à l'IEP de Paris, Jean-Robert Raviot est professeur de civilisation russe et soviétique à l'Université Paris-Ouest Nanterre La Défense depuis 2000. Au cours des années 1990, il a effectué plusieurs séjours de longue durée en URSS puis en Russie : à l'Institut de l'économie mondiale et des relations internationales de Moscou (IMEMO), à l'Institut de sociologie de la section sibérienne de l'Académie des sciences de Russie à Akademgorodok (région de Novosibirsk) ainsi que des missions plus ponctuelles dans les républiques du Tatarstan (Volga) et du Bachkortostan, ainsi que dans d'autres régions de Russie. Il a dirigé les Collèges universitaires français de Saint-Pétersbourg (1997-1998) puis de Moscou (1998-1999). Il est auteur de plusieurs ouvrages, dont "Démocratie à la russe" (Ellipses) et "Russie, vers une nouvelle guerre froide ? " (Documentation Française)

02/2024

ActuaLitté

Sports

10 techniques pour vous defendre (et leur applications)

L'auteur, Marcel Lancino, ceinture noire de judo et de karaté, nous présente une sélection de dix techniques de défense, techniques simples, sobres mais efficaces. Un ouvrage qui s'adresse à tout public dans le cas de "combat réel" imprévisible où l'agressé ne peut improviser et n'a que peu de temps pour agir. Voici dix techniques pour apprendre à vous défendre face à certaines situations. Pour être plus efficaces, ces techniques doivent devenir un automatisme.

02/1984

Tous les articles

ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté