ARAÚJO, A. J. P.; ARAÚJO, Alfredo Jackson Pereira de.
Resumen:
The main goal of this work is to show how the formal description
technique Estelle. early used to describe communication protocols, can be
employed to make specifications into digital systems area. This approach
is very interesting in the cases of protocols implementations on hardware or
firmware, possibiliting the use of a single formalism during almost all steps
of the development cicle of those protocols.
