Abone imleşimi (Alm. Teilnehmer-Signalisierung, f; Fr signalisation d’abonné, f; İng subscriber signaling) blşm



Indir 0.55 Mb.
Sayfa129/899
Tarih11.02.2022
Büyüklüğü0.55 Mb.
#41
1   ...   125   126   127   128   129   130   131   132   ...   899
biçimsel belirtim (Alm. formale Spezifikation, f; Fr. spécification formelle; İng. formal specification) blşm. Bir sistemin ya da birimin geliştirilmesine ilişkin, isterler belirleme, tasarım, gerçekleştirme, sınama, uygulama, bakım gibi herhangi bir aşamada ortaya çıkan ürün ya da ara ürünlerin, doğru anlaşılabilmesini kesinleştirmek üzere herhangi bir yerleşik standarda uygun şekilde yazılan ve onaylanan belge.
biçimsel dil (Alm. formale Sprache, f; Fr. langage formel; İng. formal language) blşm. Sözdizimi kuralları hiçbir belirsizlik içermeyecek şekilde tanımlanmış, bilgisayar programlamasında da kullanılabilecek nitelikte kesin dil.

Indir 0.55 Mb.

Arkadaşlarınla ​​paylaş:
1   ...   125   126   127   128   129   130   131   132   ...   899




Veritabanı telif hakkı ile korunan ©dosyalar.org 2023
mesaj gönder

    Ana sayfa