Search Sciweavers | Sciweavers

16725 search results - page 623 / 3345

» Engineering Software Correctness

156

click to vote

APSEC
2009
IEEE

126views Software Engineering» more APSEC 2009»

Test Coverage Metric for Two-Staged Language with Abstract Interpretation

16 years 2 months ago

Download rosaec.snu.ac.kr

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

claim paper

Read More »

123

click to vote

FASE
2009
Springer

108views Software Engineering» more FASE 2009»

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

16 years 2 months ago

Download publicaciones.dc.uba.ar

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

claim paper

Read More »

131

click to vote

FASE
2009
Springer

89views Software Engineering» more FASE 2009»

Proving Consistency of Pure Methods and Model Fields

16 years 2 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 »

136

click to vote

KBSE
2009
IEEE

169views Software Engineering» more KBSE 2009»

Clone-Aware Configuration Management

16 years 1 months ago

Download user.hnue.edu.vn

Tung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, J...

claim paper

Read More »

130

click to vote

ADAEUROPE
2009
Springer

121views Software Engineering» more ADAEUROPE 2009»

Formal Verification of AADL Specifications in the Topcased Environment

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers