AS/NZS 3687:1993
Withdrawn
Information technology - Open Systems Interconnection - Guidelines for the application of Estelle, LOTOS and SDL
Hardcopy , PDF 1 User , PDF 3 Users , PDF 5 Users , PDF 9 Users
English
01-01-1993
06-30-2017
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.
| Committee |
IT-001
|
| DocumentType |
Standard
|
| ISBN |
0 7262 8423 8
|
| Pages |
201
|
| PublisherName |
Standards Australia
|
| Status |
Withdrawn
|
| Standards | Relationship |
| ISO/IEC TR 10167:1991 | Identical |
First published as Joint Standard AS/NZS 3687:1993.
| AS 2777-1985 | Information processing systems - Open Systems Interconnection - Basic reference model |