Quantum Software Engineering

این کتاب مجموعه ای از تکنیک ها و ابزارهای مهندسی نرم افزار را برای بهبود بهره وری و تضمین کیفیت در توسعه نرم افزار کوانتومی ارائه می دهد. از طریق همکاری جامعه مهندسی نرم افزار با جامعه محاسبات کوانتومی، پارادایم های معماری جدیدی برای سیستم های محاسباتی فعال کوانتومی پیش بینی و توسعه خواهند یافت.

این کتاب با فصلی شروع می شود که به معرفی آن می پردازد. مفاهیم اصلی و مبانی کلی مربوط به محاسبات کوانتومی این با تعدادی از فصل های مربوط به روش ها و تکنیک های مهندسی نرم افزار کوانتومی دنبال می شود. موضوعاتی مانند مانیفست Talavera برای مهندسی نرم‌افزار کوانتومی، چارچوب‌ها برای سیستم‌های ترکیبی، روش‌های رسمی مهندسی نرم‌افزار کوانتومی، زبان‌های مدل‌سازی نرم‌افزار کوانتومی و مهندسی مجدد برای نرم‌افزارهای کوانتومی در این بخش پوشش داده می‌شوند. مجموعه دومی از فصل‌ها سپس به محیط‌ها و ابزارهای نرم‌افزار کوانتومی می‌پردازد، پلتفرم‌هایی مانند QuantumPath®، Classiq و همچنین چارچوب‌های نرم‌افزار کوانتومی برای یادگیری عمیق را شرح می‌دهد.

< span>به طور کلی، هدف این کتاب محققان و متخصصان دانشگاهی است که در ایجاد سیستم‌های اطلاعات کوانتومی و پلت‌فرم‌های نرم‌افزاری نقش دارند. فرض بر این است که خوانندگان پیشینه ای در مهندسی نرم افزار سنتی و سیستم های اطلاعاتی دارند.

This book presents a set of software engineering techniques and tools to improve the productivity and assure the quality in quantum software development. Through the collaboration of the software engineering community with the quantum computing community new architectural paradigms for quantum-enabled computing systems will be anticipated and developed.

The book starts with a chapter that introduces the main concepts and general foundations related to quantum computing. This is followed by a number of chapters dealing with the quantum software engineering methods and techniques. Topics like the Talavera Manifesto for quantum software engineering, frameworks for hybrid systems, formal methods for quantum software engineering, quantum software modelling languages, and reengineering for quantum software are covered in this part. A second set of chapters then deals with quantum software environments and tools, detailing platforms like QuantumPath®, Classiq as well as quantum software frameworks for deep learning.

Overall, the book aims at academic researchers and practitioners involved in the creation of quantum information systems and software platforms. It is assumed that readers have a background in traditional software engineering and information systems.