5664 search results - page 386 / 1133 » Creativity support tools |
164
click to vote
SEFM
2003
IEEE
16 years 1 days ago
2003
IEEE
The Specification and Description Language (SDL) together with its associated tool sets can be used for the generation of Tree and Tabular Combined Notation (TTCN) test cases. Sur...
156
click to vote
ITICSE
2003
ACM
16 years 1 days ago
2003
ACM
We have students understand, enjoy, and actually use CRC cards in the introductory object-oriented design process that we teach. We attempted to teach a more sophisticated design ...
267
click to vote
AMKM
2003
Springer
16 years 22 hour ago
2003
Springer
: Knowledge Management is most necessary and valuable in a collaborative and distributed environment. A problem with commercial knowledge management tools is that they do not unde...
184
Voted
ISCIS
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, a comprehensive e-tutoring service framework is presented. It compromises a set of individual applications implemented based on the use of existing open source tools...
174
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. The Nuprl system is a framework for reasoning about mathematics and programming. Over the years its design has been substantially improved to meet the demands of large-sc...