Refinamiento escalonado
El refinamiento escalonado se refiere al refinamiento progresivo en pequeños pasos de una especificación de programa en un programa. A veces, se llama diseño de arriba hacia abajo.
El término refinamiento paso a paso fue utilizado por primera vez en el artículo titulado Desarrollo de programas por Refinamiento paso a paso por Niklaus Wirth, el autor del lenguaje de programación Pascal y otras contribuciones importantes al diseño e ingeniería de software, en las Comunicaciones de la ACM, Vol. 14 (4), 1971, pp 221-227.
Wirth dijo: “Aquí se considera como una secuencia de decisiones de diseño relativas a la descomposición de tareas en subtareas y de datos en estructuras de datos.”
Utilizamos el término aquí principalmente para describir el desarrollo de un método a partir de su especificación. Veremos pequeños pasos, como dividir una instrucción de alto nivel en una secuencia de instrucciones, introducir una variable local, traducir una instrucción en inglés a Java e introducir un método.
Cambiar los formatos de hora
Desarrollamos una función para traducir una hora del día del formato de 24 horas al formato convencional AM-PM. Se utilizan tres tipos importantes de refinamiento gradual: Implementar una tarea como una secuencia de 3 subtareas, convertir un refinamiento en un análisis de casos en lugar de directamente en Java, y usar el principio de mañana. El vídeo dura 6 minutos. Léelo aquí. tiempo.pdf.
Anglizar un entero
Anglizar significa adaptar (una palabra, nombre o frase extranjera) al uso en inglés. Según el diccionario en línea Merriam-Webster, el primer uso conocido de la palabra fue en 1710. Aquí, desarrollamos un método para anglizar enteros, para convertir enteros como 1710 en palabras: mil setecientos diez. Es increíble cómo el refinamiento gradual resulta en un método simple, y el desarrollo incorpora la recursividad de una manera natural. El vídeo dura 8,2 minutos. Léalo aquí: anglicize.pdf
Evaluación de una expresión
Desarrollamos un método que evalúa y devuelve el valor de expresiones como estas: “52 + 71 -1 -652 “. Se utilizan dos técnicas importantes (1) estructurar un bucle para reflejar la estructura de los datos que procesa. (2) principio de mañana. El vídeo dura 4:51 minutos. Léalo aquí: eval.pdf
Edgar Allan Poe y “El Cuervo”
“El Cuervo” es un famoso poema de Edgar Allan Poe. Poe también escribió un ensayo titulado ” La “Filosofía de la composición”, en el que describe cómo desarrolló”El Cuervo”. ¡Es puro diseño de arriba hacia abajo / refinamiento gradual! Haga clic en la imagen de la izquierda para ver nuestro relato, con Paul Gries leyendo partes del poema. Haga clic para el Cuervo y el ensayo:
En estos videos, ha visto el refinamiento paso a paso que se usa de varias maneras:
1. Implementar una tarea como una secuencia de tareas.
2. Refinar un problema difícil en dos pasos en lugar de uno: primero dar un análisis de caso, luego traducirlo a Java.
3. Usando el principio de mañana: ver la necesidad de un método, introducirlo y escribirlo lo llama, y luego (mañana, mañana) escribir el cuerpo del método.
4. Alternar las pruebas con el desarrollo: después de cada paso de desarrollo, pruebe que el desarrollo fue correcto.
5. Introducción de una variable local con fines de eficiencia.
6. Romper un desarrollo en varios pedazos. Por ejemplo, averiguar cómo tratar con el entero 234 sin preocuparse de anglizarlo (producir 234/100, “cien” y 234%100) y luego averiguar cómo anglizar 234/100 y 234% 100.
7. Estructurar un bucle para reflejar la estructura de los datos que procesa.
8. Separación de preocupaciones: Un punto clave es enfocarse en una cosa a la vez y manejarla adecuadamente. La frase separación de preocupaciones fue acuñada por Edsger Dijkstra.