Top SE: Educating Superarchitects Who Can Apply Software Engineering Tools to Practical Development in Japan

Authors:
Shinichi Honiden;Yasuyuki Tahara;Nobukazu Yoshioka;Kenji Taguchi;Hironori Washizaki
Affiliations:
National Institute of Informatics/The University of Tokyo, Japan;National Institute of Informatics, Japan;National Institute of Informatics, Japan;National Institute of Informatics, Japan;National Institute of Informatics, Japan
Venue:
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Year:
2007

Citing 7
Cited 6

Concurrency: state models & Java programs

Concurrency: state models & Java programs
Symbolic Model Checking

Symbolic Model Checking
Collaborations: Closing the Industry-Academia Gap

IEEE Software
Guidelines for a graduate curriculum on embedded software and systems

ACM Transactions on Embedded Computing Systems (TECS)
The embedded software consortium of taiwan

ACM Transactions on Embedded Computing Systems (TECS)
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Teaching computer aided software engineering at the graduate level

Proceedings of the 13th annual conference on Innovation and technology in computer science education
Evolution of a course on model checking for practical applications

ACM SIGCSE Bulletin
Model checking education for software engineers in Japan

ACM SIGCSE Bulletin
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project

TFM '09 Proceedings of the 2nd International Conference on Teaching Formal Methods
Teaching Security Requirements Engineering Using SQUARE

REET '09 Proceedings of the 2009 Fourth International Workshop on Requirements Engineering Education and Training
Change the face of software engineering education: A field report from Taiwan

Information and Software Technology

Quantified Score

Hi-index	0.00

Visualization

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.