Constructing Gröbner bases for Noetherian rings