Search Sciweavers | Sciweavers

15787 search results - page 93 / 3158

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

click to vote

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

14 years 3 months ago

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

click to vote

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

14 years 3 months ago

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

click to vote

QSIC
2007
IEEE

111views Software Engineering» more QSIC 2007»

A Certified Infinite Norm for the Implementation of Elementary Functions

14 years 3 months ago

Download www.ens-lyon.fr

Sylvain Chevillard, Christoph Quirin Lauter

claim paper

Read More »

click to vote

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

14 years 3 months ago

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Jonas Lundberg, Welf Löwe

claim paper

Read More »

click to vote

SCAM
2007
IEEE

101views Software Engineering» more SCAM 2007»

Source Code Composition with the Reuseware Composition Framework

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers