Sciweavers

15885 search results - page 361 / 3177
» The Modest Software Engineer
Sort
View
FSTTCS
2000
Springer
15 years 10 months ago
Arithmetic Circuits and Polynomial Replacement Systems
Pierre McKenzie, Heribert Vollmer, Klaus W. Wagner
147
Voted
FSTTCS
2000
Springer
15 years 10 months ago
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
Jan-Georg Smaus, François Fages, Pierre Der...
104
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
Deriving test plans from architectural descriptions
Antonia Bertolino, Flavio Corradini, Paola Inverar...
IUI
2000
ACM
15 years 10 months ago
R2D2 in a softball: the portable satellite assistant
Yuri Gawdiak, Jeffrey Bradshaw, Brian C. Williams,...
WCRE
1998
IEEE
15 years 10 months ago
Program Comprehension in Multi-Language Systems
Bernt Kullbach, Andreas Winter, Peter Dahm, Jü...