Model-driven software development drastically alters the software development process, which is characterized by a high degree of innovation and productivity. Emerging Technologies for the Evolution and Maintenance of Software Models contains original academic work about current research and research projects related to all aspects affecting the maintenance, evolution, and reengineering (MER), as well as long-term management, of software models. The mission of this book is to present a comprehensive and central overview of new and emerging trends in software model research and to provide concrete results from ongoing developments in the field.
Model Management and Analytics for Large Scale Systems covers the use of models and related artefacts (such as metamodels and model transformations) as central elements for tackling the complexity of building systems and managing data. With their increased use across diverse settings, the complexity, size, multiplicity and variety of those artefacts has increased. Originally developed for software engineering, these approaches can now be used to simplify the analytics of large-scale models and automate complex data analysis processes. Those in the field of data science will gain novel insights on the topic of model analytics that go beyond both model-based development and data analytics. This book is aimed at both researchers and practitioners who are interested in model-based development and the analytics of large-scale models, ranging from big data management and analytics, to enterprise domains. The book could also be used in graduate courses on model development, data analytics and data management. - Identifies key problems and offers solution approaches and tools that have been developed or are necessary for model management and analytics - Explores basic theory and background, current research topics, related challenges and the research directions for model management and analytics - Provides a complete overview of model management and analytics frameworks, the different types of analytics (descriptive, diagnostics, predictive and prescriptive), the required modelling and method steps, and important future directions
In recent years, a considerable amount of effort has been devoted, both in industry and academia, to the development, validation and verification of critical systems, i.e. those systems whose malfunctions or failures reach a critical level both in terms of risks to human life as well as having a large economic impact.Certifications of Critical Systems – The CECRIS Experience documents the main insights on Cost Effective Verification and Validation processes that were gained during work in the European Research Project CECRIS (acronym for Certification of Critical Systems). The objective of the research was to tackle the challenges of certification by focusing on those aspects that turn out to be more difficult/important for current and future critical systems industry: the effective use of methodologies, processes and tools.The CECRIS project took a step forward in the growing field of development, verification and validation and certification of critical systems. It focused on the more difficult/important aspects of critical system development, verification and validation and certification process. Starting from both the scientific and industrial state of the art methodologies for system development and the impact of their usage on the verification and validation and certification of critical systems, the project aimed at developing strategies and techniques supported by automatic or semi-automatic tools and methods for these activities, setting guidelines to support engineers during the planning of the verification and validation phases.
"This book discusses the current state of test automation practices, as it includes chapters related to software test automation and its validity and applicability in different domains"--Provided by publisher.
Innovative tools and techniques for the development and design of software systems are essential to the problem solving and planning of software solutions. Software Design and Development: Concepts, Methodologies, Tools, and Applications brings together the best practices of theory and implementation in the development of software systems. This reference source is essential for researchers, engineers, practitioners, and scholars seeking the latest knowledge on the techniques, applications, and methodologies for the design and development of software systems.
Information system architecture (ISA) specification as a part of software engineering field has been an information systems research topic since the 60's of the 20th century. There have been manifold specification methodologies over the recent decades, developed newly or adapted in order to target the domains of software modelling, legacy systems, steel production, and automotive safety. Still, there exist considerable issues constituting the need for a flexible ISA development, e.g. incomplete methodology for requirements in model-driven architectures, lacking qualitative methods for thorough definition and usage of viewpoints. Currently existing methods for information system architecture specification usually de- vise the target architectures either addressing only a part of software life-cycles or neglect- ing less structured information. The method for flexible information system architectures (FISA) specification uses the viewpoint concept for mediating the domain expert and technical system levels. The FISA-method defines construction and application reference models based on the ANSI/IEEE Standard 1471-2000, viewpoints with model transfor- mations based on OMG-Standard Model-Driven Architecture (MDA), and four different approaches for ISA specification, thus providing for flexibility both in construction and refactoring procedures. The development of FISA-method has been based on a thorough analysis of the ISA specification method field and constructs a comprehensive procedure and reference engi- neering models for flexible ISA specification. The genericity of the conceived construction and application procedure models of FISA allows for its usage not only in research, but also in industry settings, as presented on illustrative scenarios in steel manufacturing and automotive safety.
This book constitutes the proceedings of the 9th European Conference on Modelling Foundations and applications, ECMFA 2013, held in Montpellier, France, in July 2013. The 15 papers presented in this volume were carefully reviewed and selected from 51 submissions. They are on all aspects of MDE, including topics such as model querying, consistency checking, model transformation; and model-based systems engineering and domain-specific modeling.
The technological advancements of today not only affect individual’s personal lives. They also affect the way urban communities regard the improvement of their resident’s lives. Research involving these autonomic reactions to the growing needs of the people is desperately needed to transform the cities of today into the cities of the future. Driving the Development, Management, and Sustainability of Cognitive Cities is a pivotal reference source that explores and improves the understanding of the strategic role of sustainable cognitive cities in residents’ routine life styles. Such benefits to residents and businesses include having access to world-class training while sitting at home, having their wellbeing observed consistently, and having their medical issues identified before occurrence. This book is ideally designed for administrators, policymakers, industrialists, and researchers seeking current research on developing and managing cognitive cities.
The capability to design quality software and implement modern information systems is at the core of economic growth in the 21st century. Nevertheless, exploiting this potential is only possible when adequate human resources are available and when modern software engineering methods and tools are used. The recent years have witnessed rapid evolution of software engineering methodologies, including the creation of new platforms and tools which aim to shorten the software design process, raise its quality and cut down its costs. This evolution is made possible through ever-increasing knowledge of software design strategies as well as through improvements in system design and code testing procedures. At the same time, the need for broad access to high-performance and high-throughput computing resources necessitates the creation of large-scale, interactive information systems, capable of processing millions of transactions per seconds. These systems, in turn, call for new, innovative distributed software design and implementation technologies. The purpose of this book is to review and analyze emerging software engineering technologies, focusing on the evolution of design and implementation platforms as well as on novel computer systems related to the development of modern information services.
Study of nature and the world around us has been a primary motivation for scientists and researchers for centuries. Advanced methods in the study of elementary particles have led to even greater discoveries in recent years. Innovative Applications and Developments of Micro-Pattern Gaseous Detectors focuses on the analysis and use of various gas detection systems, providing a detailed description of some of the most commonly used gas detectors and the science behind them. From early detectors to modern tools and techniques, this book will be of particular use to practitioners and researchers in chemical engineering and materials science, in addition to students and academicians concentrating in the field.
