Updated specs with BDD style descriptions