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.
Or split into 4x interest-free payments of 25% on orders over R50
Learn more
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.
Imprint | Springer-Verlag |
Country of origin | Germany |
Series | Programming and Software Engineering, 4839 |
Release date | December 2007 |
Availability | Expected to ship within 10 - 15 working days |
First published | 2007 |
Editors | Oleg Sokolsky, Serdar Tasiran |
Dimensions | 235 x 155 x 12mm (L x W x T) |
Format | Paperback |
Pages | 218 |
Edition | 2007 ed. |
ISBN-13 | 978-3-540-77394-8 |
Barcode | 9783540773948 |
Categories | |
LSN | 3-540-77394-0 |