Search Sciweavers | Sciweavers

15777 search results - page 320 / 3156

» Engineering in Software

click to vote

IWPC
2007
IEEE

80views Software Engineering» more IWPC 2007»

Lagrein: Visualizing User Requirements and Development Effort

15 years 11 months ago

Download www.inf.unibz.it

Andrejs Jermakovics, Marco Scotto, Alberto Sillitt...

claim paper

Read More »

128

click to vote

TASE
2007
IEEE

125views Software Engineering» more TASE 2007»

A Certified Thread Library for Multithreaded User Programs

15 years 11 months ago

Download www.jos.org.cn

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

claim paper

Read More »

102

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

15 years 11 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

118

click to vote

XPU
2007
Springer

80views Software Engineering» more XPU 2007»

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

15 years 11 months ago

Download www.fernuni-hagen.de

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

claim paper

Read More »

105

click to vote

CGO
2006
IEEE

127views Software Engineering» more CGO 2006»

Optimizing Dynamic Binary Translation for SIMD Instructions

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers