Sciweavers

15784 search results - page 160 / 3157
» Mega Software Engineering
Sort
View
143
Voted
SIGSOFT
2000
ACM
15 years 11 months ago
Classifying properties: an alternative to the safety-liveness classification
Gleb Naumovich, Lori A. Clarke
130
Voted
SIGSOFT
2000
ACM
15 years 11 months ago
The shape of things to come?
Richard F. Rashid
UIST
2000
ACM
15 years 11 months ago
Illusions of infinity: feedback for infinite worlds
George W. Furnas, Xiaolong Zhang