specification language
[/ˌspesɪfɪˈkeɪʃən ˈlæŋɡwɪdʒ/]
nounpl: specification languages
linguagem de especificação
1. A formal language used in software engineering and computer science to precisely describe the requirements, behavior, and properties of a system or software component
The team used a specification language to define the exact behavior of the payment processing system before development began.
A equipe usou uma linguagem de especificação para definir o comportamento exato do sistema de processamento de pagamentos antes do desenvolvimento começar.
2. A domain-specific language designed for writing formal specifications that can be analyzed, verified, or executed
Z notation is a well-known specification language used in formal methods.
A notação Z é uma linguagem de especificação bem conhecida usada em métodos formais.
This term is predominantly used in technical and academic contexts in both Brazil and the USA. It is particularly important in software engineering, formal methods, and system design disciplines. In Brazil, the term is commonly taught in computer science programs and used in the growing tech industry, especially in São Paulo and Rio de Janeiro tech hubs.
Look up more words on Fala2Me
The free English-Portuguese dictionary with real Brazilian accents, NYC slang, conjugator and more
Open Fala2Me →