Advances in Intelligent Systems and Computing

Theory and Application of Reuse, Integration, and Data Science

Editors: Bouabana-Tebibel, Thouraya, Bouzar-Benlabiod, Lydia, Rubin, Stuart H. (Eds.)

Free Preview
  • 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
see more benefits

Buy this book

eBook 118,99 €
price for Spain (gross)
  • ISBN 978-3-319-98056-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 155,99 €
price for Spain (gross)
  • ISBN 978-3-319-98055-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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.

Table of contents (7 chapters)

Table of contents (7 chapters)
  • Improved Logical Passing Strategy and Gameplay Algorithm for Humanoid Soccer Robots Using Colored Petri Nets

    Pham, Kieutran Theresa (et al.)

    Pages 1-22

  • Analyzing Cleaning Robots Using Probabilistic Model Checking

    Araújo, Rafael (et al.)

    Pages 23-51

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

    Meziani, Lila (et al.)

    Pages 52-68

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

    Eshragh, Faezeh (et al.)

    Pages 69-95

  • SAIL: A Scalable Wind Turbine Fault Diagnosis Platform

    Bahojb Imani, Maryam (et al.)

    Pages 96-118

Buy this book

eBook 118,99 €
price for Spain (gross)
  • ISBN 978-3-319-98056-0
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 155,99 €
price for Spain (gross)
  • ISBN 978-3-319-98055-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Theory and Application of Reuse, Integration, and Data Science
Editors
  • Thouraya Bouabana-Tebibel
  • Lydia Bouzar-Benlabiod
  • Stuart H. Rubin
Series Title
Advances in Intelligent Systems and Computing
Series Volume
838
Copyright
2019
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-319-98056-0
DOI
10.1007/978-3-319-98056-0
Softcover ISBN
978-3-319-98055-3
Series ISSN
2194-5357
Edition Number
1
Number of Pages
XI, 189
Number of Illustrations
76 b/w illustrations
Topics