Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Software Ecosystems
This book highlights recent research advances in various domains related to software ecosystems such as library reuse, collaborative development, cloud computing, open science, sentiment analysis and machine learning. A key aspect of software ecosystems is that software products belong to ever more interdependent networks of co-evolving software components. The ever-increasing importance of social coding platforms has made software ecosystems indispensable to software practitioners, in commercial as well as open-source settings. The book starts with an introductory chapter that provides a historical account of the origins of software ecosystems. It provides the necessary context about the do...
Software Ecosystems
This book highlights recent research advances in various domains related to software ecosystems such as library reuse, collaborative development, cloud computing, open science, sentiment analysis and machine learning. A key aspect of software ecosystems is that software products belong to ever more interdependent networks of co-evolving software components. The ever-increasing importance of social coding platforms has made software ecosystems indispensable to software practitioners, in commercial as well as open-source settings. The book starts with an introductory chapter that provides a historical account of the origins of software ecosystems. It provides the necessary context about the do...
Reuse and Software Quality
This book constitutes the proceedings of the 20th International Conference on Software and Systems Reuse, ICSR 2022, held in Montpellier, France in June 2022. The 7 full papers and 2 short papers included in this book were carefully reviewed and selected from 29 submissions. The papers were organized in topical sections named: Code Recommendations and Ruse; Learning and Reuse; Evolution and Reuse; Quality, Longevity and Reuse.
A Functional, Comprehensive and Extensible Multi-Platform Querying and Transformation Approach
This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving ...
Verification, Model Checking, and Abstract Interpretation
This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.
Ubiquitous Computing and Ambient Intelligence
This book constitutes the refereed proceedings of the 6th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2012, held in Vitoria-Gasteiz, Spain, in December 2012. The 70 research papers were carefully reviewed and selected from various submissions. The main focus of this book has been to explore how Ambient Intelligence can contribute towards smarter but still more sustainable environments. Beyond sustainable computing the proceedings also include research work describing progress on other key research topics for AmI such as human environment mobile-mediated (through NFC or AR) interaction, artificial intelligence techniques to foster user- and context-aware environment adaptation, future internet trends such as social networks analysis, linked data or crowd-sourcing applied to AmI, internet-connected object ecosystems collaborating to give place to smarter environments.
Grand Timely Topics in Software Engineering
This tutorial volume includes the revised and extended tutorials (briefings) held at the 5th International Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015, in Braga, Portugal, in August 2015. GTTSE 2015 applied a broader scope to include additional areas of software analysis, empirical research, modularity, and product lines. The tutorials/briefings cover probabilistic program analysis, ontologies in software engineering, empirical evaluation of programming and programming languages, model synchronization management of software product families, "people analytics" in software development, DSLs in robotics, structured program generation techniques, advanced aspects of software refactoring, and name binding in language implementation.
Ambient Assisted Living and Home Care
This book constitutes the refereed proceedings of the 4th International Workshop on Ambient Assisted Living, IWAAL 2012, held in Vitoria-Gasteiz, Spain, in December 2012. The 58 research papers were carefully reviewed and selected from various submissions. The papers are organized in topical sections such as intelligent healthcare and home-care environments, AAL environments, sensing and monitoring, human-computer interaction at assistive environments, semantic modeling for realizing AAL, and application domains.
Quality-Aware Tooling
A Ph.D. dissertation about a concept of software development tools augmented with code quality feedback (based on static analysis).
Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Interaction
This book constitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing and Ambient Intelligence, UCAmI 2013, held in Guanacaste, Costa Rica, in December 2013. The 46 research papers presented together with 8 papers of the workshop UrbAI 2013 were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on human interaction in ambient intelligence, ICT instrumentation and middleware support for smart environments and objects, adding intelligence for environment adaption and key application domains for ambient intelligence.
