Search Sciweavers | Sciweavers

15787 search results - page 335 / 3158

» Is Software Engineering Training Enough for Software Enginee...

124

Voted

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

15 years 12 months ago

Download ase.informatik.uni-essen.de

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Ma...

claim paper

Read More »

167

click to vote

KBSE
2003
IEEE

130views Software Engineering» more KBSE 2003»

SPQR: Flexible Automated Design Pattern Extraction From Source Code

15 years 12 months ago

Download rockfish.cs.unc.edu

Jason McC. Smith, P. David Stotts

claim paper

Read More »

119

click to vote

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

15 years 12 months ago

Download www.carstensinz.de

Carsten Sinz, Amir Khosravizadeh, Wolfgang Kü...

claim paper

Read More »

136

click to vote

SCAM
2003
IEEE

96views Software Engineering» more SCAM 2003»

Design of the CodeBoost Transformation System for Domain-Specific Optimisation of C++ Programs

15 years 12 months ago

Download www.codeboost.org

Otto Skrove Bagge, Karl Trygve Kalleberg, Magne Ha...

claim paper

Read More »

139

Voted

SCAM
2003
IEEE

79views Software Engineering» more SCAM 2003»

Interprocedural Static Slicing of Binary Executables

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers