413 search results - page 14 / 83 » Teaching Regression with Simulation |
SPIN
2009
Springer
14 years 2 months ago
2009
Springer
This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and filter...
IWPSE
2005
IEEE
14 years 1 months ago
2005
IEEE
The notion of refactoring —transforming the sourcecode of an object-oriented program without changing its external behaviour — has been studied intensively within the last dec...
ICALT
2008
IEEE
14 years 2 months ago
2008
IEEE
Nowadays most universities use different distance learning environments. However in the educational process besides forums, chats and other collaborative possibilities the content...
INTETAIN
2005
Springer
14 years 1 months ago
2005
Springer
PeaceMaker is a computer game simulation of the Israeli-Palestinian conflict. It is a tool that can be used to teach Israeli and Palestinian teenagers how both sides can work toget...
HAPTICS
2002
IEEE
14 years 20 days ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...