| dbo:abstract
|
- التكوين الهيكلي للبرامج (SSP) هو شكل خاص من تكوين البرنامج (التلقائي) الذي يعتمد على حساب التفاضل والتكامل. بتعبير أدق، يستخدم المنطق الحدسي لوصف هيكل البرنامج بمثل هذه التفاصيل بحيث يمكن أن يتكون البرنامج تلقائيًا من قطع مثل الدالات أو حتى أوامر الحاسوب. من المفترض أن هذه القطع قد تم تنفيذها بشكل صحيح، وبالتالي لا حاجة للتحقق من صحة هذه القطع. التكوين الهيكلي للبرامج مناسب تمامًا للتكوين التلقائي للخدمات للهيكليات الموجهة نحو الخدمة ولتكوين برامج المحاكاة الكبيرة. (ar)
- Structural synthesis of programs (SSP) is a special form of (automatic) program synthesis that is based on propositional calculus. More precisely, it uses intuitionistic logic for describing the structure of a program in such a detail that the program can be automatically composed from pieces like subroutines or even computer commands. It is assumed that these pieces have been implemented correctly, hence no correctness verification of these pieces is needed. SSP is well suited for automatic composition of services for service-oriented architectures and for synthesis of large simulation programs. (en)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 6198 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdfs:comment
|
- التكوين الهيكلي للبرامج (SSP) هو شكل خاص من تكوين البرنامج (التلقائي) الذي يعتمد على حساب التفاضل والتكامل. بتعبير أدق، يستخدم المنطق الحدسي لوصف هيكل البرنامج بمثل هذه التفاصيل بحيث يمكن أن يتكون البرنامج تلقائيًا من قطع مثل الدالات أو حتى أوامر الحاسوب. من المفترض أن هذه القطع قد تم تنفيذها بشكل صحيح، وبالتالي لا حاجة للتحقق من صحة هذه القطع. التكوين الهيكلي للبرامج مناسب تمامًا للتكوين التلقائي للخدمات للهيكليات الموجهة نحو الخدمة ولتكوين برامج المحاكاة الكبيرة. (ar)
- Structural synthesis of programs (SSP) is a special form of (automatic) program synthesis that is based on propositional calculus. More precisely, it uses intuitionistic logic for describing the structure of a program in such a detail that the program can be automatically composed from pieces like subroutines or even computer commands. It is assumed that these pieces have been implemented correctly, hence no correctness verification of these pieces is needed. SSP is well suited for automatic composition of services for service-oriented architectures and for synthesis of large simulation programs. (en)
|
| rdfs:label
|
- تكوين هيكلي للبرامج (ar)
- Structural synthesis of programs (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is foaf:primaryTopic
of | |
