Search Sciweavers | Sciweavers

15885 search results - page 389 / 3177

» Strategic Software Engineering

138

click to vote

KBSE
2010
IEEE

170views Software Engineering» more KBSE 2010»

Verification-driven slicing of UML/OCL models

15 years 4 months ago

Download www.lsi.upc.edu

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

claim paper

Read More »

154

click to vote

REFSQ
2010
Springer

116views Software Engineering» more REFSQ 2010»

Towards Multi-view Feature-Based Configuration

15 years 4 months ago

Download www.fundp.ac.be

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

claim paper

Read More »

116

click to vote

SIGSOFT
2010
ACM

100views Software Engineering» more SIGSOFT 2010»

On the shoulders of giants

15 years 4 months ago

Download www.capatcolumbia.com

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

claim paper

Read More »

121

click to vote

SIGSOFT
2010
ACM

116views Software Engineering» more SIGSOFT 2010»

PENELOPE: weaving threads to expose atomicity violations

15 years 4 months ago

Download www.cs.uiuc.edu

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

claim paper

Read More »

149

Voted

SSIRI
2010

103views Software Engineering» more SSIRI 2010»

Model-Based Argument Analysis for Evolving Security Requirements

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers