語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Quantum software engineering
~
Serrano, Manuel A.
FindBook
Google Book
Amazon
博客來
Quantum software engineering
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Quantum software engineering/ edited by Manuel A. Serrano, Ricardo Perez-Castillo, Mario Piattini.
其他作者:
Serrano, Manuel A.
出版者:
Cham :Springer International Publishing : : 2022.,
面頁冊數:
xxviii, 302 p. :ill., digital ;24 cm.
內容註:
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.
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 Perez-Castillo, Mario Piattini. - Cham :Springer International Publishing :2022. - xxviii, 302 p. :ill., digital ;24 cm.
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:
559826
Software engineering.
LC Class. No.: QA76.758 / .Q83 2022
Dewey Class. No.: 005.1
Quantum software engineering
LDR
:03517nmm a2200325 a 4500
001
2304680
003
DE-He213
005
20221012143912.0
006
m d
007
cr nn 008maaau
008
230409s2022 sz s 0 eng d
020
$a
9783031053245
$q
(electronic bk.)
020
$a
9783031053238
$q
(paper)
024
7
$a
10.1007/978-3-031-05324-5
$2
doi
035
$a
978-3-031-05324-5
040
$a
GP
$c
GP
041
0
$a
eng
050
4
$a
QA76.758
$b
.Q83 2022
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
090
$a
QA76.758
$b
.Q18 2022
245
0 0
$a
Quantum software engineering
$h
[electronic resource] /
$c
edited by Manuel A. Serrano, Ricardo Perez-Castillo, Mario Piattini.
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
xxviii, 302 p. :
$b
ill., digital ;
$c
24 cm.
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
559826
650
0
$a
Quantum computers.
$3
535318
650
1 4
$a
Software Engineering.
$3
890874
650
2 4
$a
Quantum Computing.
$3
1620399
700
1
$a
Serrano, Manuel A.
$3
3607093
700
1
$a
Perez-Castillo, Ricardo.
$3
3607094
700
1
$a
Piattini, Mario.
$3
2145320
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
856
4 0
$u
https://doi.org/10.1007/978-3-031-05324-5
950
$a
Computer Science (SpringerNature-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9446229
電子資源
11.線上閱覽_V
電子書
EB QA76.758 .Q83 2022
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入