Search Sciweavers | Sciweavers

15777 search results - page 351 / 3156

» The Reformulation-Optimization Software Engine

click to vote

IWPSE
2010
IEEE

120views Software Engineering» more IWPSE 2010»

Redocumentation of a legacy banking system: an experience report

15 years 1 months ago

Download win.ua.ac.be

Joris Van Geet, Peter Ebraert, Serge Demeyer

claim paper

Read More »

132

click to vote

KBSE
2010
IEEE

190views Software Engineering» more KBSE 2010»

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines

15 years 1 months ago

Download www.leduotang.com

Sylvain Hallé, Taylor Ettema, Chris Bunch, ...

claim paper

Read More »

103

Voted

KBSE
2010
IEEE

170views Software Engineering» more KBSE 2010»

Verification-driven slicing of UML/OCL models

15 years 1 months ago

Download www.lsi.upc.edu

Asadullah Shaikh, Robert Clarisó, Uffe Kock...

claim paper

Read More »

115

click to vote

REFSQ
2010
Springer

116views Software Engineering» more REFSQ 2010»

Towards Multi-view Feature-Based Configuration

15 years 1 months ago

Download www.fundp.ac.be

Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobb...

claim paper

Read More »

click to vote

SIGSOFT
2010
ACM

100views Software Engineering» more SIGSOFT 2010»

On the shoulders of giants

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers