LEADER 04247nam  22005415  450 
001 996495563203316
005 20230502200400.0
010   $a3-031-05324-9
024 7 $a10.1007/978-3-031-05324-5
035   $a(MiAaPQ)EBC7109690
035   $a(Au-PeEL)EBL7109690
035   $a(CKB)25116183200041
035   $a(DE-He213)978-3-031-05324-5
035   $a(PPN)265861071
035   $a(EXLCZ)9925116183200041
100   $a20221012d2022      u|             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aQuantum Software Engineering$b[electronic resource] /$fedited by Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (321 pages)
311 08$aPrint version: Serrano, Manuel A. Quantum Software Engineering Cham : Springer International Publishing AG,c2022 9783031053238 
320   $aIncludes bibliographical references and index.
327   $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.
330   $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.
606   $aSoftware engineering
606   $aQuantum computers
606   $aSoftware Engineering
606   $aQuantum Computing
615  0$aSoftware engineering.
615  0$aQuantum computers.
615 14$aSoftware Engineering.
615 24$aQuantum Computing.
676   $a004.1
702   $aPe?rez-Castillo$b Ricardo
702   $aPiattini$b Mario
702   $aSerrano$b Manuel A.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996495563203316
996   $aQuantum software engineering$93041755
997   $aUNISA