The main types include Waterfall Model, V-Shaped Model, Agile, Evolutionary Prototyping Model, Spiral Model (SDM), and Iterative and Incremental Model.