method:functional_specification