CS Store Search
Displaying 1-4 out of 4 total
Coverage Estimation in Model Checking with Bitstate Hashing
IEEE Transactions on Software Engineering
By Satoshi Ikeda,Masahiro Jibiki,Yasushi Kuno
Issue Date:April 2013
Explicit-state model checking which is conducted by state space search has difficulty in exploring satisfactory state space because of its memory requirements. Though bitstate hashing achieves memory efficiency, it cannot guarantee complete verification. T...
Multilingual Programming Language Environments for Intercultural Collaboration of Programming Education in K-12
Convergence Information Technology, International Conference on
By YongChul Yeum,DaeYoung Kwon,SeungWook Yoo,WonGyu Lee,Susumu Kanemune,Yasushi Kuno
Issue Date:November 2007
This article is chiefly concerned with multilingual pro- gramming language and system for collaboration of pro- gramming education in K-12. For a programming language to become a multilingual, it could be programmed in a man- ner independent on any locale....
Dolittle — Experiences in Teaching Programming at K12 Schools
Creating, Connecting and Collaborating through Computing, International Conference on
By Susumu Kanemune, Takako Nakatani, Rie Mitarai, Shingo Fukui, Yasushi Kuno
Issue Date:January 2004
The Japanese government has been promoting IT education, including programming, at elementary and secondary (K12) schools since 2002. We have developed Dolittle, an object-oriented programming language suitable for K12 education, and evaluated it through t...
A CS unplugged design pattern
Found in: Proceedings of the 40th ACM technical symposium on Computer science education (SIGCSE '09)
By Mitaro Namiki, Susumu Kanemune, Tim Bell, Tomohiro Nishida, Yasushi Kuno, Yukio Idosaka
Issue Date:March 2009
"Computer Science (CS) Unplugged" is an educational method for introducing non-specialists to concepts of CS through hands-on activities that don't require the use of a computer. Often the deeper concepts of CS have been considered as being too difficult f...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.