A system for teaching concurrent programming
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The role of language paradigms in teaching programming
SIGCSE '03 Proceedings of the 34th SIGCSE technical symposium on Computer science education
Visualizing the Synchronization of Java-Threads with UML
VL '00 Proceedings of the 2000 IEEE International Symposium on Visual Languages (VL'00)
ThreadMentor: a pedagogical tool for multithreaded programming
Journal on Educational Resources in Computing (JERIC)
Teaching concurrency and nondeterminism with spin
Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
JThreadSpy: A Tool for Improving the Effectiveness of Concurrent System Teaching and Learning
CSSE '08 Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 05
| Hi-index | 0.00 |
This paper presents a tool that can be used to simulate a system of concurrent processes which communicate through shared variables. Mechanisms for defining nondeterminism, atomic actions and process synchronization are supported. In addition, it includes a prototype for verifying basic safety properties such as mutual exclusion and absence of deadlocks using model checking technique. The aim is to provide teachers and students with a simple framework where concurrency concepts can be examined and grasped easily in an abstract and pure environment away from the complexities and sophistication of conventional programming environments.