Formal Methods for Quantum Software Engineering-Reference-Cited by-同舟云学术

Formal Methods for Quantum Software Engineering

Published:2022 Issue: Volume: Page:85-101
ISSN:
Container-title:Quantum Software Engineering
language:
Short-container-title:

Author:

Cartiere Carmelo R.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-05324-5_5

Reference21 articles.

1. Cartiere CR (2020) Formal quantum software engineering: introducing the formal methods of software engineering to quantum computing. https://doi.org/10.13140/RG.2.2.26157.10725/2

2. Woodcock J, Davies J (1996) Using Z. Specification, refinement, and proof. Prentice Hall

3. Cartiere CR (2013) Quantum software engineering: bringing the classical software engineering into the quantum domain. Master’s Thesis, University of Oxford, Department of Computer Science, Software Engineering Programme

4. Jacky J (1996) The way of Z: practical programming with formal methods. Cambridge University Press

5. Ruhela V (2012) Z formal specification language – an overview. Int J Eng Res Technol (IJERT) 01(06)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Systematic Review on Requirements Engineering in Quantum Computing: Insights and Future Directions;Electronics;2024-07-29

2. SoK: quantum computing methods for machine learning optimization;Quantum Machine Intelligence;2024-07-24

3. Automated quantum software engineering;Automated Software Engineering;2024-04-12

4. Quantum Software Quality Metrics;Quantum Software;2024

5. The Development Direction of Computer Software Testing Methods in the Era of Big Data;Application of Intelligent Systems in Multi-modal Information Analytics;2022