Skeleton Coding 是一项研究，其核心思想是开发者在提供行为规格的同时，用高层、类代码的格式指定程序结构（骨架），以缩小候选程序空间。