Les processus de développement logiciel

Bonjour,

S'il vous plait j'ai besoin des informations sur les différents modèle de développment logiciels ci-dessous :
- MODÈLE EXPLORATOIRE
- MODÈLE PROTOTYPAGE
- Le modèle de "développement concourant"
- Le modèle de "développement formel"

J'aimerais aussi savoir s'il existe une différence entre les le modèle incrémental et le modèle prototypage

Bref si quelqu'un peut m'envoyer des liens présentant les différents modèles ci-dessus cela me ferait énormément plaisir
Merci d'avance