Sciweavers

19587 search results - page 162 / 3918

» Systems Engineering for software Engineers

115

Voted

PASTE
2005
ACM

103views Software Engineering» more PASTE 2005»

SableSpMT: a software framework for analysing speculative multithreading in Java

15 years 10 months ago

SableSpMT: a software framework for analysing speculative multithreading in Java

Download groups.csail.mit.edu

Christopher J. F. Pickett, Clark Verbrugge

claim paper

Read More »

131

SIGSOFT
2005
ACM

109views Software Engineering» more SIGSOFT 2005»

Anchoring and adjustment in software estimation

15 years 10 months ago

Anchoring and adjustment in software estimation

Download www.cs.toronto.edu

Jorge Aranda, Steve M. Easterbrook

claim paper

Read More »

148

Voted

ICSE
2005
IEEE-ACM

99views Software Engineering» more ICSE 2005»

Software visualization

15 years 10 months ago

Software visualization

Download www.cg.tuwien.ac.at

Stephan Diehl

claim paper

Read More »

111

Voted

VSTTE
2005
Springer

78views Software Engineering» more VSTTE 2005»

Model-Checking Software Using Precise Abstractions

15 years 10 months ago

Model-Checking Software Using Precise Abstractions

Download vstte.ethz.ch

Marsha Chechik, Arie Gurfinkel

claim paper

Read More »

125

VSTTE
2005
Springer

128views Software Engineering» more VSTTE 2005»

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

15 years 10 months ago

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

Download vstte.ethz.ch

Aaron Stump

claim paper

Read More »

« Prev « First page 162 / 3918 Last » Next »