Sciweavers

15885 search results - page 158 / 3177
» The Modest Software Engineer
Sort
View
KBSE
1999
IEEE
15 years 6 months ago
NAVCo: Negotiation-based Adaptive View Coordination
Prasanta K. Bose, Mark G. Matthews
ESEC
1999
Springer
15 years 6 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
15 years 6 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold