國立虎尾科技大學 |

Quantum Software Engineering

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Quantum Software Engineering/ edited by Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini.
其他作者:	Serrano, Manuel A.
面頁冊數:	XXVIII, 302 p. 141 illus., 89 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	https://doi.org/10.1007/978-3-031-05324-5
ISBN:	9783031053245

Quantum Software Engineering
Quantum Software Engineering[electronic resource] /edited by Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini. - 1st ed. 2022. - XXVIII, 302 p. 141 illus., 89 illus. in color.online resource.

1 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.

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.

ISBN: 9783031053245

Standard No.: 10.1007/978-3-031-05324-5doiSubjects--Topical Terms:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Quantum Software Engineering
LDR:03883nam a22003975i 4500 001 1084206
003 DE-He213
005 20221012143912.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031053245 $9 978-3-031-05324-5
024 7 $a 10.1007/978-3-031-05324-5 $2 doi
035 $a 978-3-031-05324-5
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Quantum Software Engineering $h [electronic resource] / $c edited by Manuel A. Serrano, Ricardo Pérez-Castillo, Mario Piattini.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XXVIII, 302 p. 141 illus., 89 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a 1 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 $a 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.
650 0 $a Software engineering. $3 562952
650 0 $a Quantum computers. $3 564139
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Quantum Computing. $3 883739
700 1 $a Serrano, Manuel A. $e editor. $1 https://orcid.org/0000-0003-0962-5659 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1390437
700 1 $a Pérez-Castillo, Ricardo. $e editor. $1 https://orcid.org/0000-0002-9271-3184 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1304427
700 1 $a Piattini, Mario. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1257304
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031053238
776 0 8 $i Printed edition: $z 9783031053252
776 0 8 $i Printed edition: $z 9783031053269
856 4 0 $u https://doi.org/10.1007/978-3-031-05324-5
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)