Sciweavers

50 search results - page 1 / 10

» kbse 2007

74

KBSE
2007
IEEE

94views Software Engineering» more KBSE 2007»

Software reuse and evolution with generative techniques

15 years 9 months ago

Software reuse and evolution with generative techniques

Download swen.uwaterloo.ca

Krzysztof Czarnecki

claim paper

Read More »

70

KBSE
2007
IEEE

77views Software Engineering» more KBSE 2007»

Behavioral adaptation of component compositions based on process algebra encodings

15 years 9 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 »

84

KBSE
2007
IEEE

97views Software Engineering» more KBSE 2007»

Efficiently monitoring data-flow test coverage

15 years 9 months ago

Efficiently monitoring data-flow test coverage

Download www.cc.gatech.edu

Raúl A. Santelices, Mary Jean Harrold

claim paper

Read More »

71

KBSE
2007
IEEE

80views Software Engineering» more KBSE 2007»

Verifying C++ with STL containers via predicate abstraction

15 years 9 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 »

108

KBSE
2007
IEEE

90views Software Engineering» more KBSE 2007»

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations

15 years 9 months ago

Tool support for the compile-time execution structure of object-oriented programs with ownership annotations

Download www.cs.wayne.edu

Ownership domain annotations enable obtaining at compiletime the system’s execution structure from the annotated program. The execution structure is sound, hierarchical (and thu...

Marwan Abi-Antoun, Jonathan Aldrich

claim paper

Read More »

« Prev « First page 1 / 10 Last » Next »