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#,through  Microsoft Visual Studio Dylan, Factor, Forth, F#, J, Java,through its JShell read-eval-print loop interpreter introduced in version 9 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.

 Derekler 

Kategoriya:Programmalastırıw paradigmaları
__BÖLİDİMÖNDEMEW__