Sciweavers

15784 search results - page 327 / 3157
» Mega Software Engineering
Sort
View
IUI
2006
ACM
16 years 1 months ago
Direct manipulation of user interfaces for migration
José Pascual Molina Massó, Jean Vand...
IUI
2006
ACM
16 years 1 months ago
Introduction to human-robot interaction
Jean Scholtz, Holly A. Yanco, Jill L. Drury
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, ...
ASWEC
2005
IEEE
16 years 1 months ago
Consistent Code Generation from UML Models
Quan Long, Zhiming Liu, Xiaoshan Li, Jifeng He