Browsing Spanish translation

46.

Home Page: <ulink url="http://coq.inria.fr">http://coq.inria.fr</ulink>

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.

49.

Home Page: <ulink url="http://www.eclipse.org/">http://www.eclipse.org</ulink>

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.

53.

Rich Client Platform

54.

Rich Internet Applications

56.

Application Lifecycle Management (<acronym>ALM</acronym>)

57.

Service Oriented Architecture (<acronym>SOA</acronym>)

58.

<application>Eclipse</application> is licensed under the <ulink url="http://www.eclipse.org/org/documents/epl-v10.php">EPL v1.0</ulink>, which is <ulink url="http://www.eclipse.org/legal/eplfaq.php#GPLCOMPATIBLE">not compatible with the <trademark>GPL</trademark></ulink>, and a work created by combining a work licensed under the <trademark>GPL</trademark> with a work licensed under the <trademark>EPL</trademark> cannot be lawfully distributed. The <trademark>GPL</trademark> requires that "[any distributed work] that ... contains or is derived from the [<trademark>GPL</trademark>-licensed] Program ... be licensed as a whole ... under the terms of [the <trademark>GPL</trademark>].", and that the distributor not "impose any further restrictions on the recipients' exercise of the rights granted". The <trademark>EPL</trademark>, however, requires that anyone distributing the work grant every recipient a license to any patents they might hold that cover the modifications they have made. Because this is a "further restriction" on the recipients, distribution of such a combined work does not satisfy the <trademark>GPL</trademark>. The <trademark>EPL</trademark>, in addition, contains a patent retaliation clause, which is incompatible with the <trademark>GPL</trademark> for the same reasons.

59.

These projects can be conceptually organized into seven different "pillars" or categories: <placeholder-1/><placeholder-2/>