56 search results - page 10 / 12 » A case study of API redesign for improved usability |
CASSIS
2004
Springer
14 years 1 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
ICSE
2004
IEEE-ACM
14 years 8 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,...
AUTOMOTIVEUI
2009
ACM
14 years 3 months ago
2009
ACM
The increasing use of touchscreen interfaces in vehicles poses challenges to designers in terms of optimizing safety, usability and affective response. It is thought that the appl...
ICSM
2007
IEEE
14 years 2 months ago
2007
IEEE
Maintainability is a key quality attribute of successful software systems. However, its management in practice is still problematic. Currently, there is no comprehensive basis for...
SBCCI
2004
ACM
14 years 2 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...