Oleg Sokolsky,
Serdar Tasiran
Runtime Verification
7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers
Paperback Engels 2007 2007e druk 9783540773948
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Runtime Verification, RV 2007, held in Vancouver, Canada. The meeting was a satellite workshop of AoSD 2007, the International Conference on Aspect-Oriented Software Development. 16 revised full papers and one invited paper are included, which have been selected from 29 initial submissions. Subjects covered include several technical fields such as dynamic program analysis.
Specificaties
ISBN13:9783540773948
Taal:Engels
Bindwijze:paperback
Aantal pagina's:218
Uitgever:Springer Berlin Heidelberg
Druk:2007
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Invited Paper.- PSL for Runtime Verification: Theory and Practice.- AOP-Related Papers.- On the Semantics of Matching Trace Monitoring Patterns.- Collaborative Runtime Verification with Tracematches.- Static and Dynamic Detection of Behavioral Conflicts Between Aspects.- Escaping with Future Variables in HALO.- Runtime Verification of Interactions: From MSCs to Aspects.- Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.- ARVE: Aspect-Oriented Runtime Verification Environment.- Core Runtime Verification Papers.- From Runtime Verification to Evolvable Systems.- Rule Systems for Run-Time Monitoring: From Eagle to RuleR.- The Good, the Bad, and the Ugly, But How Ugly Is Ugly?.- Translation Validation of System Abstractions.- Instrumentation of Open-Source Software for Intrusion Detection.- Statistical Runtime Checking of Probabilistic Properties.- Temporal Assertions with Parametrised Propositions.- Rollback Atomicity.- Runtime Checking for Program Verification.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan