Sciweavers

16968 search results - page 119 / 3394

» Software Engineering in the Small

107

IWPC
2007
IEEE

107views Software Engineering» more IWPC 2007»

15 Years of Program Comprehension

15 years 10 months ago

15 Years of Program Comprehension

Download csdl2.computer.org

Scott R. Tilley

claim paper

Read More »

125

IWPSE
2007
IEEE

108views Software Engineering» more IWPSE 2007»

BugzillaMetrics: an adaptable tool for evaluating metric specifications on change requests

15 years 10 months ago

BugzillaMetrics: an adaptable tool for evaluating metric specifications on change requests

Download bugzillametrics.sourceforge.net

Lars Grammel, Holger Schackmann, Horst Lichter

claim paper

Read More »

87

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

15 years 10 months ago

Behavioral adaptation of component compositions based on process algebra encodings

Download www.lri.fr

Radu Mateescu, Pascal Poizat, Gwen Salaün

claim paper

Read More »

100

KBSE
2007
IEEE

97views Software Engineering» more KBSE 2007»

Efficiently monitoring data-flow test coverage

15 years 10 months ago

Efficiently monitoring data-flow test coverage

Download www.cc.gatech.edu

Raúl A. Santelices, Mary Jean Harrold

claim paper

Read More »

85

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 »

« Prev « First page 119 / 3394 Last » Next »