Search Sciweavers | Sciweavers

15784 search results - page 529 / 3157

» Mega Software Engineering

141

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 »

146

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 »

140

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 »

133

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

Download www.dcs.kcl.ac.uk

Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel...

claim paper

Read More »

143

click to vote

CGO
2007
IEEE

101views Software Engineering» more CGO 2007»

Graph-Based Procedural Abstraction

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers