| | |
Summary: module output to correspond to a fault based on a certain
probability. Different algorithms for a system function can
be implemented using code segments, so that the analyst
has a handy prototype for testing fault tolerant
specifications.
4. Control Specification in the Structured Analysis domain
can have ambiguous or undefined attributes. The analyst
should collaborate with the developer to correct these
attributes during the formal model development process.
6 References
[1] Hooker S., Lockyer M.A., Fencott P.C., "CASE Support
for Methods Integration: Implementation of translation
from a structured to a formal notation", Proceedings of the
Methods Integration Workshop, Leeds, 25-26 March 1996,
Springer-Verlog.
[2] Amoroso E. G., "Creating formal specifications from
informal requirement documents", ACM SIGSOFT, Soft-
ware Engineering Notes, Vol 20 no 1, pp 67-70, Jan 1995.
[3] Fraser, M.D. & Kumar, K. "Informal to formal require-
ment specification languages: Bridging the gap", IEEE
|
