Skip to main content
SpringerLink
Log in

Integration of Reusable Systems

  • Book
  • © 2014

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. Stuart H. Rubin

    1. SPAWAR Systems Center Pacific, San Diego, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • 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)

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 (15 chapters)

  1. Front Matter

    Pages i-x
    Download chapter PDF

  2. Cloud-Based Tasking, Collection, Processing, Exploitation, and Dissemination in a Case-Based Reasoning System

    • Stuart H. Rubin, Gordon K. Lee
    Pages 1-26

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

    • Wonkyu Han, Mike Mabey, Gail-Joon Ahn, Tae Sung Kim
    Pages 27-44

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

    • Renato Neves, Alexandre Madeira, Manuel Martins, Luís Barbosa
    Pages 45-75

  5. A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata

    • Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui
    Pages 77-104

  6. Formal MDE-Based Tool Development

    • Robson Silva, Alexandre Mota, Rodrigo Rizzi Starr
    Pages 105-125

  7. Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks

    • Fatemeh Kazemeyni, Olaf Owe, Einar Broch Johnsen, Ilangko Balasingham
    Pages 127-150

  8. On the Use of Anaphora Resolution for Workflow Extraction

    • Pol Schumacher, Mirjam Minor, Erik Schulte-Zurhausen
    Pages 151-170

  9. A Minimum Description Length Technique for Semi-Supervised Time Series Classification

    • Nurjahan Begum, Bing Hu, Thanawin Rakthanmanon, Eamonn Keogh
    Pages 171-192

  10. Interpreting Random Forest Classification Models Using a Feature Contribution Method

    • Anna Palczewska, Jan Palczewski, Richard Marchese Robinson, Daniel Neagu
    Pages 193-218

  11. Towards a High Level Language for Reuse and Integration

    • Thouraya Bouabana-Tebibel, Stuart H. Rubin, Kadaouia Habib, Asmaa Chebba, Sofia Mellah, Lynda Allata
    Pages 219-239

  12. An Exploratory Case Study on Exploiting Aspect Orientation in Mobile Game Porting

    • Tanmay Bhowmik, Vander Alves, Nan Niu
    Pages 241-261

  13. Developing Frameworks from Extended Feature Models

    • Matheus Viana, Rosângela Penteado, Antônio do Prado, Rafael Durelli
    Pages 263-284

  14. About Handling Non-conflicting Additional Information

    • Éric Grégoire
    Pages 285-297

  15. A Multi-Layer Moving Target Defense Approach for Protecting Resource-Constrained Distributed Devices

    • Valentina Casola, Alessandra De Benedictis, Massimiliano Albanese
    Pages 299-324

  16. Protocol Integration for Trust-Based Communication

    • Fatma Laidoui, Thouraya Bouabana-Tebibel
    Pages 325-340

  17. Back Matter

    Pages 341-342
    Download chapter PDF
Back to top

Keywords

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.

Editors and Affiliations

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

    Thouraya Bouabana-Tebibel

  • SPAWAR Systems Center Pacific, San Diego, USA

    Stuart H. Rubin

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

  • Topics: Computational Intelligence, Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation