6 search results - page 1 / 2 » A Tool for Writing and Debugging Algebraic Specifications |
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
Despite their benefits, programmers rarely use formal specifications, because they are difficult to write and they require an up front investment in time. To address these issues,...
TOSEM
2008
13 years 4 months ago
2008
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
SIGCSE
2000
ACM
13 years 8 months ago
2000
ACM
Being exposed to well-written code is a valuable experience for students -- especially when the code is larger or more complex than they are currently capable of writing. In addit...
POPL
2002
ACM
14 years 4 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
OOPSLA
2005
Springer
13 years 9 months ago
2005
Springer
In this paper we describe AutAT, an open source Eclipse plugin to better enable test driven development of web applications. AutAT lets non-technical people write acceptance tests...