Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions
Tool-Aided Assessment of Difficulties in Learning Formal Design-by-Contract Assertions
复制标题
学习形式化契约设计断言的困难的工具辅助评估
DOI：
10.1145/3396802.3396807
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Hollingsworth, Joseph E.
中科院分区：
文献类型：
--
作者：
Fowler, Megan;Kraemer, Eileen T.;Sun, Yu-Shan;Sitaraman, Murali;Hallstrom, Jason O.;Hollingsworth, Joseph E.
Fowler，M.，Kraemer，ET，Sun，Y.-美国，Sitaraman，M.，Hallstrom，JO，& Hollingsworth，JE.工具辅助评估学习正式契约式设计断言的困难。第四届欧洲软件工程教育会议论文集，52-60。网址：//doi.电话：+86-10 - 8666666
Fowler, M., Kraemer, ET, Sun, Y.-S., Sitaraman, M., Hallstrom, JO, & Hollingsworth, JE (2020). Tool-aided assessment of difficulties in learning formal design-by-contract assertions. Proceedings of the 4th European Conference on Software Engineering Education, 52-60. https://doi. org/10.1145/3396802.3396807
登录
查看更多内容
以活动为基础的本科软件工程课程，吸引学生并鼓励学习
DOI：
--
发表时间：
2018
期刊：
European Conference of Software Engineering Education
影响因子：
--
作者：
Eileen T. Kraemer;M. Sitaraman;J. Hollingsworth
通讯作者：
J. Hollingsworth
代码跟踪问题对代码编写技能影响的研究
DOI：
10.1145/2462476.2462507
发表时间：
2013
影响因子：
1.4
作者：
Amruth N. Kumar
通讯作者：
Amruth N. Kumar
DOI：
10.1145/1734263.1734299
发表时间：
2010
期刊：
Proceedings of the 45th ACM technical symposium on Computer science education
影响因子：
--
作者：
Lisa C. Kaczmarczyk;Elizabeth R. Petrick;J. East;Geoffrey L. Herman
通讯作者：
Geoffrey L. Herman
早期编程课程中的跟踪教学
影响因子：
18.4
作者：
Matthew Hertz;M. Jump
通讯作者：
M. Jump
对代码进行逻辑推理的困难到底在哪里？
DOI：
10.1145/3197091.3197133
发表时间：
2018
期刊：
Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education
影响因子：
--
作者：
Michelle Cook;Megan Fowler;J. Hallstrom;J. Hollingsworth;Tim Schwab;Yu;M. Sitaraman
通讯作者：
M. Sitaraman