Search Sciweavers | Sciweavers

15777 search results - page 78 / 3156

» The Reformulation-Optimization Software Engine

161

click to vote

SEFM
2008
IEEE

118views Software Engineering» more SEFM 2008»

Widening Operators for Abstract Interpretation

16 years 1 months ago

Download www.dsi.unive.it

Agostino Cortesi

claim paper

Read More »

171

click to vote

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

16 years 1 months ago

Download www-verimag.imag.fr

Sophie Quinton, Susanne Graf

claim paper

Read More »

167

click to vote

ADAEUROPE
2008
Springer

69views Software Engineering» more ADAEUROPE 2008»

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

16 years 1 months ago

Download www.cse.psu.edu

Sri Hari Krishna Narayanan, Mahmut T. Kandemir

claim paper

Read More »

124

click to vote

AGILEDC
2007
IEEE

83views Software Engineering» more AGILEDC 2007»

Experience Report 'Offshore XP for PDA development'

16 years 1 months ago

Download www.agile2007.org

Sergei Andrzeevski

claim paper

Read More »

166

Voted

AGILEDC
2007
IEEE

228views Software Engineering» more AGILEDC 2007»

Less, Never More: Launching a Product with Critical Features and Nothing More

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers