spec -> dev