Sciweavers

15885 search results - page 5 / 3177
» The Modest Software Engineer
Sort
View
121
Voted
ISSTA
2000
ACM
15 years 6 months ago
Verisim: Formal analysis of network simulations
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim...
163
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
Software engineering research: from cradle to grave
Elaine J. Weyuker