Copyright © Philip M. Parker, INSEAD. Terms of Use.

FORMAL DESCRIPTION TECHNIQUE

Specialty Definition: FORMAL DESCRIPTION TECHNIQUE

DomainDefinition

Computing

Formal Description Technique (FDT) A formal method for developing telecomunications services and protocols. FDTs range from abstract to implementation-oriented descriptions. All FDTs offer the means for producing unambiguous descriptions of OSI services and protocols in a more precise and comprehensive way than natural language descriptions. They provide a foundation for analysis and verification of a description. The target of analysis and verification may vary from abstract properties to concrete properties. Natural language descriptions remain an essential adjunct to formal description, enabling an unfarmiliar reader to gain rapid insight into the structure and function of services and protocols. Examples of FDTs are LOTOS, Z, SDL, and Estelle. [ISO/IEC DTR10167: "Guidelines for the application of Estelle, LOTOS and SDL"]. (1994-12-06). Source: The Free On-line Dictionary of Computing.

Source: compiled by the editor from various references; see credits.

Top     

Crosswords: FORMAL DESCRIPTION TECHNIQUE

Specialty definitions using "FORMAL DESCRIPTION TECHNIQUE": Estelle ♦ FDT ♦ Language Of Temporal Ordering Specification. (references)

Top     

Alternative Orthography: FORMAL DESCRIPTION TECHNIQUE


Hexadecimal (or equivalents, 770AD-1900s) (references)

46 4F 52 4D 41 4C      44 45 53 43 52 49 50 54 49 4F 4E      54 45 43 48 4E 49 51 55 45

Leonardo da Vinci (1452-1519; backwards) (references)

        

Binary Code (1918-1938, probably earlier) (references)

01000110 01001111 01010010 01001101 01000001 01001100 00100000 01000100 01000101 01010011 01000011 01010010 01001001 01010000 01010100 01001001 01001111 01001110 00100000 01010100 01000101 01000011 01001000 01001110 01001001 01010001 01010101 01000101

HTML Code (1990) (references)

&#70 &#79 &#82 &#77 &#65 &#76 &#32 &#68 &#69 &#83 &#67 &#82 &#73 &#80 &#84 &#73 &#79 &#78 &#32 &#84 &#69 &#67 &#72 &#78 &#73 &#81 &#85 &#69

ISO 10646 (1991-1993) (references)

0046 004F 0052 004D 0041 004C      0044 0045 0053 0043 0052 0049 0050 0054 0049 004F 004E      0054 0045 0043 0048 004E 0049 0051 0055 0045

Encryption (beginner's substitution cypher): (references)

404952473546238395337524350544349482543937424843515539

Top     



INDEX

1. Crosswords
2. Orthography
3. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.