Model checking education for software engineers in Japan

doi:10.1145/1595453.1595461

Model checking education for software engineers in Japan

Full Text:

PDF

Buy this Article

Authors:	Hideaki Nishihara	Research Center for Verification and Semantics National Institute of Advanced Industrial Science and Technology (AIST), Osaka, Japan
	Koichi Shinozaki	The Kansai Electric Power Co., Inc., Hyogo, Japan
	Koji Hayamizu	Melco Power Systems Co., Ltd., Kobe-shi, Japan
	Toshiaki Aoki	Research Center for Trustworthy e-Society Japan Advanced Institute of Science and Technology, Ishikawa, Japan
	Kenji Taguchi	Grace Center, Information Systems Architecture Research Division National Institute of Informatics, Chiyoda-ku, Tokyo, Japan
	Fumihiro Kumeno	Mitsubishi Research Institute, Inc., Chiyoda-ku, Tokyo, Japan

	2009 Article
Bibliometrics
· Downloads (6 Weeks): 0 · Downloads (12 Months): 22 · Citation Count: 1

Published in:

	· Newsletter
	ACM SIGCSE Bulletin archive
	Volume 41 Issue 2, June 2009 ACM New York, NY, USA table of contents doi>10.1145/1595453.1595461

Tools and Resources

Buy this Article
TOC Service:
- Email
- RSS
Save to Binder
Export Formats:
- BibTeX
- EndNote
- ACM Ref

Tags: body of knowledge computer science education curriculum evaluation model checking reliability standardization training verification

The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2012 ACM, Inc.
Terms of Usage Privacy Policy Code of Ethics Contact Us

Useful downloads:

Adobe Acrobat

QuickTime

Windows Media Player

Real Player