Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/69404
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Barbosa, Luís S. | por |
dc.date.accessioned | 2021-01-18T09:16:46Z | - |
dc.date.available | 2021-01-18T09:16:46Z | - |
dc.date.issued | 2020 | - |
dc.identifier.citation | Bar20 | por |
dc.identifier.isbn | 978-1-4503-7963-2 | por |
dc.identifier.uri | https://hdl.handle.net/1822/69404 | - |
dc.description.abstract | Software is a critical factor in the reliability of computer systems. While the development of hardware is assisted by mature science and engineering disciplines, software science is still in its infancy. This situation is likely to worsen in the future with quantum computer systems. Actually, if quantum computing is quickly coming of age, with potential groundbreaking impacts on many different fields, such benefits come at a price: quantum programming is hard and finding new quantum algorithms is far from straightforward. Thus, the need for suitable formal techniques in quantum software development is even bigger than in classical computation. A lack of reliable approaches to quantum computer programming will put at risk the expected quantum advantage of the new hardware. This position paper argues for the need for a proper quantum software engineering discipline benefiting from precise foundations and calculi, capable of supporting algorithm development and analysis. | por |
dc.description.sponsorship | This work was supported by ERDF, through COMPETE 2020 Programme, and FCT (Fundação para a Ciência e a Tecnologia), the Portuguese funding agency, within project POCI-01-0145-FEDER030947. | por |
dc.language.iso | eng | por |
dc.publisher | ACM | por |
dc.rights | openAccess | por |
dc.subject | Formal methods | por |
dc.subject | Quantum computation | por |
dc.subject | quantum computing | por |
dc.subject | software engineering | por |
dc.title | Software engineering for 'quantum advantage' | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | https://dl.acm.org/doi/10.1145/3387940.3392184 | por |
oaire.citationStartPage | 427 | por |
oaire.citationEndPage | 429 | por |
oaire.citationConferencePlace | Seoul Republic of Korea | por |
dc.identifier.doi | 10.1145/3387940.3392184 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
sdum.conferencePublication | ICSE '20: 42nd International Conference on Software Engineering | por |
sdum.bookTitle | ICSEW'20: Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops | por |
Aparece nas coleções: |