Interactive Verification of Safety-Critical Software | 0 | 0.34 | 2013 |
2nd international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2013) | 0 | 0.34 | 2013 |
A Comment Analysis Approach for Program Comprehension | 1 | 0.36 | 2012 |
Verification conditions for single-assignment programs | 1 | 0.36 | 2012 |
Report from the first international workshop on realizing artificial intelligence synergies in software engineering (RAISE 2012) | 1 | 0.34 | 2012 |
Assertion-based slicing and slice graphs | 6 | 0.44 | 2010 |
Influence of Synchronized Domain Visualizations on Program Comprehension | 0 | 0.34 | 2010 |
SVS, BORS, SVSi: Three Strategies to Relate Problem and Program Domains | 0 | 0.34 | 2010 |
Contract-Based Slicing Helps on Safety Reuse | 0 | 0.34 | 2010 |