Assuming you used the original source code to derive the detailed spec, then yes, that too is a derivative work.
The "viral" nature of that sort of license has bothered me for a long time. It's always been simultaneously overly far reaching and impossible to realistically enforce.
But here's an interesting question:
If you do not execute the code - did you accept the license? Does simply reading it sufficiently to be able to write a spec bind you to that license? That seems a bit too much.