查找： 关键词为 Teaching management UML formalization Metrics Algebraic representation framework 的文献