1952 search results - page 64 / 391 » Integrating Pair Programming into a Software Development Pro... |
155
Voted
CADE
2009
Springer
16 years 3 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
129
Voted
SIGADA
2004
Springer
15 years 8 months ago
2004
Springer
System and software development has become an increasingly complex science. With so many emerging devices, processors, systems specification languages, software implementation lan...
103
Voted
ECLIPSE
2006
ACM
15 years 8 months ago
2006
ACM
In this paper, we present the APFEL plug-in that collects finegrained changes from version archives in a database. APFEL is built upon the Eclipse infrastructure for CVS and Java....
117
Voted
TKDE
2008
15 years 1 months ago
2008
One of the central problems of database integration is schema matching, that is, the identification of similar data elements in two or more databases or other data sources. Existin...
92
Voted
ANOR
2005
15 years 2 months ago
2005
Recent developments in integer-programming software systems have tremendously improved our ability to solve large-scale instances. We review the major algorithmic components of sta...