TY - GEN
T1 - Top SE
T2 - 29th International Conference on Software Engineering, ICSE 2007
AU - Honiden, Shinichi
AU - Tahara, Yasuyuki
AU - Yoshioka, Nobukazu
AU - Taguchi, Kenji
AU - Washizaki, Hironori
PY - 2007
Y1 - 2007
N2 - This paper discusses the Top SE program established to bridge the industry-academia gap. The program features extensive use of software engineering tools, not only to introduce students to the tools, but also as a conduit for learning the techniques and guidelines needed to apply the tools to practical software development situations. The curriculum is organized around practical problems mainly from the area of digital home appliances and focuses on upper stream software development processes. The Top SE program is developed and operated by a close collaboration between industry and academia. We illustrate our discussion with examples from one of the courses, Verification of Design Models, which takes up model checking technologies, including three specific tools: SPIN, SMV, and LTSA.
AB - This paper discusses the Top SE program established to bridge the industry-academia gap. The program features extensive use of software engineering tools, not only to introduce students to the tools, but also as a conduit for learning the techniques and guidelines needed to apply the tools to practical software development situations. The curriculum is organized around practical problems mainly from the area of digital home appliances and focuses on upper stream software development processes. The Top SE program is developed and operated by a close collaboration between industry and academia. We illustrate our discussion with examples from one of the courses, Verification of Design Models, which takes up model checking technologies, including three specific tools: SPIN, SMV, and LTSA.
UR - http://www.scopus.com/inward/record.url?scp=34548755551&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=34548755551&partnerID=8YFLogxK
U2 - 10.1109/ICSE.2007.89
DO - 10.1109/ICSE.2007.89
M3 - Conference contribution
AN - SCOPUS:34548755551
SN - 0769528287
SN - 9780769528281
T3 - Proceedings - International Conference on Software Engineering
SP - 708
EP - 717
BT - Proceedings - 29th International Conference on Software Engineering, ICSE 2007
Y2 - 20 May 2007 through 26 May 2007
ER -