短周期元素X和Y，X原子的电子层数为n，最外层电子数为（2n+1），Y原子最外层电子数是次外层电子数的3倍．下列说法一定正确的是（　　）

A．X和Y都是非金属元素，其中X的最高化合价为+5价

B．X与Y所能形成的化合物都是共价化合物

C．元素X可形成化学式为KXO₃的盐

D．X的氢化物不溶于水

软件危机出现于60年代末，为了解决软件危机，人们提出了【 】的原理来设计软件这就是软件工程诞生的基础。