Sciweavers

16790 search results - page 136 / 3358
» A Future for Software Engineering
Sort
View
145
Voted
SEFM
2008
IEEE
16 years 16 days ago
Widening Operators for Abstract Interpretation
Agostino Cortesi
150
Voted
SEFM
2008
IEEE
16 years 16 days ago
Contract-Based Verification of Hierarchical Systems of Components
Sophie Quinton, Susanne Graf
139
Voted
ADAEUROPE
2008
Springer
16 years 15 days ago
A Systematic Approach to Automatically Generate Multiple Semantically Equivalent Program Versions
Sri Hari Krishna Narayanan, Mahmut T. Kandemir
105
Voted
AGILEDC
2007
IEEE
16 years 15 days ago
Experience Report 'Offshore XP for PDA development'
Sergei Andrzeevski