Search Sciweavers | Sciweavers

15860 search results - page 334 / 3172

» On agent-based software engineering

166

click to vote

SIGSOFT
2006
ACM

97views Software Engineering» more SIGSOFT 2006»

Work experience versus refactoring to design patterns: a controlled experiment

16 years 19 days ago

Download delivery.acm.org

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

claim paper

Read More »

147

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 9 days ago

Download www.jaist.ac.jp

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

claim paper

Read More »

141

click to vote

ASWEC
2005
IEEE

81views Software Engineering» more ASWEC 2005»

Consistent Code Generation from UML Models

16 years 9 days ago

Download www.iist.unu.edu

Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He

claim paper

Read More »

146

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 9 days ago

Download www.cs.toronto.edu

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

claim paper

Read More »

126

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 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers