Sciweavers

15779 search results - page 364 / 3156
» Change-oriented software engineering
Sort
View
160
Voted
APSEC
2005
IEEE
16 years 1 months ago
A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Weiqiang Kong, Takahiro Seino, Kokichi Futatsugi, ...
155
Voted
ASWEC
2005
IEEE
16 years 1 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He
163
Voted
CGO
2005
IEEE
16 years 1 months ago
Context Threading: A Flexible and Efficient Dispatch Technique for Virtual Machine Interpreters
Marc Berndl, Benjamin Vitale, Mathew Zaleski, Ange...