Update specs with BDD style descriptions