TY  - BOOK
AU  - Sokolsky,Oleg
AU  - Tasiran,Serdar
ED  - RV (Workshop)
TI  - Runtime verification: 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers 
T2  - Lecture notes in computer science,
SN  - 9783540773955
AV  - QA76.9.F67 R9 2007eb
U1  - 004 22
PY  - 2007///
CY  - Berlin, New York
PB  - Springer
KW  - Formal methods (Computer science)
KW  - Congresses
KW  - Computer software
KW  - Verification
KW  - Testing
KW  - Aspect-oriented programming
KW  - Méthodes formelles (Informatique)
KW  - Congrès
KW  - Logiciels
KW  - Vérification
KW  - cct
KW  - Informatique
KW  - eclas
KW  - fast
KW  - informatiesystemen
KW  - information systems
KW  - computerwetenschappen
KW  - computer sciences
KW  - programmeertalen
KW  - programming languages
KW  - software engineering
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
N1  - Includes bibliographical references and index; Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers
N2  - 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
UR  - https://link.springer.com/10.1007/978-3-540-77395-5
ER  -