Search Sciweavers | Sciweavers

16725 search results - page 627 / 3345

» Engineering Software Correctness

160

click to vote

ISPW
2008
IEEE

123views Software Engineering» more ISPW 2008»

Quantitatively Managing Defects for Iterative Projects: An Industrial Experience Report in China

16 years 1 months ago

Download www.icsp-conferences.org

Lang Gou, Qing Wang, Jun Yuan, Ye Yang, Mingshu Li...

claim paper

Read More »

148

click to vote

ISSRE
2008
IEEE

104views Software Engineering» more ISSRE 2008»

A Model-Driven Approach to Assuring Process Reliability

16 years 1 months ago

Download www-users.cs.york.ac.uk

The process can fail to deliver its expected outputs

Ibrahim Habli, Tim Kelly

claim paper

Read More »

150

click to vote

QSIC
2008
IEEE

100views Software Engineering» more QSIC 2008»

Targeting Security Vulnerabilities: From Specification to Detection (Short Paper)

16 years 1 months ago

Download users.encs.concordia.ca

Aiman Hanna, Hai Zhou Ling, Jason Furlong, Zhenron...

claim paper

Read More »

145

click to vote

QSIC
2008
IEEE

90views Software Engineering» more QSIC 2008»

Model-Based Quality Assurance of the SMB2 Protocol Documentation

16 years 1 months ago

Download www.snia.org

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDona...

claim paper

Read More »

137

click to vote

SCAM
2008
IEEE

104views Software Engineering» more SCAM 2008»

Analysis and Transformations for Efficient Query-Based Debugging

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers