通过抽象，可以确定组成软件的（）。通过信息隐蔽，可以定义和实施对模块的过程细节和局部数据结构的 （）。