Search Sciweavers | Sciweavers

16725 search results - page 393 / 3345

» Engineering Software Correctness

177

click to vote

SIGSOFT
2006
ACM

97views Software Engineering» more SIGSOFT 2006»

Work experience versus refactoring to design patterns: a controlled experiment

16 years 1 months ago

Download delivery.acm.org

T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu

claim paper

Read More »

160

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

16 years 1 months ago

Download www.jaist.ac.jp

Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...

claim paper

Read More »

155

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 1 months ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

164

click to vote

CGO
2005
IEEE

101views Software Engineering» more CGO 2005»

Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters

16 years 1 months ago

Download www.cs.toronto.edu

Marc Berndl, Benjamin Vitale, Mathew Zaleski, Ange...

claim paper

Read More »

143

click to vote

QSIC
2005
IEEE

79views Software Engineering» more QSIC 2005»

A Metamorphic Approach to Integration Testing of Context-Sensitive Middleware-Based Applications

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers