Sciweavers

15860 search results - page 101 / 3172
» Agent-Based Software Engineering
Sort
View
98
Voted
SEFM
2008
IEEE
15 years 9 months ago
Widening Operators for Abstract Interpretation
Agostino Cortesi
113
Voted
SEFM
2008
IEEE
15 years 9 months ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf
73
Voted
AGILEDC
2007
IEEE
15 years 9 months ago
Experience Report 'Offshore XP for PDA development'
Sergei Andrzeevski