Browsing Brazilian Portuguese translation

70 of 193 results
70.
Available under the <trademark>LGPL</trademark>, <application>Frama-C</application> is a suite of tools dedicated to the analysis of the source code of software written in C. As such, it would be well suited for applications written in <trademark>GTK+</trademark> for <trademark>GNOME</trademark>. <application>Frama-C</application> gathers several static analysis techniques in a single collaborative framework. The collaborative approach of <application>Frama-C</application> allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, <application>Frama-C</application> provides sophisticated tools, such as a slicer and dependency analysis. There are currently eleven plugins available on the <application>Frama-C</application> web site.
Disponível sob a licença <trademark>LGPL</trademark>, o <application>Frama-C</application> é uma suíte de ferramentas dedicada à análise de códigos-fonte de programas escritos em C. Como tal, ele serve para aplicativos escritos em <trademark>GTK+</trademark> para <trademark>GNOME</trademark>. O <application>Frama-C</application> reúne diversas técnicas de análise em uma única estrutura colaborativa. O enfoque colaborativo do <application>Frama-C</application> permite que analisadores estáticos combinem os resultados já computados de outros analisadores na estrutura. Graças a esse enfoque, o <application>Frama-C</application> fornece ferramentas sofisticadas, como um fatiador e análise de dependências. Há atualmente onze plugins disponíveis no site do <application>Frama-C</application>.
Translated and reviewed by Neliton Pereira Jr.
Located in docs/development/C/development.xml:432(para)
70 of 193 results

This translation is managed by Ubuntu Brazilian Portuguese Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.