Software spec