Hispanopedia WikiEl desarrollo basado en especificaciones es un enfoque de desarrollo de software en el que se utilizan especificaciones para desarrollar el software.
El desarrollo basado en especificaciones es un tipo de desarrollo basado en documentación, junto con el desarrollo basado en modelos , la transformación de modelos y la ingeniería de ida y vuelta . [ 1 ]
Ostroff, Makalsky y Paige presentan un enfoque ágil para el desarrollo basado en especificaciones que combina características del desarrollo basado en pruebas y el enfoque basado en planes del diseño por contrato . Describen las pruebas y los contratos como diferentes tipos de especificaciones que son útiles y complementarias para el desarrollo de software. [ 2 ]
Véase también
Referencias
- ^ Liu, Shaoying; Li, Honghui; Jiang, Zhouxian; Li, Xiuru; Liu, Feng; Zhong, Yan (mayo de 2021). "Revisión rigurosa del código mediante ingeniería inversa". Tecnología de la información y software . 133 106503. doi : 10.1016/j.infsof.2020.106503 .
- ↑ Ostroff, Jonathan S.; Makalsky, David; Paige, Richard F. (2004). "Desarrollo ágil impulsado por especificaciones". En Eckstein, Jutta; Baumeister, Hubert (eds.). Programación extrema y procesos ágiles en ingeniería de software . Lecture Notes in Computer Science. Vol. 3092. Berlín, Heidelberg: Springer. pp. 104–112 . doi : 10.1007/978-3-540-24853-8_12 .
Categoría :
- Desarrollo de software
