Sciweavers

304 search results - page 3 / 61
» An Online Programming Assessment Tool
Sort
View
ANLP
1997
148views more  ANLP 1997»
13 years 9 months ago
CogentHelp: NLG meets SE in a tool for authoring dynamically generated on-line help
CogentHelp is a prototype tool for authoring dynamicallygenerated on-line help for applications with graphical user interfaces, embodying the "evolution-friendly" proper...
Michael White, David E. Caldwell
ADAEUROPE
2009
Springer
14 years 2 months ago
An Experience on Ada Programming Using On-Line Judging
Abstract. Ada has proved to be one of the best languages to learn computer programming. Nevertheless, learning to program is difficult and when it is combined with lack of motivati...
Francisco J. Montoya-Dato, José Luis Fern&a...
VSTTE
2010
Springer
13 years 5 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
IWPC
2007
IEEE
14 years 1 months ago
A Comparative Study of Three Program Exploration Tools
Programmers need tools to help explore large software systems when performing software evolution tasks. A variety of tools have been created to improve the effectiveness of such e...
Brian de Alwis, Gail C. Murphy, Martin P. Robillar...
BMCBI
2005
60views more  BMCBI 2005»
13 years 7 months ago
PHACCS, an online tool for estimating the structure and diversity of uncultured viral communities using metagenomic information
Background: Phages, viruses that infect prokaryotes, are the most abundant microbes in the world. A major limitation to studying these viruses is the difficulty of cultivating the...
Florent Angly, Beltran Rodriguez-Brito, David Bang...