1401 search results - page 120 / 281 » Tool Integration for Reasoned Programming |
TOOLS
1997
IEEE
14 years 2 months ago
1997
IEEE
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
HIS
2007
13 years 11 months ago
2007
Genetic programming is known to provide good solutions for many problems like the evolution of network protocols and distributed algorithms. In such cases it is most likely a hard...
KES
2004
Springer
14 years 3 months ago
2004
Springer
The rapid growth of communication technologies and the invention of set-top-box (STB) and personal digital recorder (PDR) have enabled today’s television to receive and store tre...
WWW
2007
ACM
14 years 10 months ago
2007
ACM
Object-oriented programming is the current mainstream programming paradigm but existing RDF APIs are mostly tripleoriented. Traditional techniques for bridging a similar gap betwe...
SCP
2010
13 years 8 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...