Another take on the idea of finding the complete specification is Parnas Tables. https://cs.uwaterloo.ca/~jmatlee/talks/parnas01.pdf https://cs.uwaterloo.ca/~jm

Another take on the idea of finding the complete specification is Parnas Tables. https://cs.uwaterloo.ca/~jmatlee/talks/parnas01.pdf https://cs.uwaterloo.ca/~jmatlee/talks/parnas01.pdf I'm thinking it could be interesting to combine some agile technique like ATDD and user story mapping with such a disciplined formalism.