Sciweavers

3667 search results - page 12 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
91
Voted
VSTTE
2005
Springer
15 years 8 months ago
Computational Logical Frameworks and Generic Program Analysis Technologies
José Meseguer, Grigore Rosu
AOSD
2003
ACM
15 years 8 months ago
Static analysis of aspects
Damien Sereni, Oege de Moor