Sciweavers

234 search results - page 19 / 47
» Experience in Implementing a Learning Software Organization
Sort
View
ASPLOS
2009
ACM
16 years 2 months ago
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
Martin Dimitrov, Huiyang Zhou
CAV
2006
Springer
95views Hardware» more  CAV 2006»
15 years 5 months ago
Yasm: A Software Model-Checker for Verification and Refutation
Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...
Arie Gurfinkel, Ou Wei, Marsha Chechik
CHI
2010
ACM
15 years 8 months ago
Lessons learned from blog muse: audience-based inspiration for bloggers
Blogging in the enterprise is increasingly popular and recent research has shown that there are numerous benefits for both individuals and the organization, e.g. developing reputa...
Casey Dugan, Werner Geyer, David R. Millen
AGILEDC
2007
IEEE
15 years 8 months ago
XP and Junior Developers: 7 Mistakes (and how to avoid them)
In two years of leading agile projects at Avanade, an organization heavy in recent college hires, I’ve learned a number of lessons about how to be successful with junior develop...
Richard Lawrence
MHCI
2005
Springer
15 years 7 months ago
Mystery in the museum: collaborative learning activities using handheld devices
In this paper, we describe the experience of designing a collaborative learning activity for a traditional historical/cultural museum. The activity, based on a “Mystery in the M...
Jorge Simarro Cabrera, Henar Muñoz Frutos, ...