Student Projects In Reactive And Real-Time Systems Course
RTEW '98: Proceedings of the Third IEEE Real-Time Systems Education Workshop（1999）
摘要
This article presents the student assignments and the experience gained in a graduate course entitled "Reactive and Real-Time Systems", taught at Tel-Aviv University.The course focuses on the development of provably correct reactive and real-time systems. Hence, the major projects that were given included the full life-cycle of a system development: specification, design, implementation, and verification. The software tools employed in the course are freely available from various Internet sites. Students had the freedom to choose the tools they use, and indeed many of them chose more than one tool to supply a system that was automatically verified against its requirements.
更多查看译文
关键词
computer science education,educational courses,project support environments,real-time systems,software engineering,software tools,student experiments,Internet sites,Tel-Aviv University,automatically verified system,freeware,graduate course,provably correct systems development,reactive systems,real-time systems,requirements engineering,software tools,student assignments,student projects,system development life-cycle,systems design,systems implementation,systems specification,systems verification,
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要