Sciweavers

16968 search results - page 187 / 3394
» Software Engineering in the Small
Sort
View
KBSE
1999
IEEE
15 years 11 months ago
NAVCo: Negotiation-based Adaptive View Coordination
Prasanta K. Bose, Mark G. Matthews
ESEC
1999
Springer
15 years 11 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ESEC
1999
Springer
15 years 11 months ago
Efficient Points-to Analysis for Whole-Program Analysis
Donglin Liang, Mary Jean Harrold