1401 search results - page 103 / 281 » Tool Integration for Reasoned Programming |
SIGCSE
2009
ACM
14 years 9 months ago
2009
ACM
Many academic and industry professionals have called for more testing in computer science curricula. Test-driven development (TDD) has been proposed as a solution to improve testi...
GECCO
2007
Springer
14 years 3 months ago
2007
Springer
—In this paper, an autonomous music composition tool is developed using Genetic Algorithms. The production is enhanced by integrating formal grammar rules. A formal grammar is a ...
RTCSA
2003
IEEE
14 years 2 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
WOTUG
2008
13 years 10 months ago
2008
When teaching concurrency, using a process-oriented language, it is often introduced through a visual representation of programs in the form of process network . These diagrams all...
TOOLS
1999
IEEE
14 years 1 months ago
1999
IEEE
The paper describes the design and the Java implementation of a coordination architecture for mobile agents, based on an object-oriented Linda-like tuple space model, compliant wi...