Sciweavers

15783 search results - page 644 / 3157
» Evidence-Based Software Engineering
Sort
View
VLSISP
2010
127views more  VLSISP 2010»
15 years 2 months ago
An Efficient Method for Evaluating Complex Polynomials
Milos D. Ercegovac, Jean-Michel Muller
MSR
2006
ACM
16 years 1 months ago
A study of the contributors of PostgreSQL
This report describes some characteristics of the development team of PostgreSQL that were uncovered by analyzing the history of its software artifacts as recorded by the projectâ...
Daniel M. Germán
VSTTE
2005
Springer
16 years 26 days ago
Toasters, Seat Belts, and Inferring Program Properties
Today’s software does not come with meaningful guarantees. This position paper explores why this is the case, suggests societal and technical impediments to more dependable softw...
David Evans
ICSE
1995
IEEE-ACM
15 years 11 months ago
Reverse Engineering of Legacy Systems: A Path Toward Success
This paper addresses the question of whether the reverse engineering of legacy systems is doomed to failure. Our position is that the answer is highly dependent on the specific go...
Alex Quilici
VSTTE
2005
Springer
16 years 26 days ago
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, A...