لغة المواصفات
Sign in to saveformal language used in computer science
In the Vinony graph
Vinony's link graph records 84 inbound references to لغة المواصفات, and connects out to specification and description language, computer science and algebra.
Vinony files it under Computer languages, Formal specification and Scientific modelling.
Vinony links it to 14 Wikipedia language editions.
Wikidata facts
- Subclass of
- computer language
- Has use
- specification
Show 1 more fact
- topic's main category
- Category:Specification languages
Sources (2)
via Wikidata · CC0
Article · العربية
لغة المواصفات هي لغة شكلية في علم الحاسوب تستخدم أثناء تحليل الأنظمة وتحليل المتطلبات وتصميم الأنظمة لوصف نظام على مستوى أعلى بكثير من لغة البرمجة، والتي تستخدم لإنتاج التعليمات البرمجية القابلة للتنفيذ لنظام ما.
Abstract from DBpedia / Wikipedia · CC BY-SA
Connections
specification and description language
Entity
computer science
Entity
algebra
Entity
International Standard Book Number
Entity
programming language
Entity
function
Entity
set
Entity
axiom
Entity
mathematical proof
Entity
digital object identifier
Entity
markup language
Entity
Unified Modeling Language
Entity
formal language
Entity
pseudocode
Entity
computer language
Entity
model theory
Entity
formal system
Entity
systems analysis
Entity
query language
Entity
requirements analysis
Entity