489 search results - page 13 / 98 » Support tools for graphs in computer science |
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
JIGSAW is a well-known technique for collaborative learning. Students typically use it in a face-to-face setting without computer support. This paper describes a Webbased tool for...
107
click to vote
ACSC
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper introduces a repeatable and constructive approach to the analysis of loop progress and termination conditions in imperative programs. It is applicable to all loops for ...
114
click to vote
ACSC
2001
IEEE
15 years 5 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
CSREAEEE
2006
15 years 2 months ago
2006
Task information support on the Web is not always an easy and straightforward process. Much of the information is inaccurate, biased, out-of-date, or just not thorough enough. The...
112
click to vote
SPIN
2009
Springer
15 years 8 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...