Search Sciweavers | Sciweavers

18898 search results - page 350 / 3780

» The Making of a Software Engineer

185

click to vote

CACM
2010

97views more CACM 2010»

Certified software

15 years 4 months ago

Download flint.cs.yale.edu

Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...

Zhong Shao

claim paper

Read More »

121

click to vote

SIGSOFT
2003
ACM

98views Software Engineering» more SIGSOFT 2003»

Formulation and preliminary test of an empirical theory of coordination in software engineering

16 years 7 months ago

Download www.mockus.us

James D. Herbsleb, Audris Mockus

claim paper

Read More »

110

click to vote

ICSE
2003
IEEE-ACM

103views Software Engineering» more ICSE 2003»

The 3rd Workshop on Open Source Software Engineering

16 years 6 months ago

Download opensource.ucc.ie

Joseph Feller, Brian Fitzgerald, Scott A. Hissam, ...

claim paper

Read More »

109

Voted

ICSE
2005
IEEE-ACM

102views Software Engineering» more ICSE 2005»

Predictor models in software engineering (PROMISE)

16 years 6 months ago

Download menzies.us

Jelber Sayyad-Shirabad, Tim Menzies

claim paper

Read More »

150

click to vote

CSEE
2009
Springer

132views Software Engineering» more CSEE 2009»

The Graduate Software Engineering Reference Curriculum (GSwERC)

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers