Sciweavers

15777 search results - page 572 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
MSR
2006
ACM
16 years 7 days 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
146
Voted
VSTTE
2005
Springer
15 years 11 months 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
SIGSOFT
2010
ACM
15 years 4 months ago
Software for everyone by everyone
Given the dizzying pace of change in computer science, trying to look too far into the future of software engineering is hard. However, it might be possible to predict the future ...
Tevfik Bultan
158
Voted
ICSE
1995
IEEE-ACM
15 years 9 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
15 years 11 months ago
Automatic Verification of Strongly Dynamic Software Systems
Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, A...