Search Sciweavers | Sciweavers

15777 search results - page 28 / 3156

» The Reformulation-Optimization Software Engine

click to vote

SIGSOFT
2005
ACM

109views Software Engineering» more SIGSOFT 2005»

Anchoring and adjustment in software estimation

14 years 1 months ago

Download www.cs.toronto.edu

Jorge Aranda, Steve M. Easterbrook

claim paper

Read More »

click to vote

ICSE
2005
IEEE-ACM

99views Software Engineering» more ICSE 2005»

Software visualization

14 years 1 months ago

Download www.cg.tuwien.ac.at

Stephan Diehl

claim paper

Read More »

click to vote

RE
2005
Springer

106views Software Engineering» more RE 2005»

Dependable Software: An Oxymoron&

14 years 1 months ago

Download people.csail.mit.edu

Daniel Jackson

claim paper

Read More »

click to vote

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

14 years 1 months ago

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

click to vote

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

Programming with Proofs: Language-Based Approaches to Totally Correct Software

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers