Concept information
Preferred term
Métodos Formais
Type
-
Conteúdo
-
owl:NamedIndividual
Definition
- Métodos Formais são métodos utilizados para elaboração de sistemas computacionais dando prioridade a sua coesão, isto porque estes métodos são desenvolvidos a partir de princípios matemáticos que garantem a sua exatidão na capacidade de expressão das ideias vinculadas ao projeto de software. (devmedia.com.br)
In other languages
-
Formais Methods
English
-
Métodos Formais
Spanish
URI
http://lod.unicentro.br/2017/DiretrizesSBC#metodosFormais
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}