Sciweavers

15727 search results - page 308 / 3146
» Software Engineering - Introduction
Sort
View
APSEC
2005
IEEE
15 years 9 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 9 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He