Izertlewshi programmalastırıw
Izertlewshi programmalastırıw, ámelge asırıw programmalastırıwına qarama-qarsı, programmalıq támiynat injenerligi cikliniń áhmiyetli bólimi bolıp tabıladı: eger taraw júdá jaqsı túsinilmegen yamasa ashıq emes bolsa, yamasa ámelge asırıw ushın qanday algoritmler hám maǵlıwmatlar strukturaları kerek ekenligi anıq bolmasa, redaktorlaw-kompilyaciyalaw-orınlaw-debaglaw cikliniń ádettegi sheklewlerinen ótpey, programmanı interaktiv túrde islep shıǵıw hám debaglaw múmkinshiligi paydalı. APL, Cecil, Clojure, C#,[1] Dylan, Factor, Forth, F#, J, Java,[2] Julia, Lisp, Mathematica, Obliq, Oz, Prolog, Python, REBOL, Perl, R, Ruby, Scala, Self, Smalltalk, Tcl, hám JavaScript sıyaqlı tiller, kóbinese IDE menen birgelikte, interaktivlik, dinamikalıq hám keńeytiw múmkinshiligi arqalı izertlewshi programmalastırıwdı qollap-quwatlaydı.
Formal specifikaciya menen izertlewshi programmalastırıw
Ayırım programmalıq támiynat islep shıǵıw joybarları ushın talaplar analizin hám formal specifikaciyanı orınlaw durıs. Basqa programmalıq támiynat islep shıǵıw joybarları ushın, baǵdarlamashılarǵa texnologiya menen tájiriybe ótkeriwine hám programmalıq támiynattıń specifikaciyasınıń izertlewshi programmalastırıwǵa baylanıslı rawajlanıwına imkaniyat beriw durıs.
Maket islewge uqsaslıq
Elektronika islep shıǵıwda da uqsas izertlew usılı qollanıladı, ol Maket islew dep ataladı, bunda hár túrli kombinaciyalar tez sınaqtan ótkerilip, qayta qaralıwı múmkin, bunda nátiyjeniń anıq waqıtsha tábiyatqa iye ekenligi kelisimi qabıl etiledi.