Search Sciweavers | Sciweavers

15794 search results - page 359 / 3159

» Agent-Oriented Software Engineering

126

Voted

KBSE
2003
IEEE

84views Software Engineering» more KBSE 2003»

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores

16 years 21 hour 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

16 years 21 hour ago

Download rockfish.cs.unc.edu

Jason McC. Smith, P. David Stotts

claim paper

Read More »

122

click to vote

QSIC
2003
IEEE

84views Software Engineering» more QSIC 2003»

Verifying CIM Models of Apache Web-Server Configurations

16 years 19 hour 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

16 years 18 hour 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

16 years 18 hour ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers