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

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2007, Pages 708-717

  Honiden, Shinichi ^a   Tahara, Yasuyuki ^b   Yoshioka, Nobukazu ^b   Taguchi, Kenji ^b   Washizaki, Hironori ^b  

^a UNIVERSITY OF TOKYO   (Japan)

^b NATIONAL INSTITUTE OF INFORMATICS   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

FEATURE EXTRACTION; INFORMATION USE; JAPAN; PROBLEM SOLVING; SOFTWARE ARCHITECTURE; VERIFICATION;

SOFTWARE DEVELOPMENT STREAMING; SOFTWARE ENGINEERING TOOLS; VERIFICATION OF DESIGN MODELS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 34548755551     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2007.89     Document Type: Conference Paper

References (12)

1. K. Beckman, N. Coulter, S. Khajenoori, and N. R. Mead. Collaborations: Closing the industry-academia gap. IEEE Software Engineering, 14(6):49-57, 1997.
2. G. J. Holzmann. The SPIN model checker: Primer and reference manual. Addison Wesley, 2004.
3. J. Magee and J. Kramer. Concurrency: State Models & Java Programs, Second Edition. John Wiley & Sons, 2006.
4. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell, MA, USA, 1993.
5. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, 2001.
6. S. Nagano, N. Yoshioka, Y. Tahara, and S. Honiden. Model driven verification process for software design. Journal of Information Processing, Vol. 47, No. 1, pp. 193-208,2006. in Japanese.
7. https://sec.ipa.go.jp/download/200504eb.php. only available in Japanese.
8. T-Y. Hung, C-A. King and Y-L. Steve Lin. The Embedded Software Consortium of Taiwan. Transactions on Embedded Computing Systems, Vol. 4, No. 3, pp612-632, ACM, 2005.
9. P. Caspi, et. al.,. Guidelines for a Graduate Curriculum on Embedded Software and Systems. Transactions on Embedded Computing Systems, Vol. 4, No. 3, pp587-611, ACM, 2005.
10. Computing Curricula 2005. ACM, AIS, IEEE-CS, 2005.
11. Guide to the Software Engineering Body of Knowledge. IEEE, 2005.
12. ISO/IEC TR 9126-1 Software engineering - Product Quality -. Part 1: Quality model, 2001.