This book constitutes the thoroughly refereed post-proceedings
of the 7th International Workshop on Runtime Verification, RV 2007,
held in Vancouver, Canada, in August 2007 as satellite workshop of
AoSD 2007, the International Conference on Aspect-Oriented Software
Development.
The 16 revised full papers presented together with 1 invited
paper were carefully selected from 29 initial submissions. The
subject covers several technical fields such as specification
languages and logics, aspect oriented languages with trace
predicates, program instrumentation in general, program guidance in
general, combining static and dynamic analysis, and dynamic program
analysis. There are 7 papers that focus on aspect-oriented
programming followed by 9 papers which place emphasis on core
runtime verification.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!