Environment Modeling-Based Requirements Engineering for Software Intensive Systems

Environment Modeling-Based Requirements Engineering for Software Intensive Systems
Author: Zhi Jin
Publisher: Morgan Kaufmann
Total Pages: 290
Release: 2017-12-05
Genre: Computers
ISBN: 0128019573

Environment Modeling-Based Requirements Engineering for Software Intensive Systems provides a new and promising approach for engineering the requirements of software-intensive systems, presenting a systematic, promising approach to identifying, clarifying, modeling, deriving, and validating the requirements of software-intensive systems from well-modeled environment simulations. In addition, the book presents a new view of software capability, i.e. the effect-based software capability in terms of environment modeling. - Provides novel and systematic methodologies for engineering the requirements of software-intensive systems - Describes ontologies and easily-understandable notations for modeling software-intensive systems - Analyzes the functional and non-functional requirements based on the properties of the software surroundings - Provides an essential, practical guide and formalization tools for the task of identifying the requirements of software-intensive systems - Gives system analysts and requirements engineers insight into how to recognize and structure the problems of developing software-intensive systems

Requirements Engineering for Software and Systems, Second Edition

Requirements Engineering for Software and Systems, Second Edition
Author: Phillip A. Laplante
Publisher: CRC Press
Total Pages: 326
Release: 2013-10-17
Genre: Computers
ISBN: 1466560819

As requirements engineering continues to be recognized as the key to on-time and on-budget delivery of software and systems projects, many engineering programs have made requirements engineering mandatory in their curriculum. In addition, the wealth of new software tools that have recently emerged is empowering practicing engineers to improve their requirements engineering habits. However, these tools are not easy to use without appropriate training. Filling this need, Requirements Engineering for Software and Systems, Second Edition has been vastly updated and expanded to include about 30 percent new material. In addition to new exercises and updated references in every chapter, this edition updates all chapters with the latest applied research and industry practices. It also presents new material derived from the experiences of professors who have used the text in their classrooms. Improvements to this edition include: An expanded introductory chapter with extensive discussions on requirements analysis, agreement, and consolidation An expanded chapter on requirements engineering for Agile methodologies An expanded chapter on formal methods with new examples An expanded section on requirements traceability An updated and expanded section on requirements engineering tools New exercises including ones suitable for research projects Following in the footsteps of its bestselling predecessor, the text illustrates key ideas associated with requirements engineering using extensive case studies and three common example systems: an airline baggage handling system, a point-of-sale system for a large pet store chain, and a system for a smart home. This edition also includes an example of a wet well pumping system for a wastewater treatment station. With a focus on software-intensive systems, but highly applicable to non-software systems, this text provides a probing and comprehensive review of recent developments in requirements engineering in high integrity systems.

Artificial Intelligence Methods for Optimization of the Software Testing Process

Artificial Intelligence Methods for Optimization of the Software Testing Process
Author: Sahar Tahvili
Publisher: Academic Press
Total Pages: 232
Release: 2022-07-21
Genre: Computers
ISBN: 0323912826

Artificial Intelligence Methods for Optimization of the Software Testing Process: With Practical Examples and Exercises presents different AI-based solutions for overcoming the uncertainty found in many initial testing problems. The concept of intelligent decision making is presented as a multi-criteria, multi-objective undertaking. The book provides guidelines on how to manage diverse types of uncertainty with intelligent decision-making that can help subject matter experts in many industries improve various processes in a more efficient way. As the number of required test cases for testing a product can be large (in industry more than 10,000 test cases are usually created). Executing all these test cases without any particular order can impact the results of the test execution, hence this book fills the need for a comprehensive resource on the topics on the how's, what's and whys. To learn more about Elsevier's Series, Uncertainty, Computational Techniques and Decision Intelligence, please visit this link: https://www.elsevier.com/books-and-journals/book-series/uncertainty-computational-techniques-and-decision-intelligence - Presents one of the first empirical studies in the field, contrasting theoretical assumptions on innovations in a real industrial environment with a large set of use cases from developed and developing testing processes at various large industries - Explores specific comparative methodologies, focusing on developed and developing AI-based solutions - Serves as a guideline for conducting industrial research in the artificial intelligence and software testing domain - Explains all proposed solutions through real industrial case studies

Intelligent Systems

Intelligent Systems
Author: Amit Sheth
Publisher: Springer Nature
Total Pages: 492
Release: 2021-07-21
Genre: Technology & Engineering
ISBN: 9811622485

This book contains the latest computational intelligence methodologies and applications. This book is a collection of selected papers presented at International Conference on Sustainable Computing and Intelligent Systems (SCIS 2021), held in Jaipur, India, during February 5–6, 2021. It includes novel and innovative work from experts, practitioners, scientists, and decision-makers from academia and industry. It covers selected papers in the area of artificial intelligence and intelligent systems, intelligent business systems, machine intelligence, computer vision, Web intelligence, big data analytics, swarm intelligence, and related topics.

Software Engineering for Variability Intensive Systems

Software Engineering for Variability Intensive Systems
Author: Ivan Mistrik
Publisher: CRC Press
Total Pages: 366
Release: 2019-01-15
Genre: Computers
ISBN: 0429666748

