Javaid Iqbal, Faheem Syeed Masoodi, Ishfaq Ahmad Malik, Shozab Khurshid, Iqra Saraf, Alwi M. Bamhdi
(Ilmumisaeg: 07-Dec-2023, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781003808114)
Because of the growing reliance on software, concerns are growing as to how reliable a system is before it is commissioned for use, how high the level of reliability is in the system, and how many vulnerabilities exist in the system before its operat...Loe edasi...
Javaid Iqbal, Faheem Syeed Masoodi, Ishfaq Ahmad Malik, Shozab Khurshid, Iqra Saraf, Alwi M. Bamhdi
(Ilmumisaeg: 07-Dec-2023, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781003808107)
Because of the growing reliance on software, concerns are growing as to how reliable a system is before it is commissioned for use, how high the level of reliability is in the system, and how many vulnerabilities exist in the system before its operat...Loe edasi...
This book mainly introduces the research overview, results, and achievements of "e;The Fundamental Research for Trustworthy Software"e;, a major research plan of NSFC. The Plan focuses on four key scientific issues:(i) measurement and modelin...Loe edasi...
This book mainly introduces the research overview, results, and achievements of "e;The Fundamental Research for Trustworthy Software"e;, a major research plan of NSFC. The Plan focuses on four key scientific issues:(i) measurement and modelin...Loe edasi...
Ashish Mishra, Nguyen Thi Dieu Linh, Manish Bhardwaj, Carla M. A. Pinto
Sari: Information Technology, Management and Operations Research Practices
(Ilmumisaeg: 30-Nov-2022, EPUB+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000778823)
This book provides insights into contemporary issues and challenges in multi-criteria decision models. It is a useful guide for identifying, understanding and categorising multi-criteria decision models, and ultimately implementing the analysis for e...Loe edasi...
Ashish Mishra, Nguyen Thi Dieu Linh, Manish Bhardwaj, Carla M. A. Pinto
Sari: Information Technology, Management and Operations Research Practices
(Ilmumisaeg: 30-Nov-2022, PDF+DRM, Kirjastus: Taylor & Francis Ltd, ISBN-13: 9781000778809)
This book provides insights into contemporary issues and challenges in multi-criteria decision models. It is a useful guide for identifying, understanding and categorising multi-criteria decision models, and ultimately implementing the analysis for e...Loe edasi...
Gain a foundational understanding of SRE and learn its basic concepts and architectural best practices for deploying Azure IaaS, PaaS, and microservices-based resilient architectures.The book starts with the base concepts of SRE operations and develo...Loe edasi...
Gain a foundational understanding of SRE and learn its basic concepts and architectural best practices for deploying Azure IaaS, PaaS, and microservices-based resilient architectures.The book starts with the base concepts of SRE operations and develo...Loe edasi...
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical s...Loe edasi...
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical s...Loe edasi...
The book begins with an introduction to software reliability, models and techniques. The book is an informative book covering the strategies needed to assess software failure behaviour and its quality, as well as the application of optimization tools...Loe edasi...
The book begins with an introduction to software reliability, models and techniques. The book is an informative book covering the strategies needed to assess software failure behaviour and its quality, as well as the application of optimization tools...Loe edasi...
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the CO...Loe edasi...
This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the CO...Loe edasi...
The volume contains latest research on software reliability assessment, testing, quality management, inventory management, mathematical modeling, analysis using soft computing techniques and management analytics. It links researcher and practitioner...Loe edasi...
The volume contains latest research on software reliability assessment, testing, quality management, inventory management, mathematical modeling, analysis using soft computing techniques and management analytics. It links researcher and practitioner...Loe edasi...
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the...Loe edasi...
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. The conference was planned to take place in Vienna, Austria. Due to the...Loe edasi...
This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keyn...Loe edasi...
This book constitutes the refereed proceedings of the 11th International Workshop on Software Engineering for Resilient Systems, SERENE 2019, held in Naples, Italy, in September 2019.The 5 full papers and 4 short papers presented together with 1 keyn...Loe edasi...
