1781 search results - page 93 / 357 » Visualizing program execution using user abstractions |
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
SOFTVIS
2005
ACM
14 years 3 months ago
2005
ACM
Large software projects often require a programmer to make changes to unfamiliar source code. This paper presents the results of a formative observational study of seven professio...
VL
2008
IEEE
14 years 4 months ago
2008
IEEE
Although a new class of languages has emerged to enable end users to create their own web applications, little is known about how end-user programmers actually use such languages ...
ENDM
2010
13 years 10 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...
VL
2005
IEEE
14 years 3 months ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...