formalization أمثلة على

• So far, this discussion of the formalization of an algorithm has assumed the premises of imperative programming.
  حتى الآن، وقد أدت هذه المناقشة لإضفاء الطابع الرسمي على الخوارزمية قد افترضت بناء برمجة أمرية.
• Some practitioners believe that the formal methods community has overemphasized full formalization of a specification or design.
  يرى بعض الممارسين أن مجتمع الأساليب الشكلية قد ركز بشكل زائد عن الحد على الشكلية الكاملة للمواصفة أو التصميم.
• The formalization of the division between small powers and great powers came about with the signing of the Treaty of Chaumont in 1814.
  ظهرت التفرقة بين القوى الصغيرة والقوى العظمى مع توقيع معاهدة شومونت في 1814.
• In some design workflow models, creating a prototype (a process sometimes called materialization) is the step between the formalization and the evaluation of an idea.
  في نماذج سير العمل إنشاء النماذج المبدئية (العملية أو في بعض الأحيان تسمى التجسيد) هي الخطوة بين هيكلة وتقييم الفكرة.
• One of the most significant moments in the formalization of exchange programs as tools of American Foreign Policy came under U.S. President Dwight D. Eisenhower.
  وكانت واحدة من أبرز اللحظات في عملية إضفاء الطابع الرسمي على برامج التبادل كأدوات للسياسة الأجنبية الأمريكية أثناء حكم الرئيس الأمريكي دوايت دي آيزنهاور.
• They contend that the expressiveness of the languages involved, as well as the complexity of the systems being modelled, make full formalization a difficult and expensive task.
  وهم يؤكدون أن درجة التعبير عن اللغات المضمنة، بالإضافة إلى درجة تعقيد الأنظمة التي يتم وضع نماذج لها، تجعل الشكلية الكاملة مهمة صعبة ومكلفة.
• Many of Schoenberg's practices, including the formalization of compositional method and his habit of openly inviting audiences to think analytically, are echoed in avant-garde musical thought throughout the 20th century.
  ودوَّت العديد من ممارسات شوينبيرج -بما في ذلك إضفاء الطابع الرسمي على الطريقة الإنشائية- وعادته في دعوة الجماهير علانيةً للتفكير بشكلٍ تحليليٍّ في الفكر الموسيقي الطليعي طوال القرن العشرين.
• Called for by Portugal and organized by Otto von Bismarck, first Chancellor of Germany, its outcome, the General Act of the Berlin Conference, can be seen as the formalization of the Scramble for Africa.
  وقد دعت إليه البرتغال ونظمه أوتو فون بسمارك، أول مستشار لألمانيا، ونتيجته، القانون العام لمؤتمر برلين، كثيراً ما يـُنظـَر إليه كتقنين لظاهرة التدافع على أفريقيا.
• The formalization of these arrangements emerged in the nineteenth century with the establishment of kindergartens for educational purposes and day nurseries for care in much of Europe and North America, Brazil, China, India, Jamaica and Mexico.
  ومن الناحية التاريخية ، كانت هذه الترتيبات لا تخضع لقانون محدد إلى حد كبير ولكن برز إضفاء الطابع الرسمي والقانوني على هذه الترتيبات في القرن التاسع عشر مع إنشاء رياض الأطفال للأغراض التعليمية ودور الحضانة النهارية في الكثير من المناطق كأوروبا وأمريكا الشمالية والبرازيل والصين والهند وجامايكا والمكسيك.