Sciweavers

15777 search results - page 205 / 3156

» Engineering in Software

107

KBSE
2008
IEEE

99views Software Engineering» more KBSE 2008»

Model-Driven Development of Mobile Applications

15 years 10 months ago

Model-Driven Development of Mobile Applications

Download www.medien.ifi.lmu.de

Florence T. Balagtas-Fernandez, Heinrich Hussmann

claim paper

Read More »

94

IWPC
2007
IEEE

81views Software Engineering» more IWPC 2007»

Recovering Concepts from Source Code with Automated Concept Identification

15 years 10 months ago

Recovering Concepts from Source Code with Automated Concept Identification

Download gannodss.csamu.org

Maurice M. Carey, Gerald C. Gannod

claim paper

Read More »

84

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 »

97

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 »

82

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 205 / 3156 Last » Next »