This book addresses the challenges in the software engineering of variability-intensive systems. Variability-intensive systems can support different usage scenarios by accommodating different and unforeseen features and qualities. The book features academic and industrial contributions that discuss the challenges in developing, maintaining and evolving systems, cloud and mobile services for variability-intensive software systems and the scalability requirements they imply. The book explores software engineering approaches that can efficiently deal with variability-intensive systems as well as applications and use cases benefiting from variability-intensive systems.

Model-Based Engineering of Embedded Systems

Model-Based Engineering of Embedded Systems
Author: Klaus Pohl
Publisher: Springer Science & Business Media
Total Pages: 298
Release: 2012-11-08
Genre: Computers
ISBN: 3642346146

Embedded systems have long become essential in application areas in which human control is impossible or infeasible. The development of modern embedded systems is becoming increasingly difficult and challenging because of their overall system complexity, their tighter and cross-functional integration, the increasing requirements concerning safety and real-time behavior, and the need to reduce development and operation costs. This book provides a comprehensive overview of the Software Platform Embedded Systems (SPES) modeling framework and demonstrates its applicability in embedded system development in various industry domains such as automation, automotive, avionics, energy, and healthcare. In SPES 2020, twenty-one partners from academia and industry have joined forces in order to develop and evaluate in different industrial domains a modeling framework that reflects the current state of the art in embedded systems engineering. The content of this book is structured in four parts. Part I “Starting Point” discusses the status quo of embedded systems development and model-based engineering, and summarizes the key requirements faced when developing embedded systems in different application domains. Part II “The SPES Modeling Framework” describes the SPES modeling framework. Part III “Application and Evaluation of the SPES Modeling Framework” reports on the validation steps taken to ensure that the framework met the requirements discussed in Part I. Finally, Part IV “Impact of the SPES Modeling Framework” summarizes the results achieved and provides an outlook on future work. The book is mainly aimed at professionals and practitioners who deal with the development of embedded systems on a daily basis. Researchers in academia and industry may use it as a compendium for the requirements and state-of-the-art solution concepts for embedded systems development.

Engineering Adaptive Software Systems

Engineering Adaptive Software Systems
Author: Yijun Yu
Publisher: Springer
Total Pages: 173
Release: 2019-01-14
Genre: Computers
ISBN: 981132185X

This book discusses the problems and challenges in the interdisciplinary research field of self-adaptive software systems. Modern society is increasingly filled with software-intensive systems, which are required to operate in more and more dynamic and uncertain environments. These systems must monitor and control their environment while adapting to meet the requirements at runtime. This book provides promising approaches and research methods in software engineering, system engineering, and related fields to address the challenges in engineering the next-generation adaptive software systems. The contents of the book range from design and engineering principles (Chap. 1) to control–theoretic solutions (Chap. 2) and bidirectional transformations (Chap. 3), which can be seen as promising ways to implement the functional requirements of self-adaptive systems. Important quality requirements are also dealt with by these approaches: parallel adaptation for performance (Chap. 4), self-adaptive authorization infrastructure for security (Chap. 5), and self-adaptive risk assessment for self-protection (Chap. 6). Finally, Chap. 7 provides a concrete self-adaptive robotics operating system as a testbed for self-adaptive systems. The book grew out of a series of the Shonan Meetings on this ambitious topic held in 2012, 2013, and 2015. The authors were active participants in the meetings and have brought in interesting points of view. After several years of reflection, they now have been able to crystalize the ideas contained herein and collaboratively pave the way for solving some aspects of the research problems. As a result, the book stands as a milestone to initiate further progress in this promising interdisciplinary research field.

System Requirements Engineering

System Requirements Engineering
Author: Pericles Loucopoulos
Publisher: McGraw-Hill Companies
Total Pages: 186
Release: 1995
Genre: Computers
ISBN:

System Requirements Engineering presents a balanced view of the issues, concepts, models, techniques and tools found in requirements engineering research and practice. Requirements engineering is presented from business, behavioural and software engineering perspectives and a general framework is established at the outset. This book considers requirements engineering as a combination of three concurrent and interacting processes: eliciting knowledge related to a problem domain, ensuring the validity of such knowledge and specifying the problem in a formal way. Particular emphasis is given to requirements elicitation techniques and there is a fully integrated treatment of the development of requirements specifications through enterprise modelling, functional requirements and non-functional requirements.

Software Reuse for Dynamic Systems in the Cloud and Beyond

Software Reuse for Dynamic Systems in the Cloud and Beyond
Author: Ina Schaefer
Publisher: Springer
Total Pages: 374
Release: 2014-12-22
Genre: Computers
ISBN: 3319141309

This book constitutes the refereed proceedings of the 14th International Conference on Software Reuse for Dynamic Systems in the Cloud and Beyond, ICSR 2015, held in Miami, FL, USA, in January 2015. The 21 revised full papers presented together with 3 revised short papers were carefully reviewed and selected from 60 submissions. The papers cover several software engineering areas where software reuse is important, such as software product lines, domain analysis, open source, components, cloud, quality.