001 -Identificacion Principal del registro
|
Identificacion Principal del registro
INGC-EBK-000421
|
|
003 -Control Number Identifier
|
Control Number Identifier
AR-LpUFI
|
|
005 -LAST MODIFICATION DATE
|
LAST MODIFICATION DATE
20160831162415
|
|
007 -CONTROL FIELD
|
CONTROL FIELD
cr nn 008mamaa
|
|
008 -CONTROL FIELD
|
CONTROL FIELD
140217s2014 gw | s |||| 0|eng d
|
|
020 -INTERNATIONAL STANDARD BOOK NUMBER
|
a
International Standard Book Number
9783319047171
|
|
024 -OTHER STANDARD IDENTIFIER
|
a
Standard number or code
10.1007/978-3-319-04717-1
|
|
245 -TITLE STATEMENT
|
a
Title
Integration of Reusable Systems
|
h
Medium
[libro electrónico] /
|
c
Statement of responsibility, etc
edited by Thouraya Bouabana-Tebibel, Stuart H. Rubin.
|
|
260 -PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
|
a
Place of publication, distribution, etc
Cham :
|
b
Name of publisher, distributor, etc
Springer International Publishing :
|
b
Name of publisher, distributor, etc
Imprint: Springer,
|
c
Date of publication, distribution, etc
2014.
|
|
300 -PHYSICAL DESCRIPTION
|
a
Extent
x, 342 p. :
|
b
Other physical details
il.
|
|
490 -SERIES STATEMENT
|
a
Series statement
Advances in Intelligent Systems and Computing,
|
x
International Standard Serial Number
2194-5357 ;
|
v
Volume number/sequential designation
263
|
|
505 -FORMATTED CONTENTS NOTE
|
a
Formatted contents note
Cloud-Based Tasking, Collection, Processing, Exploitation, and Dissemination in a Case-Based Reasoning System -- Simulation-Based Validation for Smart Grid Environments: Framework and Experimental Results -- An Institution for Alloy and its Translation to Second-Order Logic -- A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata Waiting State Automata Waiting State Automata -- Formal MDE-Based Tool Development -- Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks Mobile Wireless Sensor Networks Mobile Wireless Sensor Networks On the Use of Anaphora Resolution for Workflow Extraction -- A Minimum Description Length Technique for Semi Supervised Time Series Classification Time Series Classification Time Series Classification -- Interpreting Random Forest Classification Models Using a Feature Contribution Method.
|
|
520 -SUMMARY, ETC.
|
a
Summary, etc
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.
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Engineering.
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Computational intelligence.
|
|
650 -SUBJECT ADDED ENTRY--TOPICAL TERM
|
a
Topical term or geographic name as entry element
Artificial Intelligence (incl. Robotics).
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
a
Personal name
Bouabana-Tebibel, Thouraya,
|
e
Relator term
ed.
|
|
700 -ADDED ENTRY--PERSONAL NAME
|
a
Personal name
Rubin, Stuart H,
|
e
Relator term
ed.
|
|
856 -ELECTRONIC LOCATION AND ACCESS
|
u
Uniform Resource Identifier (R)
http://dx.doi.org/10.1007/978-3-319-04717-1
|
|
942 -Biblioitem information
|
|
929 -Medio de adquisicion
|
|