Javaid Iqbal, Faheem Syeed Masoodi, Ishfaq Ahmad Malik, Shozab Khurshid, Iqra Saraf, Alwi M. Bamhdi
(Izdošanas datums: 07-Dec-2023, EPUB+DRM, Izdevniecība: 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...Lasīt vairāk
Javaid Iqbal, Faheem Syeed Masoodi, Ishfaq Ahmad Malik, Shozab Khurshid, Iqra Saraf, Alwi M. Bamhdi
(Izdošanas datums: 07-Dec-2023, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
Ashish Mishra, Nguyen Thi Dieu Linh, Manish Bhardwaj, Carla M. A. Pinto
Sērija : Information Technology, Management and Operations Research Practices
(Izdošanas datums: 30-Nov-2022, EPUB+DRM, Izdevniecība: 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...Lasīt vairāk
Ashish Mishra, Nguyen Thi Dieu Linh, Manish Bhardwaj, Carla M. A. Pinto
Sērija : Information Technology, Management and Operations Research Practices
(Izdošanas datums: 30-Nov-2022, PDF+DRM, Izdevniecība: 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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
