Programų kūrimo gyvavimo ciklo modelis

Yra sukurta daugybė modelių, aprašančių Programų kūrimo ciklą. Dažniausiai jie formalizuoja programų kūrimo procesą ir daro jį atkartojamu, t. y. iš kiekvieno baigto produkto ar projekto galima pasisemti patirties kaip kurti naujus produktus ar projektus.

Klasikiniai modeliai:
 Krioklio modelis – kai programa kuriama nepertraukiamai, etapas po etapo.
 Spiralinis modelis – kai programa kuriama ciklais (spirale).
 Prototipavimo modelis – kai visas funkcionalumas patikrinamas prototipais, o vėliau pagal prototipą kuriamas produktas.

Keletas gyvavimo ciklo modelių, papildančių klasikinius:
 Microsoft Solution Framework (MSF) – Microsoft firmos sukurti rėmai, sukurti papildant spiralinį modelį.
 Rational Unified Process (RUP) – Rational firmos sukurtas ciklinis modelis, ypatingai naudojantis UML kalbą.
 SCRUM – empirinis ciklinis modelis, taikomas kai kitų modelių taikymas yra per sudėtingas dėl per greitai kintančių reikalavimų, per didelės apimties ar panašiai. Šis modelis nėra atkartojamas, tačiau yra gana lankstus.

Programų inžinerija

ar:عملية تطوير البرمجيات
en:Software development process
fa:فرآیند تولید نرم‌افزار
he:מתודולוגיית פיתוח תוכנה
ja:ソフトウェア開発工程
ko:소프트웨어 개발 프로세스
pt:Processo de desenvolvimento de software
tr:Yazılım geliştirme yöntembilimi
vi:Quy trình phát triển phần mềm
zh:软件开发过程