|
|
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)
|
|
|
41.
|
|
|
Eclipse IDE
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
../docs/development/C/development.xml:96(title)
|
|
|
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)
|
|
|
44.
|
|
|
Enterprise Development
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:254(para)
|
|
|
45.
|
|
|
Embedded and Device Development
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:259(para)
|
|
|
46.
|
|
|
Rich Client Platform
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:264(para)
|
|
|
47.
|
|
|
Rich Internet Applications
|
|
|
|
|
(no translation yet)
|
|
|
|
Located in
docs/development/C/development.xml:269(para)
|
