TY - GEN AU - Gómez,Rodolfo TI - A framework for defining and checking contraints in requirement gathering and definition ER -