Search Sciweavers | Sciweavers

16725 search results - page 33 / 3345

» Engineering Software Correctness

176

Voted

ICSE
2010
IEEE-ACM

177views Software Engineering» more ICSE 2010»

Dynamic symbolic data structure repair

15 years 10 months ago

Download ranger.uta.edu

Generic repair of complex data structures is a new and exciting area of research. Existing approaches can integrate with good software engineering practices such as program assert...

Ishtiaque Hussain, Christoph Csallner

claim paper

Read More »

135

Voted

TAL
2004
Springer

122views Natural Language Processing» more TAL 2004»

Spelling Correction for Search Engine Queries

15 years 11 months ago

Download xldb.fc.ul.pt

Bruno Martins, Mário J. Silva

claim paper

Read More »

125

click to vote

EXPERT
2006

57views more EXPERT 2006»

Toward a General Logicist Methodology for Engineering Ethically Correct Robots

15 years 6 months ago

Download kryten.mm.rpi.edu

Selmer Bringsjord, Konstantine Arkoudas, Paul Bell...

claim paper

Read More »

147

click to vote

ICSE
2003
IEEE-ACM

144views Software Engineering» more ICSE 2003»

Fifth International Workshop on Economics-driven Software Engineering Research (EDSER-5) "The Search for Value in Engineering De

16 years 6 months ago

Download www.soberit.hut.fi

Jyrki Kontio, Shawn Butler

claim paper

Read More »

155

click to vote

ICSE
2008
IEEE-ACM

137views Software Engineering» more ICSE 2008»

SE-CSE 2008: the first international workshop on software engineering for computational science and engineering

16 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers