2613 search results - page 77 / 523 » Proposal for Tools Supporting Component Based Programming |
119
click to vote
SOCO
2008
Springer
15 years 4 months ago
2008
Springer
Superimposition is a composition technique that has been applied successfully in several areas of software development. In order to unify several languages and tools that rely on s...
147
click to vote
LOPSTR
2007
Springer
15 years 11 months ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
132
Voted
IWPC
2006
IEEE
15 years 10 months ago
2006
IEEE
Several approaches to program comprehension have been proposed along the years, ranging from fact extraction to sophisticated visualization tools. In order to effectively assess t...
176
click to vote
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...
106
click to vote
ENTCS
2010
15 years 4 months ago
2010
Contract-based design is an expressive paradigm for a modular and compositional specification of programs. It is in turn becoming a fundamental concept in mainstream industrial co...