Tasty specification framework