Drydock turns specifications into working software.