Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japan

Shinichi Honiden, Yasuyuki Tahara, Nobukazu Yoshioka, Kenji Taguchi, Hironori Washizaki

研究成果: Conference contribution

17 被引用数 (Scopus)

抄録

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.

本文言語English
ホスト出版物のタイトルProceedings - 29th International Conference on Software Engineering, ICSE 2007
ページ708-717
ページ数10
DOI
出版ステータスPublished - 2007 9 25
外部発表はい
イベント29th International Conference on Software Engineering, ICSE 2007 - Minneapolis, MN, United States
継続期間: 2007 5 202007 5 26

出版物シリーズ

名前Proceedings - International Conference on Software Engineering
ISSN(印刷版)0270-5257

Conference

Conference29th International Conference on Software Engineering, ICSE 2007
CountryUnited States
CityMinneapolis, MN
Period07/5/2007/5/26

ASJC Scopus subject areas

  • Software

フィンガープリント 「Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japan」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル