Wikipediadan təsadüfi məlumatlar :
 | This article needs additional citations for verification. (August 2016) |
A specification language is a formal language in computer science used during systems analysis, requirements analysis, and systems design to describe a system at a much higher level than a programming language, which is used to produce the executable code for a system.[1]
Overview
[edit]Specification languages are generally not directly executed. They are meant to describe the what, not the how. It is considered an error if a requirement specification is cluttered with unnecessary implementation detail.
A common fundamental assumption of many specification approaches is that programs are modelled as algebraic or model-theoretic structures that include a collection of sets of data values together with functions over those sets. This level of abstraction coincides with the view that the correctness of the input/output behaviour of a program takes precedence over all its other properties.
In the property-oriented approach to specification (taken e.g. by CASL), specifications of programs consist mainly of logical axioms, usually in a logical system in which equality has a prominent role, describing the properties that the functions are required to satisfy—often just by their interrelationship. This is in contrast to so-called model-oriented specification in frameworks like VDM and Z, which consist of a simple realization of the required behaviour.
Specifications must be subject to a process of refinement (the filling-in of implementation detail) before they can actually be implemented. The result of such a refinement process is an executable algorithm, which is either formulated in a programming language, or in an executable subset of the specification language at hand. For example, Hartmann pipelines, when properly applied, may be considered a dataflow specification which is directly executable. Another example is the actor model which has no specific application content and must be specialized to be executable.
An important use of specification languages is enabling the creation of proofs of program correctness (see theorem prover).
Languages
[edit]- ACSL
- Attempto Controlled English[2]
- CASL
- VDM
- Z notation
- TLA+
- FizzBee (Python'ish design specification language)[3]
- LePUS3 (a visual, object-oriented design description language)
- Perfect
- Alloy
- LOTOS
- E-LOTOS
- MML
- Refine Language[4]
- Rosetta-lang
- SequenceL
- SMV
- SDL
- B-Method
See also
[edit]- Formal specification
- Language-independent specification
- Pseudocode
- Specification and Description Language
- Unified Modeling Language
References
[edit]- ^ Joseph Goguen "One, None, A Hundred Thousand Specification Languages" Invited Paper, IFIP Congress 1986 pp 995-1004
- ^ Fuchs, Norbert E.; Schwertel, Uta; Schwitter, Rolf (1998). "Attempto Controlled English—not just another logic specification language" (PDF). International Workshop on Logic Programming Synthesis and Transformation. Lecture Notes in Computer Science. Vol. 1559. Springer. pp. 1–20. doi:10.1007/3-540-48958-4_1. ISBN 978-3-540-65765-1.
- ^ "Easiest-ever formal methods language for developers crafting distributed systems, microservices, and cloud applications". Retrieved May 28, 2024.
- ^ Linden, Theodore; Lawrence Markosian (1989). "Transformational Synthesis Using Refine". In Richer, Mark (ed.). AI Tools and Techniques. Ablex. pp. 261–286. ISBN 0-89391-494-0. Retrieved 6 July 2014.
External links
[edit]
Media related to Specification languages at Wikimedia Commons
Kommunal ödənişləri qeydiyyatsız və sürətli həyata keçirin
Kommunal.az onlayn ödənişi asanlaşdırır. Onlayn Ödə, Ödəniş tarixçənizi yadda saxlayın, Hesablarınızı avtomatik ödəyin, Kartdan karta pul köçürün
Bakıda kommunal xidmətləri onlayn ödəmək 💳 ödəniş işıq pulu ödənişi ⚡️ mənzil və kommunal xidmətlər 💰 kirayə 🔒 təhlükəsiz ✅ Azərbaycanda istənilən bank kartından 📞 * 1919 | EPUL
“ASAN Kommunal” mərkəzləri bazar ertəsi - cümə günləri saat 09:00-dan-18:00-dək, şənbə günü isə saat 10:00-17:00-dək nahar fasiləsi olmadan fəaliyyət göstərir. “ASAN Kommunal” mərkəzlərində sənədlərin qəbulu həftənin beş günü saat 09:00-dan 17:30-dək, şənbə günü isə saat 10:00-dan 16:30-dək fasiləsiz həyata keçirilir.
Azərbaycan Respublikası Prezidentinin 06 avqust 2008-ci il tarixli 2983 saylı sərəncamını həyata keçirmək məqsədi ilə Bakı şəhər İcra Hakimiyyəti Başçısı 02 fevral 2009-cu il tarixdə 45 saylı sərəncamla, Bakı şəhərinin inzibati ərazisində əmələ gəlmə mənbəyindən asılı olmayaraq, bütün bərk məişət tullantılarının daşınması və zərərsizləşdirilməsini Bakı şəhər İcra Hakimiyyəti Aparatı Mənzil Kommunal Təsərrüfatı Departamentinin İxtisaslaşdırılmış Sanitariya – Təmizlik və Kommunal Xidmətlər İdarəsinə həvalə etmişdir.
Hesab.az offers online payments for Mobile, Utilities, TV, Internet, Phone and many other services
Bank Ödənişləri - Online Kommunal Ödənişlər. İndi siz mobil, internet, sığorta, bank və kredit ödənişlərinizi asanlıqla online odeme formada edə bilərsiniz. Onlayn Odeme Sizə daha yaxın
Onlayn xidmətlər - Kredit, kommunal ödənişlər, eləcə də arayış və çıxarışların alınması. Banka gəlmədən Kapital Bankın online odeme xidmətindən banka gəlmədən yararlanın
Mobile operators · Bank Services · Insurance · Phone · Kommunal Services · Cable TV · Internet · Other · Entertainment.
Elektron pul kisəsinə saytdan və ya mobil proqram vasitəsilə daxil olun. "Kommunal ödənişlər" bölməsini seçin. Öz ödəniş kodunuzu və məbləği daxil edin.
Hökumət ödənişləri Bank xidmәtlәri Mobil operatorlar Telefon Kommunal xidmәtlәr İnternet TV Sığorta Təhsil Taksi və Çatdırılma Otellər və Turizm Әylәncә
Hökumət Ödəniş Portalı (HÖP) – ölkə iqtisadiyyatında nağdsız hesablaşmaların genişləndirilməsi və bütün regionlarda maliyyə xidmətlərinə çıxış imkanlarının artırılması məqsədilə Azərbaycan Respublikası Mərkəzi Bankı tərəfindən yaradılmışdır. Portal vasitəsilə mərkəzləşdirilmiş qaydada vergi, rüsum, icarə haqqı və digər büdcə ödənişlərinin, həmçinin kommunal, rabitə və başqa kütləvi xidmətlər üzrə ödənişlərin internet üzərindən ödəniş kartlarından, bank hesablarından istifadə edilməklə, həmçinin bankların və milli poçt operatorunun maliyyə xidməti nöqtələrində nağd qaydada toplanılması təmin edilmişdir.
Çoxfunksiyalı “ASAN ödəniş” sistemi cərimə, kommunal xidmət, kabel televiziyası, mobil operator, internet və digər ödənişləri qısa zamanda, təhlükəsiz və rahat şəkildə həyata keçirmək imkanı yaradır. Respublika daxilində geniş ərazini əhatə edən “ASAN Ödəniş” terminalları, həmçinin www.asanpay.az portalı və “ASAN Pay” mobil əlavəsi vasitəsilə istənilən xidmət üzrə heç bir məhdudiyyəti olmadan 24/7 ödəniş etmək mümkündür.
Bütün xidmətlər bir Ödəmə Nöqtəsində! Qeydiyyatdan keçərək istənilən xidmətlər üzrə ödəniş edin və bonus qazanın.
Portmanat.az - elektron pulqabı, onlayn ödəmə,kommunal ödənişlər, mobil ödəmə, hesab ödənişləri, tv ödənişləri, internet ödəmə
Son illərdə həyatımıza daxil olan elektron xidmətlərdən biri də elektron ödəniş sistemləridir. Bu ödəniş sistemləri malların, iş və xidmətlərin dəyərinin ödənilməsi, öz hesabından digər şəxsin hesabına pul vəsaitinin köçürülməsi üçün istifadə edilən ödəniş alətidir.
Bütün kommunal, mobil, elektron imza, dövlət, internet, sığorta, bank, Naxçıvan və digər ödənişlərini Smartpay üzərindən et
