Certifiable Software Applications 1
Certifiable Software Applications 1

Author: Jean-Louis Boulanger

Publisher: Elsevier

Published: 2016-07-15

Total Pages: 310

ISBN-13: 0081011652

DOWNLOAD EBOOK

Certifiable Software Applications 1: Main Processes is dedicated to the establishment of quality assurance and safety assurance. It establishes the context for achieving a certifiable software application. In it, the author covers recent developments such as the module, component and product line approach. Applicable standards are presented and security principles are described and discussed. Finally, the requirements for mastering quality and configuration are explained. In this book the reader will find the fundamental practices from the field and an introduction to the concept of software application. - Presents the fundamental practices from the field - Emphasizes the development of quality assurance and safety assurance - Introduces the concept of software application - Covers recent developments such as module, component, and the product line approach

Labostat – Guide de validation des méthodes d'analyse
Labostat – Guide de validation des méthodes d'analyse

Author: FEINBERG

Publisher: Lavoisier

Published: 2012-02-01

Total Pages: 386

ISBN-13: 2743064269

DOWNLOAD EBOOK

Unique en son genre dans sa conception et dans son contenu, Labo-Stat - Guide de validation des méthodes d'analyses présente une nouvelle stratégie de validation selon une démarche raisonnée fondée sur le profil d'exactitude. Les techniques statistiques adaptées y sont explicitées sous une forme didactique et les solutions possibles ainsi que les limites éventuelles de diverses normes existantes sont largement développées et illustrées d'exemples concrets directement exploitables. Les applications numériques, sous forme de feuilles de calcul modèles pour des tableurs et des petits scripts, sont téléchargeables en ligne. Complétée par les explications de cet ouvrage, elles permettent au non-statisticien d'accéder aisément à une interprétration graphique des résultats. Labo-Stat a été conçu pour pouvoir être facilement utilisé sur la paillasse du laboratoire et permettre à tout un chacun, responsable, ingénieur, chercheur, technicien ou étudiant, de s'approprier les techniques indispensables pour déboucher sur une conclusion claire et sans ambiguïté et mener la validation des méthodes dans un souci de contrôle des coûts.

Applications of the Contingent Valuation Method in Developing Countries
Applications of the Contingent Valuation Method in Developing Countries

Author: Anna Alberini

Publisher: Food & Agriculture Org.

Published: 2000

Total Pages: 76

ISBN-13: 9789251045275

DOWNLOAD EBOOK

Agriculture, in addition to producing food, hides and fibre, also provides many other goods and services not priced in the market. These include environmental outputs such as rural amenities and disamenities, but also social and cultural functions. The economic value of these non-market goods and services of agriculture can be assessed by estimating how much purchasing power people would be willing to give up to acquire those outputs if they were forced to make a choice. The contingent valuation method (CVM) is one of the most widely used methodologies developed for the measurement of the value of non-market goods.

Knowledge Management et Web 2.0 : Outils, méthodes et applications
Knowledge Management et Web 2.0 : Outils, méthodes et applications

Author: CARLIER Alphonse

Publisher: Lavoisier

Published: 2013-10-09

Total Pages: 259

ISBN-13: 2746295490

DOWNLOAD EBOOK

Les sociétés accumulent un volume considérable de connaissances techniques, environnementales, sociales, économiques et fiscales. Elles doivent rester pertinentes dans l’organisation et l’exploitation de cette masse d’information, et également apprendre à collaborer avec les outils de Knowledge Management. Cet ouvrage présente une démarche originale de mise en œuvre d'un système de management des connaissances qui comprend : - l’intégration d'infrastructures et l’utilisation des ressources externes ou internes, - les architectures fonctionnelles et techniques, - les technologies du Web 2.0, - les modes de gestion des connaissances et des métadonnées, - le modèle de traitement adapté, - la circulation des flux de connaissance. Cette évolution des usages nécessite la mise en place de nouveaux modes de management dans l'entreprise afin de préparer, conduire, expliquer les actions et définir les axes stratégiques. Le but étant ici de mettre en place un système efficace de gestion des connaissances évoluant vers des offres de services applicables à toute forme d’organisation : le Knowledge Management.

Outils de mise en œuvre industrielle des techniques formelles
Outils de mise en œuvre industrielle des techniques formelles

Author: BOULANGER Jean-Louis

Publisher: Lavoisier

Published: 2012-04-16

Total Pages: 402

ISBN-13: 274628801X

DOWNLOAD EBOOK

Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.