Perpetual Requirements Engineering
This dissertation attempts to make a contribution within the fields of distributed systems, security, and formal verification. We provide a way to formally assess the impact of a given change in three different contexts. We have developed a logic based on Lewiss Counterfactual Logic. First we show h...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
LSU
2012
|
| Subjects: | |
| Online Access: | http://etd.lsu.edu/docs/available/etd-10242012-153450/ |