Integration of Reusable Systems (eBook)
X, 342 Seiten
Springer International Publishing (Verlag)
978-3-319-04717-1 (ISBN)
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.
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.
| Erscheint lt. Verlag | 17.2.2014 |
|---|---|
| Reihe/Serie | Advances in Intelligent Systems and Computing | Advances in Intelligent Systems and Computing |
| Zusatzinfo | X, 342 p. 121 illus. |
| Verlagsort | Cham |
| Sprache | englisch |
| Themenwelt | Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik |
| Technik | |
| Schlagworte | Fomal Methods Integration • IEEE FMi 2013 • intelligent computing • Reusable systems • Software System Reliability |
| ISBN-10 | 3-319-04717-5 / 3319047175 |
| ISBN-13 | 978-3-319-04717-1 / 9783319047171 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
