Skip to main content
SpringerLink
Log in

Theory and Application of Reuse, Integration, and Data Science

  • Conference proceedings
  • © 2019

Overview

Editors:
  1. Thouraya Bouabana-Tebibel

    1. Laboratoire de Communication dans les Systèmes Informatiques, Ecole nationale Supérieure d’Informatique, Algiers, Algeria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Lydia Bouzar-Benlabiod

    1. Laboratoire de Communication dans les Systèmes Informatiques, Ecole nationale Supérieure d’Informatique, Algiers, Algeria

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Stuart H. Rubin

    1. Space and Naval Warfare Systems Center Pacific, San Diego, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Presents the latest research on Formal Methods Integration
  • Includes the best papers from the 5th IEEE International Workshop on Formal Methods Integration - IEEE FMi 2017, held in San Diego, CA, USA, August 4-6, 2017
  • Written by respected experts in the field

Part of the book series: Advances in Intelligent Systems and Computing (AISC, volume 838)

Included in the following conference series:

Conference proceedings info: IEEE IRI 2017 2017.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 papers)

  1. Front Matter

    Pages i-xi
    Download chapter PDF

  2. Improved Logical Passing Strategy and Gameplay Algorithm for Humanoid Soccer Robots Using Colored Petri Nets

    • Kieutran Theresa Pham, Chelsea Cantone, Seung-yun Kim
    Pages 1-22

  3. Analyzing Cleaning Robots Using Probabilistic Model Checking

    • Rafael Araújo, Alexandre Mota, Sidney Nogueira
    Pages 23-51

  4. From Petri Nets to UML: A New Approach for Model Analysis

    • Lila Meziani, Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod, Stuart H. Rubin
    Pages 52-68

  5. Using Belief Propagation-Based Proposal Preparation for Automated Negotiation over Environmental Issues

    • Faezeh Eshragh, Mozhdeh Shahbazi, Behrouz Far
    Pages 69-95

  6. SAIL: A Scalable Wind Turbine Fault Diagnosis Platform

    • Maryam Bahojb Imani, Mehrdad Heydarzadeh, Swarup Chandra, Latifur Khan, Mehrdad Nourani
    Pages 96-118

  7. Efficient Authentication of Approximate Record Matching for Outsourced Databases

    • Boxiang Dong, Hui Wendy Wang
    Pages 119-168

  8. Active Dependency Mapping

    • Alexia Schulz, Michael Kotson, Chad Meiners, Timothy Meunier, David O’Gwynn, Pierre Trepagnier et al.
    Pages 169-188

  9. Back Matter

    Pages 189-189
    Download chapter PDF
Back to top

Other volumes

  1. Theory and Application of Reuse, Integration, and Data Science

Keywords

About this book

This book presents recent research in the field of reuse and integration, and will help researchers and practitioners alike to understand how they can implement reuse in different stages of software development and in various domains, from robotics and security authentication to environmental issues. Indeed, reuse is not only confined to reusing code; it can be included in every software development step. The challenge today is more about adapting solutions from one language to another, or from one domain to another. The relative validation of the reused artifacts in their new environment is also necessary, at time even critical.

The book includes high-quality research papers on these and many other aspects, written by experts in information reuse and integration, who cover the latest advances in the field. Their contributions are extended versions of the best papers presented at the IEEE International Conference on Information Reuse and Integration (IRI) and IEEE International Workshop on Formal Methods Integration (FMI), which were held in San Diego in August 2017.

Editors and Affiliations

  • Laboratoire de Communication dans les Systèmes Informatiques, Ecole nationale Supérieure d’Informatique, Algiers, Algeria

    Thouraya Bouabana-Tebibel, Lydia Bouzar-Benlabiod

  • Space and Naval Warfare Systems Center Pacific, San Diego, USA

    Stuart H. Rubin

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation