• 程序设计智能教学软件PICAI的集成及应用研究

    程序设计智能教学软件PICAI的集成及应用研究

    论文摘要目前许多程序设计教科书和教学软件均不能给出从需求解的问题到可执行程序的设计过程。这给讲授和学习程序设计均带来极大的困难。薛锦云教授率领软件形式化和自动化课题组在国家86...