ПРОГРА́ММЫ СПЕЦИФИКА́ЦИЯ

ПРОГРА́ММЫ СПЕЦИФИКА́ЦИЯ, точ­ное опи­са­ние за­да­чи, ко­то­рую долж­на ре­шить про­грам­ма для ЭВМ; со­став­ле­ние та­ко­го опи­са­ния.

На­зна­че­ние П. с. – точ­но фик­си­ро­вать по­ста­нов­ку за­да­чи в рам­ках не­ко­то­рой ма­те­ма­тич. мо­де­ли и слу­жить ос­но­вой для про­грам­ми­ро­ва­ния, в ча­ст­но­сти для про­грамм син­те­за. Про­ек­ти­ро­ва­ние и раз­ра­бот­ка про­грам­мы мо­гут вклю­чать в се­бя не­сколь­ко уров­ней, на ка­ж­дом из ко­то­рых про­грам­ма пред­став­ле­на не­ко­то­рой спе­ци­фи­ка­ци­ей. По­это­му спе­ци­фи­ка­ции ис­поль­зу­ют­ся не толь­ко для опи­са­ния ис­ход­ной за­да­чи, но и для про­ме­жу­точ­ных пред­став­ле­ний. Пе­ре­ход от од­но­го пред­став­ле­ния к дру­го­му мо­жет вы­пол­нять­ся как вруч­ную, так и ав­то­ма­ти­че­ски.

Су­ще­ст­вен­ное от­ли­чие спе­ци­фи­ка­ции от про­грам­мы со­сто­ит в ис­поль­зо­ва­нии средств опи­са­ния, ори­ен­ти­ро­ван­ных в боль­шей сте­пе­ни на по­ни­ма­ние опи­са­ния че­ло­ве­ком, не­же­ли на ав­то­ма­тич. об­ра­бот­ку с по­мо­щью ЭВМ. По­ня­тия и сред­ст­ва по­строе­ния ма­те­ма­тич. объ­ек­тов, ис­поль­зуе­мые в спе­ци­фи­ка­ци­ях, вы­хо­дят да­ле­ко за рам­ки то­го, что ха­рак­тер­но для ти­пич­ных язы­ков про­грам­ми­ро­ва­ния. Это – ра­вен­ст­ва, сис­те­мы под­ста­но­вок и фор­му­лы ис­чис­ле­ния пре­ди­ка­тов, таб­ли­цы, гра­фы (се­ти, диа­грам­мы), опе­ра­ции над слож­ны­ми объ­ек­та­ми, сред­ст­ва опи­са­ния взаи­мо­дей­ст­вия про­цес­сов и про­це­дур­ные сред­ст­ва вы­со­ко­го уров­ня, струк­ту­ри­ро­ва­ние рас­смат­ри­вае­мой за­да­чи с по­мо­щью схем и аб­ст­ракт­ных ма­те­ма­тич. струк­тур, та­ких, напр., как ал­геб­ра­ич. сис­те­мы.

Тем не ме­нее ме­ж­ду язы­ка­ми спе­ци­фи­ка­ции и язы­ка­ми прграм­ми­ро­ва­ния нет чёт­кой гра­ни­цы. Мно­гие язы­ки про­грам­ми­ро­ва­ния со­дер­жат сред­ст­ва вы­со­ко­го уров­ня, ха­рак­тер­ные для язы­ков спе­ци­фи­ка­ции. По­ня­тие «П. с.» от­но­си­тель­но ещё и в том смыс­ле, что за­ви­сит от объ­ё­ма ма­те­ма­тич. зна­ний, ко­то­рые не­об­хо­ди­мы для её по­ни­ма­ния.