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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

16 Citations (Scopus)

Abstract

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.

Original languageEnglish
Title of host publicationProceedings - International Conference on Software Engineering
Pages708-717
Number of pages10
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event29th International Conference on Software Engineering, ICSE 2007 - Minneapolis, MN
Duration: 2007 May 202007 May 26

Other

Other29th International Conference on Software Engineering, ICSE 2007
CityMinneapolis, MN
Period07/5/2007/5/26

Fingerprint

Software engineering
Domestic appliances
Model checking
Curricula
Industry
Students

ASJC Scopus subject areas

  • Software

Cite this

Honiden, S., Tahara, Y., Yoshioka, N., Taguchi, K., & Washizaki, H. (2007). Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japan. In Proceedings - International Conference on Software Engineering (pp. 708-717). [4222632] https://doi.org/10.1109/ICSE.2007.89

Top SE : Educating superarchitects who can apply software engineering tools to practical development in Japan. / Honiden, Shinichi; Tahara, Yasuyuki; Yoshioka, Nobukazu; Taguchi, Kenji; Washizaki, Hironori.

Proceedings - International Conference on Software Engineering. 2007. p. 708-717 4222632.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Honiden, S, Tahara, Y, Yoshioka, N, Taguchi, K & Washizaki, H 2007, Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japan. in Proceedings - International Conference on Software Engineering., 4222632, pp. 708-717, 29th International Conference on Software Engineering, ICSE 2007, Minneapolis, MN, 07/5/20. https://doi.org/10.1109/ICSE.2007.89
Honiden S, Tahara Y, Yoshioka N, Taguchi K, Washizaki H. Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japan. In Proceedings - International Conference on Software Engineering. 2007. p. 708-717. 4222632 https://doi.org/10.1109/ICSE.2007.89
Honiden, Shinichi ; Tahara, Yasuyuki ; Yoshioka, Nobukazu ; Taguchi, Kenji ; Washizaki, Hironori. / Top SE : Educating superarchitects who can apply software engineering tools to practical development in Japan. Proceedings - International Conference on Software Engineering. 2007. pp. 708-717
@inproceedings{e61e60a17e7646fe96208244baa3878f,
title = "Top SE: Educating superarchitects who can apply software engineering tools to practical development in Japan",
abstract = "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.",
author = "Shinichi Honiden and Yasuyuki Tahara and Nobukazu Yoshioka and Kenji Taguchi and Hironori Washizaki",
year = "2007",
doi = "10.1109/ICSE.2007.89",
language = "English",
isbn = "0769528287",
pages = "708--717",
booktitle = "Proceedings - International Conference on Software Engineering",

}

TY - GEN

T1 - Top SE

T2 - Educating superarchitects who can apply software engineering tools to practical development in Japan

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

SN - 0769528287

SN - 9780769528281

SP - 708

EP - 717

BT - Proceedings - International Conference on Software Engineering

ER -