Overview
- 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
- Includes supplementary material: sn.pub/extras
Part of the book series: Advances in Intelligent Systems and Computing (AISC, volume 263)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
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.
Similar content being viewed by others
Keywords
Table of contents (15 chapters)
Editors and Affiliations
Bibliographic Information
Book Title: Integration of Reusable Systems
Editors: Thouraya Bouabana-Tebibel, Stuart H. Rubin
Series Title: Advances in Intelligent Systems and Computing
DOI: https://doi.org/10.1007/978-3-319-04717-1
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-04716-4Published: 05 March 2014
eBook ISBN: 978-3-319-04717-1Published: 17 February 2014
Series ISSN: 2194-5357
Series E-ISSN: 2194-5365
Edition Number: 1
Number of Pages: X, 342
Number of Illustrations: 121 b/w illustrations