کتابخانه

Title: Internetware: A New Software Paradigm for Internet Computing | Author(s): Hong Mei, Jian Lü (auth.) | Publisher: Springer | Year: 2016 | Edition: 1 | Language: English Pages: 459 | ISBN: 978-981-10-2545-7, 978-981-10-2546-4 | Size: 23 MB | Extension: pdf

This book presents a comprehensive introduction to Internetware, covering aspects ranging from the fundamental principles and engineering methodologies to operational platforms, quality measurements and assurance and future directions. It also includes guidelines and numerous representative real-world case studies that serve as an invaluable reference resource for software engineers involved in the development of Internetware applications. Providing a detailed analysis of current trends in modern software engineering in the Internet, it offers an essential blueprint and an important contribution to the research on software engineering and systems for future Internet computing.

Table of contents :
Front Matter....Pages i-xxviii
Front Matter....Pages 1-2
Internetware: A Shift of Software Paradigm....Pages 3-17
Technical Framework for Internetware: An Architecture Centric Approach....Pages 19-30
Front Matter....Pages 31-31
On Environment-Driven Software Model for Internetware....Pages 33-69
On Self-adaptation Model for Internetware....Pages 71-91
On Requirements Model Driven Adaption and Evolution of Internetware....Pages 93-112
Front Matter....Pages 113-114
Runtime Recovery and Manipulation of Software Architecture of Component-Based Systems....Pages 115-138
Supporting Runtime Software Architecture: A Bidirectional-Transformation-Based Approach....Pages 139-161
Low-Disruptive Dynamic Updating of Internetware Applications....Pages 163-183
Specification and Monitoring of Data-Centric Temporal Properties for Service-Based Internetware Systems....Pages 185-209
Runtime Detection of the Concurrency Property in Asynchronous Pervasive Computing Environments....Pages 211-230
Front Matter....Pages 231-232
A Software Architecture Centric Engineering Approach for Internetware....Pages 233-256
Toward Capability Specification of Internetware Entity Based on Environment Ontology....Pages 257-278
Feature-Driven Requirement Dependency Analysis and High-Level Software Design....Pages 279-300
rCOS: A Refinement Calculus of Internetware Systems....Pages 301-333
Front Matter....Pages 335-335
Refactoring Android Java Code for On-Demand Computation Offloading....Pages 337-358
Towards Architecture-Based Management of Platforms in Cloud....Pages 359-371
Golden Age: On Multi-source Software Update Propagation in Pervasive Networking Environments....Pages 373-388
GreenDroid: Automated Diagnosis of Energy Inefficiency for Smartphone Applications....Pages 389-438
Front Matter....Pages 439-439
Conclusion and Future Outlook....Pages 441-442