Search Sciweavers | Sciweavers

15860 search results - page 539 / 3172

» On agent-based software engineering

142

click to vote

VMCAI
2007
Springer

89views Software Engineering» more VMCAI 2007»

Using First-Order Theorem Provers in the Jahob Data Structure Verification System

16 years 1 months ago

Download www.mit.edu

Charles Bouillaguet, Viktor Kuncak, Thomas Wies, K...

claim paper

Read More »

139

click to vote

WER
2007
Springer

101views Software Engineering» more WER 2007»

i* with Aspects: Evaluating Understandability

16 years 1 months ago

Download wer.inf.puc-rio.br

Ricardo Argenton Ramos, Fernanda M. R. Alencar, Jo...

claim paper

Read More »

146

click to vote

AGILEDC
2006
IEEE

74views Software Engineering» more AGILEDC 2006»

Presenter First: Organizing Complex GUI Applications for Test-Driven Development

16 years 1 months ago

Download www.atomicobject.com

Micah Alles, David Crosby, Carl Erickson, Brian Ha...

claim paper

Read More »

136

click to vote

ISPASS
2006
IEEE

104views Software Engineering» more ISPASS 2006»

Evaluating the efficacy of statistical simulation for design space exploration

16 years 1 months ago

Download www-mount.ece.umn.edu

Ajay Joshi, Joshua J. Yi, Robert H. Bell Jr., Liev...

claim paper

Read More »

162

click to vote

ISPW
2006
IEEE

129views Software Engineering» more ISPW 2006»

COCOMO-U: An Extension of COCOMO II for Cost Estimation with Uncertainty

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers