16968 search results - page 13 / 3394 » Software Engineering in the Small |
EUC
2008
Springer
14 years 11 months ago
2008
Springer
The existing software engineering seldom considers software usability, and Human-Computer Interaction (HCI) techniques which can improve the software usability cannot guarantee de...
UIST
2004
ACM
15 years 2 months ago
2004
ACM
Overview visualizations for small-screen web browsers were designed to provide users with visual context and to allow them to rapidly zoom in on tiles of relevant content. Given t...
SEW
2006
IEEE
15 years 3 months ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
SOFTWARE
2002
14 years 9 months ago
2002
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...