Amazon cover image
Image from Amazon.com

Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers / Oleg Sokolsky, Serdar Taşiran (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 4839. | LNCS sublibrary. SL 2, Programming and software engineering.Publication details: Berlin ; New York : Springer, ©2007.Description: 1 online resource (viii, 213 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540773955
  • 3540773959
  • 9783540773948
  • 3540773940
Other title:
  • RV 2007
Subject(s): Genre/Form: Additional physical formats: Print version:: Runtime verification.DDC classification:
  • 004 22
LOC classification:
  • QA76.9.F67 R9 2007eb
Other classification:
  • TP311-532
Online resources:
Contents:
Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers.

Print version record.

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.

Powered by Koha