명세와 현실 공학