59 search results - page 4 / 12 » Assertions in End-User Software Engineering: A Think-Aloud S... |
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Web macros give web browser users ways to "program" tedious tasks, allowing those tasks to be repeated more quickly and reliably than when performed by hand. Web macros ...
ISESE
2006
IEEE
14 years 2 months ago
2006
IEEE
Spreadsheets are one of the most commonly used types of programs in the world, and it is important that they be sufficiently dependable. To help end users who create spreadsheets ...
FSTTCS
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
End users develop more software than any other group of programmers, using software authoring devices such as e-mail filtering editors, by-demonstration macro builders, and spread...
AVI
2010
13 years 10 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...