Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniq...
详细信息
ISBN:
(数字)9783319089157
ISBN:
(纸本)9783319089140
Traditionally, research on model-driven engineering (MDE) has mainly focused on the use of models at the design, implementation, and verification stages of development. This work has produced relatively mature techniques and tools that are currently being used in industry and academia. However, software models also have the potential to be used at runtime, to monitor and verify particular aspects of runtime behavior, and to implement self-* capabilities (e.g., adaptation technologies used in self-healing, self-managing, self-optimizing systems). A key benefit of using models at runtime is that they can provide a richer semantic base for runtime decision-making related to runtime system concerns associated with autonomic and adaptive systems.
This book is one of the outcomes of the Dagstuhl Seminar 11481 on models@*** held in November/December 2011, discussing foundations, techniques, mechanisms, state of the art, research challenges, and applications for the use of runtime models. The book comprises four research roadmaps, written by the original participants of the Dagstuhl Seminar over the course of two years following the seminar, and seven research papers from experts in the area. The roadmap papers provide insights to key features of the use of runtime models and identify the following research challenges: the need for a reference architecture, uncertainty tackled by runtime models, mechanisms for leveraging runtime models for self-adaptive software, and the use of models at runtime to address assurance for self-adaptive systems.
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of computerscience, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012. The 43 re...
详细信息
ISBN:
(数字)9783642276606
ISBN:
(纸本)9783642276590
This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of computerscience, SOFSEM 2012, held in Špindlerův Mlýn, Czech Republic, in January 2012.
The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computerscience; software and Web engineering; cryptography, security, and verification; and artificial intelligence.
The field of softwareengineering is characterized by speed and turbulence in many regards. While new ideas are proposed almost on a yearly basis, very few of them live for a decade or a longer. Lightweight software d...
详细信息
ISBN:
(数字)9783642018534
ISBN:
(纸本)9783642018527
The field of softwareengineering is characterized by speed and turbulence in many regards. While new ideas are proposed almost on a yearly basis, very few of them live for a decade or a longer. Lightweight software development methods were a new idea in the latter part of the 1990s. Now, ten years later, they are better known as agile software development methods, and an active community driven by practitioners has formed around the new way of thinking. Agile software development is currently being embraced by the research community as well. As a sign of increased research activity, most research-oriented conferences have an agile software development track included in the conference program. The XP conference series established in 2000 was the first conference dedicated to agile processes in softwareengineering. The idea of the conference is to offer a unique setting for advancing the state of the art in research and practice of agile processes. This year’s conference was the tenth consecutive edition of this international event. Due to the diverse nature of different activities during the conference, XP is claimed to be more of an experience rather then a regular conference. It offers several different ways to interact and strives to create a truly collaborative environment where new ideas and exciting findings can be presented and shared. This is clearly visible from this year’s program as well.
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and engineering Systems, KES 2011, held in Kaiserslautern, G...
详细信息
ISBN:
(数字)9783642238666
ISBN:
(纸本)9783642238659
The four-volume set LNAI 6881-LNAI 6884 constitutes the refereed proceedings of the 15th International Conference on Knowledge-Based Intelligent Information and engineering Systems, KES 2011, held in Kaiserslautern, Germany, in September 2011. Part 4: The total of 244 high-quality papers presented were carefully reviewed and selected from numerous submissions. The 46 papers of Part 4 are organized in topical sections on human activity support in knowledge society, knowledge-based interface systems, model-based computing for innovative engineering, document analysis and knowledge science, immunity-based systems, natural language visualisation advances in theory and application of hybrid intelligent systems.
This book covers a domain that is significantly impacted by the growth of soft computing. Internet of Things (IoT)-related applications are gaining much attention with more and more devices which are getting connected...
详细信息
ISBN:
(数字)9783030901196
ISBN:
(纸本)9783030901189;9783030901219
This book covers a domain that is significantly impacted by the growth of soft computing. Internet of Things (IoT)-related applications are gaining much attention with more and more devices which are getting connected, and they become the potential components of some smart applications. Thus, a global enthusiasm has sparked over various domains such as health, agriculture, energy, security, and retail. So, in this book, the main objective is to capture this multifaceted nature of IoT and machine learning in one single place. According to the contribution of each chapter, the book also provides a future direction for IoT and machine learning research. The objectives of this book are to identify different issues, suggest feasible solutions to those identified issues, and enable researchers and practitioners from both academia and industry to interact with each other regarding emerging technologies related to IoT and machine learning. In this book, we look for novel chapters that recommend new methodologies, recent advancement, system architectures, and other solutions to prevail over the limitations of IoT and machine learning.
暂无评论