[Final version] edit specifications