Sciweavers

16682 search results - page 359 / 3337
» Software Engineering Education
Sort
View
COMPSAC
2009
IEEE
16 years 1 months ago
Traceability ReARMed
Jörn David, Maximilian Koegel, Helmut Naughto...
SCAM
2009
IEEE
16 years 1 months ago
Towards Comparing and Combining Points-to Analyses
Tobias Gutzmann, Antonina Khairova, Jonas Lundberg...
SEFM
2009
IEEE
16 years 1 months ago
Completeness of Pointer Program Verification by Separation Logic
Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al ...
ICSM
2009
IEEE
16 years 1 months ago
Abstracting the template instantiation relation in C++
Andrew Sutton, Ryan Holeman, Jonathan I. Maletic