Search Sciweavers | Sciweavers

15799 search results - page 319 / 3160

» Software engineering: a roadmap

114

click to vote

SCAM
2007
IEEE

92views Software Engineering» more SCAM 2007»

An Integrated Crosscutting Concern Migration Strategy and its Application to JHOTDRAW

16 years 29 days ago

Download swerl.tudelft.nl

Marius Marin, Leon Moonen, Arie van Deursen

claim paper

Read More »

145

click to vote

SEFM
2007
IEEE

82views Software Engineering» more SEFM 2007»

Sound reasoning about unchecked exceptions

16 years 29 days ago

Download people.cs.kuleuven.be

Bart Jacobs 0002, Peter Müller, Frank Piessen...

claim paper

Read More »

137

click to vote

SEW
2007
IEEE

164views Software Engineering» more SEW 2007»

Abstracting Pointers for a Verifying Compiler

16 years 29 days ago

Download www.nvc.vt.edu

Gregory Kulczycki, Heather Keown, Murali Sitaraman...

claim paper

Read More »

151

Voted

TASE
2007
IEEE

125views Software Engineering» more TASE 2007»

A Certified Thread Library for Multithreaded User Programs

16 years 29 days ago

Download www.jos.org.cn

Yu Guo, Xinyu Jiang, Yiyun Chen, Chunxiao Lin

claim paper

Read More »

129

click to vote

B
2007
Springer

156views Software Engineering» more B 2007»

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

16 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers