palavras-chave Context free grammars Domain-specific languages Formal specification Virtual learning spaces Virtual museums