10.05.2013 Views

Revisión asistida por ordenador de traducciones - OpenTranslation

Revisión asistida por ordenador de traducciones - OpenTranslation

Revisión asistida por ordenador de traducciones - OpenTranslation

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>Revisión</strong> <strong>asistida</strong> <strong>por</strong> <strong>or<strong>de</strong>nador</strong> <strong>de</strong> <strong>traducciones</strong><br />

Aunque la programación en C++ se pue<strong>de</strong> llevar a cabo con sólo disponer<br />

<strong>de</strong> un compilador a<strong>de</strong>cuado y cualquier herramienta básica <strong>de</strong> edición <strong>de</strong><br />

textos, hay diversas herramientas, llamadas entornos integrados <strong>de</strong> <strong>de</strong>sarrollo<br />

o IDE (<strong>de</strong>l inglés Integrated Development System), que resultan sumamente<br />

útiles para acelerar el <strong>de</strong>sarrollo <strong>de</strong> una aplicación, tanto durante<br />

la fase <strong>de</strong> escritura <strong>de</strong>l código como durante la fase <strong>de</strong> <strong>de</strong>puración (es<br />

<strong>de</strong>cir, la <strong>de</strong>tección y corrección <strong>de</strong> errores cometidos durante la escritura<br />

<strong>de</strong>l código). Para el <strong>de</strong>sarrollo <strong>de</strong> PETRA REV se ha utilizado el IDE Geany,<br />

que combina las ventajas más im<strong>por</strong>tantes <strong>de</strong> este tipo <strong>de</strong> herramientas<br />

junto con una notable facilidad <strong>de</strong> uso. 7 La ilustración 1 muestra la<br />

interfaz <strong>de</strong> esta herramienta durante el <strong>de</strong>sarrollo <strong>de</strong> la aplicación PETRA<br />

REV:<br />

Ilustración 3. Entorno integrado <strong>de</strong> <strong>de</strong>sarrollo Geany<br />

La programación <strong>de</strong> las funciones estudiadas en lenguaje C++ ofrece la<br />

im<strong>por</strong>tante ventaja <strong>de</strong> formalizar <strong>de</strong> manera totalmente unívoca la manera<br />

elegida <strong>de</strong> llevar a cabo cada una <strong>de</strong> las funciones, en un formato sin ambigüeda<strong>de</strong>s<br />

que se pue<strong>de</strong> analizar y mejorar <strong>de</strong> manera totalmente sistemática.<br />

Por ejemplo, en el caso <strong>de</strong> la comprobación <strong>de</strong> las ambigüeda<strong>de</strong>s<br />

<strong>de</strong>scrito brevemente en § 2.3.2.2 (y que se analizará en mayor <strong>de</strong>talle en<br />

§ 4.1.2.3), la explicación escrita incluida es susceptible <strong>de</strong> interpretarse <strong>de</strong><br />

7 http://www.geany.org/<br />

63

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!