Se debe obtener el mismo resultado al seguir un algoritmo dos o más veces, con los mismos datos de entrada.

Debe tener un fin en algún momento, debe tener un número finito de pasos.

Debe indicar el orden de realización de cada paso.

indicar claramente lo que se va a realizar a través de pasos lógicos y ordenados.

Dificultad y lentitud en la codificación
.
Poca fiabilidad

Gran dificultad para verificar y poner a punto los programas

Los programas solo son ejecutables en el mismo procesador

Facilidad de cargar (transferir un programa a la memoria) sin necesidad de traducción posterior, lo que conlleva una velocidad de ejecución superior a cualquier otro lenguaje de programación.

Dependencia total de la máquina, no existe portabilidad.

La formación de los programadores es más compleja que en los lenguajes de alto nivel, ya que exige no solo las técnicas de programación, sino también el conocimiento del interior de la máquina.

Velocidad. La ejecución de los programas es más rápida, proporcionando los resultados en menor tiempo que un lenguaje de alto nivel.

Eficiencia de tamaño. Se reduce el tamaño del ejecutable y mejora la utilización de la memoria,

Incremento del tiempo de puesta a punto, al requerirse diferentes traducciones del programa fuente para conseguir el programa definitivo.

No se aprovechan los recursos internos de la computadora, que se explotan mucho mejor en lenguajes máquina y ensambladores.

El tiempo de formación de los programadores es relativamente corto comparado con otros lenguajes.

La escritura de programas se basa en reglas sintácticas similares a los lenguajes humanos

Es una técnica para realizar programas, en los cuales solo se pueden utilizar tres estructuras: de secuencia, selección y repetición y el uso de la estructura goto (transferencia incondicional) no está permitida. El lenguaje representativo es Pascal.

el programador se concentra en el procesamiento, en el algoritmo requerido para llevar a cabo el cómputo deseado.
Los lenguajes apoyan este paradigma proporcionando recursos para pasar argumentos a las funciones y devolviendo valores de las funciones.

Los lenguajes más representativos son Fortran, Pascal y C.

En la Demostración automática de teoremas, donde un programa genera nuevos teoremas sobre una teoría existente.

En el reconocimiento de lenguaje natural donde un programa es capaz de comprender (con limitaciones) la información contenida en una expresión lingüística humana.

Los Sistemas Expertos en donde un sistema de información imita las recomendaciones de un experto sobre algún dominio de conocimiento.

Determinar claramente lo que se quiere resolver o a donde se quiere llegar. Leer el enunciado hasta entender lo que se quiere lograr.

Elaborar un algoritmo con los elementos obtenidos en el paso anterior. Entrada, proceso, salida.

Esto se hace con el objetivo de comprobar que el algoritmo realiza las tareas para las que ha sido diseñado y también proporciona los resultados esperados.
Se realiza la ejecución manual llamada prueba de escritorio, usando datos significativos.

Consiste en tomar el algoritmo y pasarlo a un lenguaje de programación generalmente de alto nivel, al cual se le conoce como programa fuente.

Utilizando un compilador, para generar a partir del programa fuente el programa objeto cuando ya no contenga errores, de tal forma que pueda ser ejecutable.

Debido a que se pueden presentar errores humanos dentro de la programación, y que éstos pueden aumentar dependiendo de la complejidad del problema, es necesario realizar la depuración de los mismos.

Cuando se ha realizado la traducción del programa fuente y se genera el programa objeto, este puede ser ejecutado, y así se puede verificar si está dando los resultados esperados.

Obtener toda la información necesaria disponible, ya sea en el enunciado del problema o a través de técnicas de recolección de datos, como pueden ser la observación, los cuestionarios y las entrevistas.

Hacer explicitas las reglas y los datos que aparezcan implícitos (se puede hacer uso de la notación matemática)

Dividir el problema complejo en subproblemas más simples que se puedan resolver en forma independiente.

Son todos aquellos comentarios o mensajes que se le colocan al código fuente que permite sea más claro el proceso.

Describe paso a paso la forma cómo funciona el programa, con el fin de que el usuario obtenga el resultado deseado. Le indica al usuario que hacer en caso de que suceda algo inesperado como un mensaje de error.