The Leading eBooks Store Online

for Kindle Fire, Apple, Android, Nook, Kobo, PC, Mac, BlackBerry...

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Jean-Louis Boulanger

Most popular at the top

  • Safety of Software-based Systemsby Jean-Louis Boulanger

    Wiley 2015; US$ 155.00

    This book presents an analysis of safety standards and their implementation in certification strategies from different domains such as aeronautics, automation, automotive, nuclear, railway and space. more...

  • Industrial Use of Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 154.95

    At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the... more...

  • Formal Methodsby Jean-Louis Boulanger

    Wiley 2013; US$ 154.95

    Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in industrial... more...

  • Safety Management of Software-based Equipmentby Jean-Louis Boulanger

    Wiley 2013; US$ 97.95

    A review of the principles of the safety of software-based equipment, this book begins by presenting the definition principles of safety objectives. It then moves on to show how it is possible to define a safety architecture (including redundancy, diversification, error-detection techniques) on the basis of safety objectives and how to identify objectives... more...

  • Formal Methods Applied to Industrial Complex Systemsby Jean-Louis Boulanger

    Wiley 2014; US$ 185.00

    A presentation of real examples of industrial uses for formal methods such as SCADE, the B-Method, ControlBuild, Matelo, etc. in various fields, such as railways, aeronautics, and the automotive industry, the purpose of this book is to present a summary of experience on the use of these “formal methods” (such as proof and model-checking)... more...

  • Formal Methods Applied to Industrial Complex Systemsby Jean-Louis Boulanger

    Wiley 2014; US$ 195.00

    This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques... more...

  • Safety of Computer Architecturesby Jean-Louis Boulanger

    Wiley 2013; US$ 134.00

    "The text is clearly written, well-illustrated, and includes a helpful glossary." (Booknews, 1 February 2011) more...

  • Static Analysis of Softwareby Jean-Louis Boulanger

    Wiley 2013; US$ 179.00

    Introduction xi Jean-Louis Boulanger Chapter 1. Formal Techniques for Verification and Validation 1 Jean-Louis BOULANGER 1.1. Introduction 1 1.2. Realization of a software application 1 1.3. Characteristics of a software application 3 1.4. Realization cycle 4 1.5. Techniques, methods and practices 13 1.6. New issues with verification... more...

  • Ingénierie des exigencesby Stéphane Badreau; Jean-Louis Boulanger

    Dunod 2014; Not Available

    Ce livre s?adresse à toutes les personnes concernées par l?ingénierie des exigences qu?elles soient managers, responsables d?équipes, chefs de projet, analystes, architectes, développeurs ou testeurs. L?ingénierie des exigences est une discipline qui consiste à développer un référentiel d?exigences, mais aussi à le maintenir à jour en présence... more...

  • SCADEby Jean-Louis Boulanger; Fran?ois-Xavier Fornari; Jean-Louis Camus; Bernard Dion

    Wiley 2015; US$ 100.00

    The SCADE tool has been used from many years for the development of safety critical software in the nuclear, aeronautics and railways sectors. The language supported by this tool is also called SCADE and is based on the formal language LUSTRE. In this book, the authors present the SCADE language (syntax and semantics) along with some examples of use.... more...

  • 1
  • Page