Topic
linguagem de especificação formal usada para descrever e modelar sistemas computacionais, padronizada na ISO 13568