Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
Runtime verification : 7th international workshop, RV 2007, Vanco[u]ver, Canada, March 13, 2007 : revised selected papers /
RV 2007
Oleg Sokolsky, Serdar Taşiran (eds.).
- Berlin ; New York : Springer, ©2007.
- 1 online resource (viii, 213 pages) : illustrations
- Lecture notes in computer science, 4839 0302-9743 ; LNCS sublibrary. SL 2, Programming and software engineering .
- Lecture notes in computer science ; 4839. LNCS sublibrary. SL 2, Programming and software engineering. .
Includes bibliographical references and index.
Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers.
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.
9783540773955 3540773959 9783540773948 3540773940
10.1007/978-3-540-77395-5 doi 9786611342845
978-3-540-77394-8 Springer http://www.springerlink.com
2008008222X
Formal methods (Computer science)--Congresses.
Computer software--Verification--Congresses.
Computer software--Testing--Congresses.
Aspect-oriented programming--Congresses.
Méthodes formelles (Informatique)--Congrès.
Logiciels--Vérification--Congrès.
Computer software--Verification.
Computer software--Testing.
Aspect-oriented programming.
Formal methods (Computer science)
Informatique.
Aspect-oriented programming.
Computer software--Testing.
Computer software--Verification.
Formal methods (Computer science)
informatiesystemen information systems computerwetenschappen computer sciences programmeertalen programming languages software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
QA76.9.F67 / R9 2007eb
004
Includes bibliographical references and index.
Invited paper: PSL for runtime verification : theory and practice / Cindy Eisner -- AOP-related papers -- Core runtime verification papers.
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.
9783540773955 3540773959 9783540773948 3540773940
10.1007/978-3-540-77395-5 doi 9786611342845
978-3-540-77394-8 Springer http://www.springerlink.com
2008008222X
Formal methods (Computer science)--Congresses.
Computer software--Verification--Congresses.
Computer software--Testing--Congresses.
Aspect-oriented programming--Congresses.
Méthodes formelles (Informatique)--Congrès.
Logiciels--Vérification--Congrès.
Computer software--Verification.
Computer software--Testing.
Aspect-oriented programming.
Formal methods (Computer science)
Informatique.
Aspect-oriented programming.
Computer software--Testing.
Computer software--Verification.
Formal methods (Computer science)
informatiesystemen information systems computerwetenschappen computer sciences programmeertalen programming languages software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen)
Congress
Conference papers and proceedings.
Conference papers and proceedings.
Actes de congrès.
QA76.9.F67 / R9 2007eb
004