Specification-driven development

Specification-driven development is a software development approach in which specifications are used to develop software.

Specification-driven development is a type of documentation-driven development, along with model-driven development, model transformation, and round-trip engineering.¹

Ostroff, Makalsky, and Paige present an agile approach to specification-driven development that combines features of test-driven development and the plan-based approach of design by contract. They describe tests and contracts as different types of specifications that are useful and complementary for developing software.²

References

Liu, Shaoying; Li, Honghui; Jiang, Zhouxian; Li, Xiuru; Liu, Feng; Zhong, Yan (May 2021). "Rigorous code review by reverse engineering". Information and Software Technology. 133 106503. doi:10.1016/j.infsof.2020.106503.
Ostroff, Jonathan S.; Makalsky, David; Paige, Richard F. (2004). "Agile Specification-Driven Development". In Eckstein, Jutta; Baumeister, Hubert (eds.). Extreme Programming and Agile Processes in Software Engineering. Lecture Notes in Computer Science. Vol. 3092. Berlin, Heidelberg: Springer. pp. 104–112. doi:10.1007/978-3-540-24853-8_12.

[1] Liu, Shaoying; Li, Honghui; Jiang, Zhouxian; Li, Xiuru; Liu, Feng; Zhong, Yan (May 2021). "Rigorous code review by reverse engineering". Information and Software Technology. 133 106503. doi:10.1016/j.infsof.2020.106503.

[2] Ostroff, Jonathan S.; Makalsky, David; Paige, Richard F. (2004). "Agile Specification-Driven Development". In Eckstein, Jutta; Baumeister, Hubert (eds.). Extreme Programming and Agile Processes in Software Engineering. Lecture Notes in Computer Science. Vol. 3092. Berlin, Heidelberg: Springer. pp. 104–112. doi:10.1007/978-3-540-24853-8_12.

1

2

See also

References