Sciweavers

15951 search results - page 337 / 3191
» Lawful 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
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