Sciweavers

16790 search results - page 109 / 3358
» A Future for Software Engineering
Sort
View
94
Voted
ICSE
2009
IEEE-ACM
16 years 4 months ago
Automatic dimension inference and checking for object-oriented programs
Sudheendra Hangal, Monica S. Lam
110
Voted
SIGSOFT
2003
ACM
16 years 4 months ago
Verified systems by composition from verified components
Fei Xie, James C. Browne