BETA SAÚDE
Rosetta-lang
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
Within computing, the Rosetta system-level specification language is a design language for complex, heterogeneous systems. Specific language design objectives include:Constraint representation Heterogeneous system representation and specification composability Well-defined formal semantics and support for formal analysis Scalability to large designs