Next: Conclusion
Up: The XASM Support Environment
Previous: The XASM graphical animation
As an additional support feature, an LATEX-package ``asm.sty'' is
defined for typesetting XASM specifications. The LATEX-files can
directly be used as input file to the XASM-compiler, so that no
additional work is necessary to produce a high-quality documentation
from a running XASM specification. The XASM code parts in this
document are produced using the asm style being realized based on
the LATEX ``program'' style as defined in [13].
Philipp Kutter
2002-03-18