Search Sciweavers | Sciweavers

15777 search results - page 320 / 3156

» Engineering in Software

113

click to vote

IWPC
2007
IEEE

80views Software Engineering» more IWPC 2007»

Lagrein: Visualizing User Requirements and Development Effort

16 years 29 days ago

Download www.inf.unibz.it

Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...

claim paper

Read More »

151

Voted

TASE
2007
IEEE

125views Software Engineering» more TASE 2007»

A Certified Thread Library for Multithreaded User Programs

16 years 29 days ago

Download www.jos.org.cn

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

claim paper

Read More »

129

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

The B-Method for the Construction of Microkernel-Based Systems

16 years 27 days ago

Download www.cse.unsw.edu.au

Sarah Hoffmann, Germain Haugou, Sophie Gabriele, L...

claim paper

Read More »

143

click to vote

XPU
2007
Springer

80views Software Engineering» more XPU 2007»

EzUnit: A Framework for Associating Failed Unit Tests with Potential Programming Errors

16 years 24 days ago

Download www.fernuni-hagen.de

Philipp Bouillon, Jens Krinke, Nils Meyer, Friedri...

claim paper

Read More »

131

click to vote

CGO
2006
IEEE

127views Software Engineering» more CGO 2006»

Optimizing Dynamic Binary Translation for SIMD Instructions

16 years 23 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers