1401 search results - page 120 / 281 » Tool Integration for Reasoned Programming |
108
Voted
TOOLS
1997
IEEE
15 years 6 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). ...
131
Voted
HIS
2007
15 years 4 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...
104
Voted
KES
2004
Springer
15 years 8 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...
134
Voted
WWW
2007
ACM
16 years 3 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...
137
Voted
SCP
2010
15 years 29 days ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...