The proposed architecture builds a training model using use case diagram and its description. The training model is later used for classifying entailments between requirements statements. Based on the ...

The proposed synthesis algorithm and flow can generate a quantum circuit using the most basic quantum operators ... of quantum logic circuits in the form of quantum decision diagrams (QDD's), which ...