A Method for Formal Model Generation in the Teaching of Software Design and Analysis.

Xi Wang Jinhui Lai Yijia Ouyang Hui Xu

Published in: ICBAR (2023)

Keyphrases

software design
computational cost
dynamic programming
preprocessing
significant improvement
detection method
segmentation method
computational complexity
support vector machine
software engineering
high precision
neural network
information systems
objective function
pairwise
cost function