Has there been any attempts at developing a curriculum for teaching analysis (here let us be narrow and say real analysis in the sense of rigorous integral and differential calculus) in a multipass, spiral approach?
If there is, has there been any studies on its efficacy? Or any guidelines on best practices? Has any textbook been written from this point of view?
To a certain extent that is what we do a bit already: in many institutions the students are expected to first learn calculus and multivariable calculus from the algorithmic, computational point of view, and then re-learn it in an analysis class with more rigorous foundations. But frequently this is a large jump from 0 to 1 in terms of rigor. I am wondering whether someone has developed a textbook or curriculum for a 3 or 4 pass spiral approach to the increase in "rigor".
An example for what I am thinking about is, on the topic of integration, maybe doing a multipass approach would lead to something like
The first pass: integration by taking antiderivatives; fundamental theorems of calculus used axiomatically and not justified, ditto mean value theorems.
The second pass: Riemann integration of (uniformly) continuous functions, with tagged partitions and so on. The first mean value theorem and the first fundamental theorem proven in detail. Prove that the evaluation of the Riemann integral is linear. Some basic approximation/quadrature theorems and error estimates.
The third pass: Darboux version, start with approximations by piecewise linear or piecewise constant functions, take the sup/inf appropriately. Define the class of (Riemann) integrable functions, prove that it forms a real algebra. Reprove in this generality the first mean value theorem and the second (the monotonic one) mean value theorem, as well as the first and second fundamental theorems, and the Lebesgue criterion (in a suitable formulation).
Possibly also talk about directed sets and nets (useful for taking the directed limit over partitions for defining the Darboux integral, and also for topology later) and various other techniques.
Fourth pass (optional): Riemann-Stieltjes integration, redo the relevant theorems, integration by parts for RS integration, and expose the second mean value theorem as essentially one integration by parts plus the first mean value theorem.