Turning real-world systems into verification-driven learning cases

Shengru Tu,Shireesha Tankashala,Sehun Oh,Brian Becker,Brian Horton,Aditya Kallem,Zhao Yang

Software Engineering Education and Training（2011）

引用 3|浏览0

暂无评分

摘要

Based on the verification-driven learning (VDL) model, we have proposed a methodology for turning real-world software systems into platforms for CS students to carry out active and in-depth studies in software development. The purpose of the VDL model is to enrich the context of software engineering education. VDL cases can be a supplement to other teaching approaches to software engineering.

查看译文

关键词

teaching approaches,verification-driven learning,cs students,teaching approach,verification driven learning cases,real-world system,teaching,vdl case,software development,cs student,real-world software system,real world software systems,vdl model,software engineering education,computer science education,software engineering,in-depth study,computer aided instruction,teaching methodology,computational modeling,simple object access protocol,software systems,computer model,complex system,testing,educational software,software testing,unified modeling language,software verification

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要