Search Sciweavers | Sciweavers

15885 search results - page 530 / 3177

» Strategic Software Engineering

150

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

16 years 1 months ago

Download rosaec.snu.ac.kr

Taeksu Kim, Chunwoo Lee, Kiljoo Lee, Soohyun Baik,...

claim paper

Read More »

127

click to vote

CGO
2009
IEEE

116views Software Engineering» more CGO 2009»

Revisiting Out-of-SSA Translation for Correctness, Code Quality and Efficiency

16 years 1 months ago

Download perso.ens-lyon.fr

Benoit Boissinot, Alain Darte, Fabrice Rastello, B...

claim paper

Read More »

120

click to vote

FASE
2009
Springer

108views Software Engineering» more FASE 2009»

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy

16 years 1 months ago

Download publicaciones.dc.uba.ar

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Mos...

claim paper

Read More »

125

click to vote

FASE
2009
Springer

89views Software Engineering» more FASE 2009»

Proving Consistency of Pure Methods and Model Fields

16 years 1 months ago

Download research.microsoft.com

Abstract. Pure methods and model ﬁelds are useful and common speci

K. Rustan M. Leino, Ronald Middelkoop

claim paper

Read More »

132

click to vote

KBSE
2009
IEEE

169views Software Engineering» more KBSE 2009»

Clone-Aware Configuration Management

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers