Sciweavers

18898 search results - page 167 / 3780
» The Making of a Software Engineer
Sort
View
106
Voted
KBSE
2005
IEEE
15 years 10 months ago
Compositional reasoning for port-based distributed systems
Alma L. Juarez Dominguez, Nancy A. Day
109
Voted
KBSE
2005
IEEE
15 years 10 months ago
Constraint-based test data generation in the presence of stack-directed pointers
Arnaud Gotlieb, Tristan Denmat, Bernard Botella