Sciweavers

15860 search results - page 334 / 3172
» On agent-based software engineering
Sort
View
134
Voted
SIGSOFT
2006
ACM
15 years 11 months ago
Work experience versus refactoring to design patterns: a controlled experiment
T. H. Ng, S. C. Cheung, W. K. Chan, Y. T. Yu
APSEC
2005
IEEE
15 years 10 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
ASWEC
2005
IEEE
15 years 10 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He