Abstract: The formal description technique of ESTELLE and the automatic implementation tool EIT used to specify and develop the TFTP protocol are presented. The functions of the formal description are enhanced to make the protocol description more independent of implementation environment by inserting qualifying comments in ESTELLE text to meet the portability objective of protocols.