Search Sciweavers | Sciweavers

15885 search results - page 315 / 3177

» The Modest Software Engineer

111

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

15 years 11 months ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

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 »

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

15 years 10 months ago

Download www.cse.unsw.edu.au

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

claim paper

Read More »

118

click to vote

ECSA
2007
Springer

97views Software Engineering» more ECSA 2007»

Managing Separation of Concerns in Grid Applications Through Architectural Model Transformations

15 years 10 months ago

Download univ.herveverjus.com

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

claim paper

Read More »

107

click to vote

EUROSPI
2007
Springer

127views Software Engineering» more EUROSPI 2007»

Tailoring and Introduction of the Rational Unified Process

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers