Developing a Software Development and Analysis Framework using Runtime Monitoring
Soha M Nabil AbdelHamid Hussein;
Abstract
Runtime monitoring and verification has become a widely used methodology for
testing and verification of systems. The idea is to encode system’s specifications
into monitors and observe them during system’s operation, not only guaranteeing
that the spe
testing and verification of systems. The idea is to encode system’s specifications
into monitors and observe them during system’s operation, not only guaranteeing
that the spe
Other data
| Title | Developing a Software Development and Analysis Framework using Runtime Monitoring | Other Titles | تطوير برنامج لتنمية وتحليل البرامج بأستخدام الرصد وقت التشغيل | Authors | Soha M Nabil AbdelHamid Hussein | Keywords | Developing a Software Development and Analysis Framework using Runtime Monitoring | Issue Date | 2012 | Description | Runtime monitoring and verification has become a widely used methodology for testing and verification of systems. The idea is to encode system’s specifications into monitors and observe them during system’s operation, not only guaranteeing that the spe |
Attached Files
| File | Size | Format | |
|---|---|---|---|
| 108993Thesis.pdf | 396.84 kB | Adobe PDF | View/Open |
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.