Springer Book Archives: eBooks only 8.99 each! Save now >>

Advances in Intelligent Systems and Computing

Integration of Reusable Systems

Editors: Bouabana-Tebibel, Thouraya, Rubin, Stuart Harvey (Eds.)

Free Preview
  • Latest research on Formal Methods Integration
  • Best papers of the IEEE International Workshop on Formal Methods Integration - IEEE FMi 2013, held at San Francisco, USA, August 14-16 2013
  • Written by experts in the field
see more benefits

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-319-04717-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.99
price for USA in USD
  • ISBN 978-3-319-04716-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
About this book

Software reuse and integration has been described as the process of creating software systems from existing software rather than building software systems from scratch. Whereas reuse solely deals with the artifacts creation, integration focuses on how reusable artifacts interact with the already existing parts of the specified transformation. Currently, most reuse research focuses on creating and integrating adaptable components at development or at compile time. However, with the emergence of ubiquitous computing, reuse technologies that can support adaptation and reconfiguration of architectures and components at runtime are in demand.

This edited book includes 15 high quality research papers written by experts in information reuse and integration to cover the most recent advances in the field. These papers are extended versions of the best papers which were presented at IEEE International Conference on Information Reuse and Integration and IEEE International Workshop on Formal Methods Integration, which was held in San Francisco in August 2013.

Table of contents (15 chapters)

Table of contents (15 chapters)
  • Cloud-Based Tasking, Collection, Processing, Exploitation, and Dissemination in a Case-Based Reasoning System

    Pages 1-26

    Rubin, Stuart H. (et al.)

  • Simulation-Based Validation for Smart Grid Environments: Framework and Experimental Results

    Pages 27-44

    Han, Wonkyu (et al.)

  • An Institution for Alloy and Its Translation to Second-Order Logic

    Pages 45-75

    Neves, Renato (et al.)

  • A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata

    Pages 77-104

    Harrath, Nesrine (et al.)

  • Formal MDE-Based Tool Development

    Pages 105-125

    Silva, Robson (et al.)

Buy this book

eBook $109.00
price for USA in USD (gross)
  • ISBN 978-3-319-04717-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.99
price for USA in USD
  • ISBN 978-3-319-04716-4
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
Rent the eBook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Integration of Reusable Systems
Editors
  • Thouraya Bouabana-Tebibel
  • Stuart Harvey Rubin
Series Title
Advances in Intelligent Systems and Computing
Series Volume
263
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-04717-1
DOI
10.1007/978-3-319-04717-1
Softcover ISBN
978-3-319-04716-4
Series ISSN
2194-5357
Edition Number
1
Number of Pages
X, 342
Number of Illustrations
121 b/w illustrations
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.