Click here to purchase
Provides an introduction to the nature and purpose of formal description techniques (FDTs) with formal descriptions in each of the techniques for selected examples described in natural language. Guidance is given to users of FDTs on how to judge and improve the quality of formal descriptions with management guidance on how to handle the relationship between informal and formal descriptions and between formal descriptions. This Standard is identical with and has been reproduced from ISO/IEC/TR 10167:1991.

Product Details

Edition:
1st
Published:
01/01/1993
ISBN(s):
0726284238
Number of Pages:
201
File Size:
0 files
Product Code(s):
10117036

Click here to purchase
Provides an introduction to the nature and purpose of formal description techniques (FDTs) with formal descriptions in each of the techniques for selected examples described in natural language. Guidance is given to users of FDTs on how to judge and improve the quality of formal descriptions with management guidance on how to handle the relationship between informal and formal descriptions and between formal descriptions. This Standard is identical with and has been reproduced from ISO/IEC/TR 10167:1991.

Product Details

Edition:
1st
Published:
01/01/1993
ISBN(s):
0726284238
Number of Pages:
201
File Size:
0 files
Product Code(s):
10117036