2493 search results - page 72 / 499 » Tool Support for Design by Contract |
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
The agentTool III (aT3 ) development environment is built on the Eclipse platform and provides traditional model creation tools to support the analysis, design, and implementation...
IWPC
2006
IEEE
15 years 3 months ago
2006
IEEE
Program comprehension tools are a valuable resource for navigating and understanding large software systems. Package explorers, fan-in / fan-out views, dependency graphs and cover...
101
click to vote
CSCWD
2009
Springer
15 years 1 months ago
2009
Springer
Computer Supported Collaborative Learning could achieve a high impact on education for countries around the world if good enough tools were accounted in order to set Collaborative...
UIST
1995
ACM
15 years 1 months ago
1995
ACM
The central research issue addressed by this paper is how we can design computer interfaces that better support human attention and better maintain the fluency of work. To accompl...
102
click to vote
CSL
2006
Springer
14 years 9 months ago
2006
Springer
Support vector machines (SVMs) have proven to be a powerful technique for pattern classification. SVMs map inputs into a high dimensional space and then separate classes with a hy...