Towards a Quantum Software Modeling Language.
Carlos A. Pérez-DelgadoHéctor G. Pérez-GonzálezPublished in: ICSE (Workshops) (2020)
Keyphrases
- modeling language
- metamodel
- uml profile
- formal semantics
- design rationale
- code generation
- control flow
- formal methods
- business process modeling
- software development process
- development process
- database
- constraint language
- declarative language
- life cycle
- database systems
- information systems
- cooperative
- platform independent
- databases
- quantum computing
- software systems