Search Sciweavers | Sciweavers

15885 search results - page 315 / 3177

» The Modest Software Engineer

137

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 27 days ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

150

click to vote

TASE
2007
IEEE

125views Software Engineering» more TASE 2007»

A Certified Thread Library for Multithreaded User Programs

16 years 27 days ago

Download www.jos.org.cn

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

claim paper

Read More »

127

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

16 years 25 days ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

146

click to vote

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

16 years 24 days ago

Download univ.herveverjus.com

David Manset, Hervé Verjus, Richard McClatc...

claim paper

Read More »

132

click to vote

EUROSPI
2007
Springer

127views Software Engineering» more EUROSPI 2007»

Tailoring and Introduction of the Rational Unified Process

16 years 24 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers