Visit our Christmas Gift Finder
Formalisms for Reuse and Systems Integration - Advances in Intelligent Systems and Computing 346 (Paperback)
  • Formalisms for Reuse and Systems Integration - Advances in Intelligent Systems and Computing 346 (Paperback)
zoom

Formalisms for Reuse and Systems Integration - Advances in Intelligent Systems and Computing 346 (Paperback)

(editor), (editor)
£129.99
Paperback 295 Pages / Published: 09/04/2015
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

Reuse and integration are defined as synergistic concepts, where reuse addresses how to minimize redundancy in the creation of components; while, integration focuses on component composition. Integration supports reuse and vice versa. These related concepts support the design of software and systems for maximizing performance while minimizing cost. Knowledge, like data, is subject to reuse; and, each can be interpreted as the other. This means that inherent complexity, a measure of the potential utility of a system, is directly proportional to the extent to which it maximizes reuse and integration. Formal methods can provide an appropriate context for the rigorous handling of these synergistic concepts. Furthermore, formal languages allow for non ambiguous model specification; and, formal verification techniques provide support for insuring the validity of reuse and integration mechanisms.

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

Publisher: Springer International Publishing AG
ISBN: 9783319165769
Number of pages: 295
Weight: 4686 g
Dimensions: 235 x 155 x 17 mm
Edition: 2015 ed.

You may also be interested in...

Automata and Computability
Added to basket
Machine Learning
Added to basket
£37.99
Paperback
Artificial Intelligence for Games
Added to basket
Deep Learning
Added to basket
£39.99
Paperback
Artificial Intelligence: The Basics
Added to basket
Introducing Artificial Intelligence
Added to basket
Essentials of Game Theory
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
Programming Game AI By Example
Added to basket
Machine Learning
Added to basket
Superintelligence
Added to basket
£18.99
Hardback
Programming Computer Vision with Python
Added to basket
Dark Pools
Added to basket
£9.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.