Design by Contract Framework for Quantum Software.
Masaomi YamaguchiNobukazu YoshiokaPublished in: Q-SE@ICSE (2023)
Keyphrases
- software architecture
- core components
- main contribution
- design concepts
- design patterns
- simulation environment
- conceptual framework
- computational framework
- source code
- hardware design
- building blocks
- design process
- software systems
- software design
- user interface
- modeling language
- design principles
- probabilistic model
- software maintenance
- software development
- web services
- virtual instrument