1782 search results - page 72 / 357 » Tool Support for Proof Engineering |
130
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
Involving graphic designers in the large-scale development of user interfaces requires tools that provide more graphical flexibility and support efficient software processes. Th...
188
click to vote
APSEC
2007
IEEE
15 years 9 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...
156
click to vote
WWW
2007
ACM
16 years 6 months ago
2007
ACM
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
162
click to vote
CSCW
2006
ACM
15 years 11 months ago
2006
ACM
This paper presents the conceptual design of TagSEA, a collaborative tool to support asynchronous software development. Our goal is to develop a lightweight source code annotation...
152
click to vote
CSMR
2008
IEEE
15 years 12 months ago
2008
IEEE
To understand the evolution of software researchers have developed a plethora of tools to parse, model, and analyze the history of systems. Despite their usefulness, a common down...