Search Sciweavers | Sciweavers

15824 search results - page 90 / 3165

» Specialising in Software Engineering

click to vote

SEFM
2008
IEEE

118views Software Engineering» more SEFM 2008»

Widening Operators for Abstract Interpretation

14 years 4 months ago

Download www.dsi.unive.it

Agostino Cortesi

claim paper

Read More »

click to vote

SEFM
2008
IEEE

143views Software Engineering» more SEFM 2008»

Contract-Based Verification of Hierarchical Systems of Components

14 years 4 months ago

Download www-verimag.imag.fr

Sophie Quinton, Susanne Graf

claim paper

Read More »

click to vote

ADAEUROPE
2008
Springer

69views Software Engineering» more ADAEUROPE 2008»

A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions

14 years 4 months ago

Download www.cse.psu.edu

Sri Hari Krishna Narayanan, Mahmut T. Kandemir

claim paper

Read More »

click to vote

AGILEDC
2007
IEEE

83views Software Engineering» more AGILEDC 2007»

Experience Report 'Offshore XP for PDA development'

14 years 4 months ago

Download www.agile2007.org

Sergei Andrzeevski

claim paper

Read More »

click to vote

AGILEDC
2007
IEEE

228views Software Engineering» more AGILEDC 2007»

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

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers