Sciweavers

15885 search results - page 320 / 3177
» The Modest Software Engineer
Sort
View
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