Search Sciweavers | Sciweavers

15777 search results - page 369 / 3156

» Software Engineering

148

Voted

KBSE
2010
IEEE

170views Software Engineering» more KBSE 2010»

Verification-driven slicing of UML/OCL models

15 years 5 months ago

Download www.lsi.upc.edu

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

claim paper

Read More »

166

click to vote

REFSQ
2010
Springer

116views Software Engineering» more REFSQ 2010»

Towards Multi-view Feature-Based Configuration

15 years 5 months ago

Download www.fundp.ac.be

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

claim paper

Read More »

131

click to vote

SIGSOFT
2010
ACM

100views Software Engineering» more SIGSOFT 2010»

On the shoulders of giants

15 years 5 months ago

Download www.capatcolumbia.com

Earl T. Barr, Christian Bird, Eric Hyatt, Tim Menz...

claim paper

Read More »

134

Voted

SIGSOFT
2010
ACM

116views Software Engineering» more SIGSOFT 2010»

PENELOPE: weaving threads to expose atomicity violations

15 years 5 months ago

Download www.cs.uiuc.edu

Francesco Sorrentino 0002, Azadeh Farzan, P. Madhu...

claim paper

Read More »

168

click to vote

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers