 SPADE is also rather new and is not yet considered a mainstream development tool.Of course creating SMART requirements takes more effort and skill compared to just describing them in a couple of sentences.One should always consider that in normal software development the requirements define a fixed "contract" of the functionality that should be created.