Software engineering

Software engineering

The systematic application of scientific principles and disciplines to the development, operation, and maintenance of software to perform prespecified functions with maximum economy and efficiency.

Especialidad: Ordenador; Software

Agregar un término nuevo

Contribuidores con Software engineering

Become a Contributors

Software engineering

recuperación hacia atrás

Ordenador; Software engineering

(1) La reconstrucción de un archivo a un determinado Estado por revertir todos los cambios realizados en el archivo, ya que fue en ese state.~(2) un tipo de recuperación en el que se restaura un ...

prueba de corrección

Ordenador; Software engineering

(1) Una técnica formal utilizada para demostrar matemáticamente un programa de ordenador cumple su requirements.~(2) especificado una prueba que resulta de aplicar la técnica en (1).

volcado

Ordenador; Software engineering

(1) Una muestra de algunos aspectos del Estado de ejecución de un programa de ordenador, generalmente el contenido de almacenamiento interno o registros. Tipos incluyen cambio volcado, volcado ...

(1) Un conjunto finito de reglas bien definidas para la solución de un problema en un número finito de pasos; por ejemplo, una especificación completa de una secuencia de operaciones aritméticas para ...

página

Ordenador; Software engineering

(1) Un segmento de longitud fija de datos o de un programa de ordenador se trata como una unidad en allocation.~(2) de almacenamiento en un sistema de almacenamiento virtual, un segmento de longitud ...

especificación formal

Ordenador; Software engineering

(1) Una especificación escrita y aprobados con arreglo establecido standards.~(2) una especificación escrita en una notación formal, a menudo para su uso en la prueba de la corrección.

clases de computación

Ordenador; Software engineering

(1) Una declaración en un lenguaje de programación, especifica una operación a ser realizada por un equipo y las direcciones o los valores de los operandos asociados; por ejemplo, mover A B.~(2) ...