Fundamentals and contributions to validation of constructive computational methodologies: a focused survey · Study