Search Sciweavers | Sciweavers

15824 search results - page 324 / 3165

» Specialising in Software Engineering

152

click to vote

SIGSOFT
2006
ACM

97views Software Engineering» more SIGSOFT 2006»

Work experience versus refactoring to design patterns: a controlled experiment

16 years 5 days ago

Download delivery.acm.org

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

claim paper

Read More »

135

click to vote

APSEC
2005
IEEE

95views Software Engineering» more APSEC 2005»

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

15 years 12 months ago

Download www.jaist.ac.jp

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

claim paper

Read More »

131

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

15 years 12 months ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

133

click to vote

CGO
2005
IEEE

101views Software Engineering» more CGO 2005»

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

15 years 12 months ago

Download www.cs.toronto.edu

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

claim paper

Read More »

116

click to vote

QSIC
2005
IEEE

79views Software Engineering» more QSIC 2005»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers