Search Sciweavers | Sciweavers

15860 search results - page 329 / 3172

» On agent-based software engineering

115

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 »

129

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 »

104

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 »

125

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 11 months ago

Download univ.herveverjus.com

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

claim paper

Read More »

108

Voted

EUROSPI
2007
Springer

127views Software Engineering» more EUROSPI 2007»

Tailoring and Introduction of the Rational Unified Process

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers