|
|
43.
|
|
|
<application>Code::Blocks</application> is an open-source, cross-platform, free C++ Integrated Development Environment (<acronym>IDE</acronym>). Built around a plugin framework, <application>Code::Blocks</application> can be extended with plugins. Any kind of functionality can be added by installing/coding a plugin. It is based on a self-developed plugin framework that allows unlimited xtensibility. Most of its functionality is already provided by pre-installed plugins included in the base package: <placeholder-1/>
|
|
|
|
|
O <application>Code::Blocks</application> é um Ambiente de Desenvolvimento Integrado (<acronym>IDE</acronym>) de código-aberto, multi-plataforma e gratuito para C++. Construído com base em uma estrutura de plugins, o <application>Code::Blocks</application> pode ser ampliado com plugins. Qualquer tipo de funcionalidade pode ser adicionada instalando/escrevendo um plugin. A maior parte de sua funcionalidade já é fornecida por plugins pré-instalados incluídos no pacote básico: <placeholder-1/>
|
|
Translated and reviewed by
Neliton Pereira Jr.
|
|
|
|
Located in
docs/development/C/development.xml:125(para)
|
|
|
44.
|
|
|
Addtional plugins for <application>Code::Blocks</application> can be obtained at their wiki website: <ulink url="http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins"> http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins</ulink>
|
|
|
|
|
Plugins adicionais para o <application>Code::Blocks</application> podem ser obtidos na sua página wiki: <ulink url="http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins"> http://wiki.codeblocks.org/index.php?title=Code::Blocks_Plugins</ulink>
|
|
Translated and reviewed by
Neliton Pereira Jr.
|
|
|
|
Located in
docs/development/C/development.xml:233(para)
|
|
|
45.
|
|
|
CoqIDE Proof Assistant
|
|
|
|
|
Assistente de provas CoqIDE
|
|
Translated and reviewed by
André Gondim
|
|
|
|
Located in
docs/development/C/development.xml:244(title)
|
|
|
46.
|
|
|
Home Page: <ulink url="http://coq.inria.fr">http://coq.inria.fr</ulink>
|
|
|
|
|
Página Inicial: <ulink url="http://coq.inria.fr">http://coq.inria.fr</ulink>
|
|
Translated by
Nicolas Tanski
|
|
Reviewed by
Gerson "fserve" Barreiros
|
|
|
|
Located in
docs/development/C/development.xml:245(para)
|
|
|
47.
|
|
|
<application>Coq</application> is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an <acronym>IDE</acronym> for semi-interactive development of machine-checked proofs. It is developed using the Objective Caml language (<ulink url="http://caml.inria.fr/ocaml/index.en.html"><trademark>OCaml</trademark></ulink>, with a bit of C. A complete reference manual, standard library, and other documents can be found on the <application>Coq</application> website. This is specialized software requiring a significant knowledge of formal mathematical theory, even if your intent is to develop or test software algorithms.
|
|
|
|
|
O <application>Coq</application> é um sistema de gerenciamento de provas formais. Ele fornece uma linguagem formal para escrita de definições matemáticas, algoritmos executáveis e teoremas, junto com um <acronym>IDE</acronym> para desenvolvimento semi-interativo de provas verificadas por computador. É desenvolvido usando a linguagem Objective Caml (<ulink url="http://caml.inria.fr/ocaml/index.en.html"><trademark>OCaml</trademark></ulink>, com um pouco de C. Um manual de referência completo, biblioteca padrão e outros documentos podem ser encontrados na página do <application>Coq</application>. Este é um programa especializado que requer um conhecimento significativo de matemática teórica, mesmo que seu intento seja desenvolver ou testar algoritmos de programas.
|
|
Translated and reviewed by
Neliton Pereira Jr.
|
|
|
|
Located in
docs/development/C/development.xml:249(para)
|
|
|
48.
|
|
|
Eclipse <acronym>IDE</acronym>
|
|
|
|
|
Eclipse <acronym>IDE</acronym>
|
|
Translated by
Nicolas Tanski
|
|
Reviewed by
Gerson "fserve" Barreiros
|
|
|
|
Located in
docs/development/C/development.xml:266(title)
|
|
|
49.
|
|
|
Home Page: <ulink url="http://www.eclipse.org/">http://www.eclipse.org</ulink>
|
|
|
|
|
Página Inicial: <ulink url="http://www.eclipse.org/">http://www.eclipse.org</ulink>
|
|
Translated by
Nicolas Tanski
|
|
Reviewed by
Gerson "fserve" Barreiros
|
|
|
|
Located in
docs/development/C/development.xml:267(para)
|
|
|
50.
|
|
|
<application>Eclipse</application> began life as a $40 million dollars worth of code contributed by <trademark>IBM</trademark> to the <acronym>FOSS</acronym> community, whose projects are focused on building an extensible development platform, runtimes and application frameworks for building, deploying and managing software across the entire software lifecycle. Many people know <application>Eclipse</application> as a Java <acronym>IDE</acronym> but it is much more than that. The <application>Eclipse</application> open source community has over 60 open source projects.
|
|
|
|
|
O <application>Eclipse</application> começou a vida como uma contribuição de código no valor de U$40 milhões da <trademark>IBM</trademark> para a comunidade <acronym>FOSS</acronym>, cujo projeto está focado em construir uma plataforma de desenvolvimento extensível, bibliotecas de tempo de execução e estruturas de aplicativos para a construção, implantação e gerenciamento de programas no decorrer de todo o seu ciclo de vida. Muitos conhecem o <application>Eclipse</application> como uma <acronym>IDE</acronym> Java, mas ele é muito mais do que isto. A comunidade de código-aberto <application>Eclipse</application> tem mais de 60 projetos de código-aberto.
|
|
Translated and reviewed by
Neliton Pereira Jr.
|
|
|
|
Located in
docs/development/C/development.xml:271(para)
|
|
|
51.
|
|
|
Enterprise Development
|
|
|
|
|
Desenvolvimento Empresarial
|
|
Translated by
Celio Alves
|
|
Reviewed by
André Gondim
|
|
|
|
Located in
docs/development/C/development.xml:254(para)
|
|
|
52.
|
|
|
Embedded and Device Development
|
|
|
|
|
Desenvolvimento Integrado e de Dispositivos
|
|
Translated by
Jonathan Hepp
|
|
Reviewed by
André Gondim
|
|
|
|
Located in
docs/development/C/development.xml:259(para)
|
