Comput. Syst. Dept., Fed. Univ. of Campina Grande, Campina Grande, Brazil;
computer science education; educational courses; formal specification; computer science course; introductory programming course; problem oriented programming; problem specification; software engineering; Introductory Programming Teaching; Software Engineering Education;
机译:基于形式规范和程序计算的程序设计入门课程
机译:结识计算机编程:一种介绍性编程的建议方法
机译:在入门编程课程中支持交互式应用程序的开发
机译:问题规范的方法及其在介绍式编程过程中的应用
机译:理解和解决入门编程中的误解:一种数据驱动的方法
机译:WESSBAS:提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
机译:在介绍性编程过程中培养动机和提高学生表现:综合教学方法
机译:关于线性和动态规划在通信问题中应用的一些引言