Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
module output to correspond to a fault based on a certain probability. Different algorithms for a system function can
 

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

  

Source: Ammar, Hany H. - Department of Computer Science and Electrical Engineering, West Virginia University

 

Collections: Computer Technologies and Information Sciences