Search Sciweavers | Sciweavers

16725 search results - page 33 / 3345

» Engineering Software Correctness

109

click to vote

ICSE
2010
IEEE-ACM

177views Software Engineering» more ICSE 2010»

Dynamic symbolic data structure repair

15 years 4 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 »

click to vote

TAL
2004
Springer

122views Natural Language Processing» more TAL 2004»

Spelling Correction for Search Engine Queries

15 years 5 months ago

Download xldb.fc.ul.pt

Bruno Martins, Mário J. Silva

claim paper

Read More »

click to vote

EXPERT
2006

57views more EXPERT 2006»

Toward a General Logicist Methodology for Engineering Ethically Correct Robots

14 years 11 months ago

Download kryten.mm.rpi.edu

Selmer Bringsjord, Konstantine Arkoudas, Paul Bell...

claim paper

Read More »

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

15 years 12 months ago

Download www.soberit.hut.fi

Jyrki Kontio, Shawn Butler

claim paper

Read More »

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

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers