69 search results - page 4 / 14 » Teaching and training developer-testing techniques and tool ... |
AOSE
2003
Springer
14 years 1 months ago
2003
Springer
As agent-oriented paradigm is reaching a significant level of acceptance by software developers, there is a lack of integrated highstraction tools for the design and development o...
INTERACT
2003
13 years 10 months ago
2003
: New Information Technologies (IT) offer a new way for teaching and learning. Rather than simply duplicate old learning materials and make them correspond to the new IT tools, it ...
ELPUB
2007
ACM
14 years 14 days ago
2007
ACM
The European Accessible Information Network (EUAIN) was established to support the move to incorporate accessibility within mainstream content processing environments. EUAIN has b...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
A fundamental part of a Computer Science degree is learning to program. Rather than starting students on a full commercial language, we favour using a dedicated "teaching lan...
TACAS
2000
Springer
14 years 3 days ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...