System development auditing: A risk based approach
β Scribed by Alastair MacWillson; Ian Beale
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 337 KB
- Volume
- 7
- Category
- Article
- ISSN
- 0267-3649
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In this paper, we propose a rule-based approach called JSDZ to producing Z specifica-Ε½ . tions from Jackson system development JSD specifications automatically. In JSDZ, JSP is to serve as the structuring mechanism to help the analysis of problem domains, and Z is to express the formal specification
## Abstract We propose a new approach to measuring sovereign default risk. We use sovereign credit ratings and historical default rates provided by credit rating agencies to construct a measure of ratingsβimplied expected loss. We compare our measure of expected loss from sovereign defaults with st