Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Advances in Intelligent Systems and Computing

Theoretical Information Reuse and Integration

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

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

Buy this book

eBook 106,99 €
price for Spain (gross)
  • ISBN 978-3-319-31311-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-3-319-31309-2
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • 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

Information Reuse and Integration addresses the efficient extension and creation of knowledge through the exploitation of Kolmogorov complexity in the extraction and application of domain symmetry. Knowledge, which seems to be novel, can more often than not be recast as the image of a sequence of transformations, which yield symmetric knowledge. When the size of those transformations and/or the length of that sequence of transforms exceeds the size of the image, then that image is said to be novel or random. It may also be that the new knowledge is random in that no such sequence of transforms, which produces it exists, or is at least known.

The nine chapters comprising this volume incorporate symmetry, reuse, and integration as overt operational procedures or as operations built into the formal representations of data and operators employed. Either way, the aforementioned theoretical underpinnings of information reuse and integration are supported.

Table of contents (9 chapters)

Table of contents (9 chapters)
  • Reuse and Integration of Specification Logics: The Hybridisation Perspective

    Pages 1-30

    Barbosa, Luis S. (et al.)

  • Test Reactive Systems with Büchi-Automaton-Based Temporal Requirements

    Pages 31-57

    Zeng, Bolong (et al.)

  • Capturing and Verifying Dynamic Systems Behavior Using UML and $$\pi $$-Calculus

    Pages 59-84

    Belghiat, Aissam (et al.)

  • A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet

    Pages 85-111

    Hamadou, Sardaouna (et al.)

  • Case Indexing by Component, Context, and Encapsulation for Knowledge Reuse

    Pages 113-134

    Chebba, Asmaa (et al.)

Buy this book

eBook 106,99 €
price for Spain (gross)
  • ISBN 978-3-319-31311-5
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 135,19 €
price for Spain (gross)
  • ISBN 978-3-319-31309-2
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • 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
Theoretical Information Reuse and Integration
Editors
  • Thouraya Bouabana-Tebibel
  • Stuart H. Rubin
Series Title
Advances in Intelligent Systems and Computing
Series Volume
446
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-31311-5
DOI
10.1007/978-3-319-31311-5
Softcover ISBN
978-3-319-31309-2
Series ISSN
2194-5357
Edition Number
1
Number of Pages
XII, 217
Number of Illustrations
40 b/w illustrations, 21 illustrations in colour
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 and instructor copies are not included.