General methodological proposals for Computer Science research: Prototyping, mathematical modeling, and the scientific method