writing up specification