|
|
34.
|
|
|
Extensible wizard based on scripts (for creating new projects/targets/etc)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:75(para)
|
|
|
35.
|
|
|
Autosave (saves your work in the unfortunate case of a crash)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:76(para)
|
|
|
36.
|
|
|
<application>Code::Blocks</application> is the open-source, cross-platform Integrated Development Environment (IDE). Built around a plugin framework, Code::Blocks 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 allowing unlimited extensibility. Most of its functionality is already provided by pre-installed plugins included in the base package: <placeholder-1/>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:64(para)
|
|
|
37.
|
|
|
Addtional plugins for Code:Blocks 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>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:79(para)
|
|
|
38.
|
|
|
CoqIDE Proof Assistant
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:244(title)
|
|
|
39.
|
|
|
Home Page: <ulink url="http://coq.inria.fr"> http://coq.inria.fr </ulink>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:87(para)
|
|
|
40.
|
|
|
<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 IDE for semi-interactive development of machine-checked proofs. It is developed using Objective Caml and Camlp5. A complete reference manual, standard library and other documents are found on it the Coq website. This is specialized software requiring a significant knowledge of formal mathematical theory even if your intent is to develop or test software algorithms.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:90(para)
|
|
|
42.
|
|
|
Home Page: <ulink url="http://www.eclipse.org/"> http://www.eclipse.org </ulink>
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:97(para)
|
|
|
43.
|
|
|
<application>Eclipse</application> began life as a $40 million dollars woth of code contributed by IBM to the FOSS 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 Eclipse as a Java IDE but it is much more than that. The Eclipse open source community has over 60 open source projects.
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:100(para)
|
|
|
49.
|
|
|
Application Lifecycle Management (ALM)
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:111(para)
|
