Sciweavers

5228 search results - page 591 / 1046
» Case Studies for Software Engineers
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
A value-based approach for documenting design decisions rationale: a replicated experiment
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...
Davide Falessi, Rafael Capilla, Giovanni Cantone
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
16 years 1 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
IWPC
2009
IEEE
16 years 1 months ago
Resumption strategies for interrupted programming tasks
Interruptions are a daily reality for professional programmers. Unfortunately, the strategies programmers use to recover lost knowledge and resume work have not yet been well stud...
Chris Parnin, Spencer Rugaber
COMSWARE
2008
IEEE
16 years 1 months ago
Implementation aspects of reliable transport protocols in wireless sensor networks
Abstract—Our previous study comparing analytically a comprehensive set of reliable data streaming protocols has shown that an hybrid protocol comprising stop-and-wait hop-by-hop ...
Tuan D. Le, Yifei Dong, Ren Liu, Sanjay Jha, Zvi R...
CSSE
2008
IEEE
16 years 1 months ago
The Piloting Researches on Collaborative Lesson-Preparing Based on Eduwiki Platform
—This paper describes a collaborative lesson-preparing Platform, named Eduwiki, which supports a community of inservice teachers creating, sharing, and improving capacity of less...
Chaohua Gong, Yueliang Zhou