Sciweavers

16541 search results - page 142 / 3309

» Ontologies and Software Engineering

86

Voted

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

15 years 10 months ago

Verifying C++ with STL containers via predicate abstraction

Download www.cs.cmu.edu

Nicolas Blanc, Alex Groce, Daniel Kroening

claim paper

Read More »

107

Voted

QSIC
2007
IEEE

137views Software Engineering» more QSIC 2007»

Abstraction in Assertion-Based Test Oracles

15 years 10 months ago

Abstraction in Assertion-Based Test Oracles

Download cs.utep.edu

Yoonsik Cheon

claim paper

Read More »

110

QSIC
2007
IEEE

111views Software Engineering» more QSIC 2007»

A Certified Infinite Norm for the Implementation of Elementary Functions

15 years 10 months ago

A Certified Infinite Norm for the Implementation of Elementary Functions

Download www.ens-lyon.fr

Sylvain Chevillard, Christoph Quirin Lauter

claim paper

Read More »

92

SCAM
2007
IEEE

108views Software Engineering» more SCAM 2007»

Towards Path-Sensitive Points-to Analysis

15 years 10 months ago

Towards Path-Sensitive Points-to Analysis

Download www.dcs.kcl.ac.uk

Tobias Gutzmann, Jonas Lundberg, Welf Löwe

claim paper

Read More »

122

Voted

SCAM
2007
IEEE

101views Software Engineering» more SCAM 2007»

Source Code Composition with the Reuseware Composition Framework

15 years 10 months ago

Source Code Composition with the Reuseware Composition Framework

Download www.dcs.kcl.ac.uk

Jendrik Johannes

claim paper

Read More »

« Prev « First page 142 / 3309 Last » Next »