You are right, that does agree with your definition. But, in my opinion, the reverse engineering was done only by the first team. They took the binary and con

You are right, that does agree with your definition. But, in my opinion, the reverse engineering was done only by the first team. They took the binary and constructed an understanding of the code. The second team just did basic software engineering from a spec. Your definition requires both teams and that's where your definition is too narrow.