Search Sciweavers | Sciweavers

16725 search results - page 629 / 3345

» Engineering Software Correctness

130

click to vote

GTTSE
2007
Springer

122views Software Engineering» more GTTSE 2007»

.QL: Object-Oriented Queries Made Easy

16 years 1 months ago

Download semmle.com

Oege de Moor, Damien Sereni, Mathieu Verbaere, Eln...

claim paper

Read More »

153

click to vote

ICESS
2007
Springer

123views Software Engineering» more ICESS 2007»

Dependable Geographical Routing on Wireless Sensor Networks

16 years 1 months ago

Download www.csie.ntpu.edu.tw

Yue-Shan Chang, Ming-Tsung Hsu, Hsu-Hang Liu, Tong...

claim paper

Read More »

115

click to vote

RE
2007
Springer

80views Software Engineering» more RE 2007»

Technique Integration for Requirements Assessment

16 years 1 months ago

Download selab.netlab.uky.edu

Alex Dekhtyar, Jane Huffman Hayes, Senthil Karthik...

claim paper

Read More »

148

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 »

144

click to vote

WER
2007
Springer

101views Software Engineering» more WER 2007»

i* with Aspects: Evaluating Understandability

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers