especificación
21Lenguaje de especificación OCL2.0 — OCL2.0 (Object Constraint Language 2.0) fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. OCL es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar invariantes,… …
22Lenguaje de especificación OCL2.0 — OCL2.0 (Object Constraint Language 2.0) fue adoptado en octubre de 2003 por el grupo OMG como parte de UML 2.0. OCL es un lenguaje para la descripción formal de expresiones en los modelos UML. Sus expresiones pueden representar invariantes,… …
23Trastorno psicológico — Saltar a navegación, búsqueda Se considera trastorno psicológico a un comportamiento anormal de los individuos y que están clasificados por los profesionales de la psicopatología, mediante un estudio de las causas que los provocan. Los dos… …
24OpenGL — Desarrollador Khronos Group www.opengl.org Información general Diseñador Silicon Graphics …
25Macintosh — Para otros usos de este término, véase Mac (desambiguación). Macintosh 128K, la primera computadora Macintosh, lanzada en 1984. El Macintosh es el nombre con el que actualmente nos referimos a cualquier computadora personal diseñada, desarrollada …
26Axiomas de Zermelo-Fraenkel — Los axiomas de Zermelo Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de… …
27Microformato — Un microformato (a veces abreviado con μF o uF) es una forma simple de agregar significado semántico a un contenido legible por un humano mientras que para una máquina puede ser sólo texto plano. Según el W3C, son conjuntos de formatos de datos… …
28OpenDocument — Texto OpenDocument Desarrollador Sun Microsystems, OASIS …
29Maude — Este artículo o sección sobre informática necesita ser wikificado con un formato acorde a las convenciones de estilo. Por favor, edítalo para que las cumpla. Mientras tanto, no elimines este aviso puesto el 10 de septiembre de 2008. También… …
30Software — Se conoce como software[1] al equipamiento lógico o soporte lógico de un sistema informático; comprende el conjunto de los componentes lógicos necesarios que hacen posible la realización de tareas específicas, en contraposición a los componentes… …