Search Sciweavers | Sciweavers

15824 search results - page 319 / 3165

» Specialising in Software Engineering

127

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 13 days ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

144

Voted

TASE
2007
IEEE

125views Software Engineering» more TASE 2007»

A Certified Thread Library for Multithreaded User Programs

16 years 13 days ago

Download www.jos.org.cn

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

claim paper

Read More »

121

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

16 years 11 days ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

138

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 10 days ago

Download univ.herveverjus.com

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

claim paper

Read More »

123

click to vote

EUROSPI
2007
Springer

127views Software Engineering» more EUROSPI 2007»

Tailoring and Introduction of the Rational Unified Process

16 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers