Quality of Information and Communications Technology [[electronic resource] ] : 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings / / edited by Martin Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, Ricardo Pérez-Castillo |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXII, 500 p. 69 illus., 14 illus. in color.) |
Disciplina | 004.0685 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Application software Artificial intelligence Architecture, Computer Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Artificial Intelligence Computer System Implementation |
ISBN | 3-030-58793-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Quality Aspects in Machine Learning, AI and Data Analytics -- Evidence-Based Software Quality Engineering -- Human and Artificial Intelligences for Software Evolution -- Process Modeling, Improvement and Assessment -- Software Quality Education and Training -- Quality Aspects in Quantum Computing -- Safety, Security and Privacy -- ICT Verification and Validation -- RE, MDD and Agile. |
Record Nr. | UNISA-996465454803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Quality of Information and Communications Technology : 13th International Conference, QUATIC 2020, Faro, Portugal, September 9–11, 2020, Proceedings / / edited by Martin Shepperd, Fernando Brito e Abreu, Alberto Rodrigues da Silva, Ricardo Pérez-Castillo |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (XXII, 500 p. 69 illus., 14 illus. in color.) |
Disciplina | 004.0685 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Application software Artificial intelligence Architecture, Computer Software Engineering/Programming and Operating Systems Information Systems Applications (incl. Internet) Artificial Intelligence Computer System Implementation |
ISBN | 3-030-58793-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Quality Aspects in Machine Learning, AI and Data Analytics -- Evidence-Based Software Quality Engineering -- Human and Artificial Intelligences for Software Evolution -- Process Modeling, Improvement and Assessment -- Software Quality Education and Training -- Quality Aspects in Quantum Computing -- Safety, Security and Privacy -- ICT Verification and Validation -- RE, MDD and Agile. |
Record Nr. | UNINA-9910427719903321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Quantum Software : Aspects of Theory and System Design / / edited by Iaakov Exman, Ricardo Pérez-Castillo, Mario Piattini, Michael Felderer |
Edizione | [1st ed. 2024.] |
Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
Descrizione fisica | 1 online resource (XVII, 355 p. 115 illus., 99 illus. in color.) |
Disciplina | 005.1 |
Soggetto topico |
Software engineering
Quantum computers Software Engineering Quantum Computing |
ISBN | 3-031-64136-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. A Novel Perception of Quantum Software -- Part 1: Aspects of Quantum Software Theory -- 2. Simulating Quantum Software with Density Matrices -- 3. Superoperators for Quantum Software Engineering -- Part II: Quantum Software System Design -- 4. QSandbox: The Agile Quantum Software Sandbox -- 5. Verification and Validation of Quantum Software -- 6. Quantum Software Quality Metrics -- 7. Quantum Software Ecosystem Design -- 8. Development and Deployment of Quantum Services -- 9. Engineering Hybrid Software Systems -- Part III: Quantum Software Laboratory -- 10. Trapped-Ion Quantum Computing -- 11. Quantum Software Engineering & Programming Applied to Personalized Pharmacogenomics -- 12. Challenges for Quantum Software Engineering -- 13. Quantum Software Engineering Issues and Challenges. |
Record Nr. | UNINA-9910882893903321 |
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|