000 04376nam a22003855i 4500
001 394159
003 ES-MaUEC
005 20230102123057.0
007 cr nn 008mamaa
008 221012s2022 sz | s |||| 0|eng d
020 _a9783031053245
024 7 _a10.1007/978-3-031-05324-5
_2doi
040 _aES-MaUEC
_bspa
_cES-MaUEC
245 1 0 _aQuantum Software Engineering
_cedited by Manuel A Serrano, Ricardo Pérez-Castillo, Mario Piattini
250 _a1st edition 2022
264 1 _aCham
_bSpringer International Publishing
_c2022
300 _a1 recurso en línea (XXVIII, 302 páginas)
_b141 ilustraciones, 89 ilustraciones a color
336 _atexto
_btxt
_2rdacontent
337 _aelectrónico
_bc
_2rdamedia
338 _arecurso electrónico
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
505 0 _a1 Elías F. Combarro, Quantum Computing Foundations -- 2 Mario Piattini and Juan Manuel Murillo, Quantum software engineering landscape and challenges -- 3 Miguel Ángel Blanco and Manuel Serrano, Quantum Information Technology Governance System -- 4 Benjamin Weder et al., Quantum Software Development Lifecycle -- 5 Carmelo Cartiere, Formal Methods for Quantum Software Engineering -- 6 Carlos A. Pérez-Delgado, A Quantum Software Modeling Language -- 7 Iaakov Exman and Alon Tsalik Shmilovich, Quantum Software Models: Density Matrix for Universal Software Design -- 8 David Valencia et al., Quantum Service Oriented Architectures: from hybrid classical approaches to future standalone solutions -- 9 Antonio García de la Barrera at al., Quantum Software Testing - Current trends & Emerging proposals -- 10 Miguel-Angel Sicilia at al., Quantum software measurement -- 11 Luis Jiménez-Navajas at al., Quantum Software Modernization -- 12 José A. Cruz-Lemus and Manuel Serrano, Quantum software tools overview -- 13 Guido Peterssen at al., Quantum software development with QuantumPath® -- 14 Nir Minerbi, Quantum Software Development with Classiq -- 15 Filipa Ramos Ferreir et al., Quantum Software Frameworks for Deep Learning.
520 _aThis 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.
700 1 _aSerrano, Manuel A
_eeditor literario
_0(orcid)0000-0003-0962-5659
_1https://orcid.org/0000-0003-0962-5659
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPérez-Castillo, Ricardo
_eeditor literario
_0(orcid)0000-0002-9271-3184
_1https://orcid.org/0000-0002-9271-3184
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aPiattini, Mario
_eeditor literario
_0(orcid)0000-0002-7212-8279
_1https://orcid.org/0000-0002-7212-8279
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
776 0 8 _iPrinted edition:
_z9783031053238
776 0 8 _iPrinted edition:
_z9783031053252
776 0 8 _iPrinted edition:
_z9783031053269
856 4 0 _uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://doi.org/10.1007/978-3-031-05324-5
_zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
942 _2lcc
_cLE
988 _aSpringer_Computer_2022
999 _c394159
_d394159