1088 search results - page 56 / 218 » Tools for support of automata-based programming |
SIGUCCS
2000
ACM
15 years 2 months ago
2000
ACM
In this paper, we describe the process we went through to redesign our training program in order to make it more targeted to the individual user, more responsive to a constantly c...
UM
2009
Springer
15 years 4 months ago
2009
Springer
Long term group work by small teams is a central part of many learning and workplace activities. Widespread group support tools such as wikis, version control systems and issue tra...
FASE
2007
Springer
15 years 3 months ago
2007
Springer
The Declared Type Generalization Checker is a plug-in for Eclipse’s Java Development Tools (JDT) that supports developers in systematically finding and using better fitting types...
102
click to vote
ICPP
2002
IEEE
15 years 2 months ago
2002
IEEE
The advantages of pattern-based programming have been well-documented in the sequential literature. However patterns have yet to make their way into mainstream parallel computing,...
UIST
1991
ACM
15 years 1 months ago
1991
ACM
User interface support software, such as UI toolkits, UIMSs, and interface builders, are currently too complex for undergraduates. Tools typically require a learning period of sev...