Monitoring Complex Processes to Verify System Conformance: A Declarative Rule-Based Framework
Over the last 60 years, computers and software have favoured incredible advancements in every field. Nowadays, however, these systems are so complicated that it is difficult – if not challenging – to understand whether they meet some requirement or are able to show some desired behaviour or proper...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Doctoral Thesis |
| Language: | en |
| Published: |
Alma Mater Studiorum - Università di Bologna
2013
|
| Subjects: | |
| Online Access: | http://amsdottorato.unibo.it/5753/ |