Home Education {:fr}Programme de doctorat financé par le Fonds scientifique autrichien (FWF){:}{:en}PhD degree program...

{:fr}Programme de doctorat financé par le Fonds scientifique autrichien (FWF){:}{:en}PhD degree program funded by the Austrian Science Fund (FWF) {:}{:ar}برنامج درجة الدكتوراه بتمويل من صندوق العلوم النمساوية{:}

38
0

{:fr}

Le programme doctoral LogiCS est un programme de doctorat financé par le Fonds scientifique autrichien (FWF) et géré conjointement par les trois universités autrichiennes; le TU Wien (Université de Technologie de Vienne), Université technique de Graz et l’ Université Johannes Kepler de Linz . Ce programme s’adresse aux étudiants très motivés qui souhaitent travailler dans le domaine des méthodes logiques en informatique.

Pourquoi étudier les méthodes logiques en informatique?

LogiCS propose un programme international caractérisé par la combinaison unique de disciplines où les méthodes logiques ont un impact décisif sur l’informatique pratique.

Bien que bon nombre des questions fondamentales de l’informatique soient maintenant bien comprises, son rôle dans la science, la technologie et la vie quotidienne entraîne de nouveaux défis et de grandes questions de recherche ouvertes qui nécessitent des ordinateurs pour effectuer des tâches de raisonnement non triviales .

La logique joue un rôle clé dans cette phase évolutive de l’informatique, similaire au rôle du calcul dans le développement de la physique et de l’ingénierie,

La logique est un puissant outil de raisonnement. Inventé à l’origine comme une aide à l’argumentation solide, il a atteint sa maturité sous forme de logique mathématique et de philosophie analytique au début du XXe siècle, avec des contributions importantes de Vienne.

Nous continuons cette tradition, en utilisant la logique comme un outil qui permet aux programmes informatiques de raisonner sur le monde. Ces tâches de raisonnement permettent une classification naturelle en deux grands domaines: nous pouvons utiliser la logique pour raisonner sur le monde extérieur , ainsi que pour raisonner sur les programmes informatiques eux-mêmes. Cela se reflète dans nos trois principaux domaines de recherche:

  • Dans les bases de données et l’intelligence artificielle , nous utilisons la logique pour modéliser, stocker, analyser et prévoir des informations sur le monde extérieur, y compris Internet, différents types de sources de données, les mégadonnées et les sources de connaissances spécifiques au domaine.
  • Dans la vérification , nous utilisons la logique qui est utilisée pour modéliser et analyser le comportement des programmes informatiques, en garantissant leur exactitude, des programmes simples aux conceptions logicielles et matérielles complexes.
  • Les questions logiques et algorithmiques qui sous-tendent les deux domaines d’application sont étudiées dans le domaine de la logique informatique .

Nous visons à développer de nouvelles méthodes logiques dans ces domaines et à les appliquer à la résolution de problèmes dans des domaines émergents comme la sécurité et la confidentialité , les systèmes cyberphysiques et les systèmes distribués .

L’équipe de medjouel.com vous informe que Vous pouvez en savoir plus sur les domaines qui constituent le programme ici .

Pourquoi rejoindre le programme LogiCS en Autriche?

Vienne a une histoire de premier plan en mathématiques, en informatique et en recherche logique ( Kurt Gödel , Vienna Circle ,…). De plus, il a été classé à plusieurs reprises numéro 1 dans le Mercer Quality of Living Survey .

La faculté LogiCS comprend 15 chercheurs renommés avec de solides antécédents en recherche, en enseignement et en conseil, complétés par 15 membres associés  qui renforcent davantage les activités de recherche et d’enseignement du collège, ainsi que des professeurs invités et des invités fréquents .

Le programme est complété par des initiatives de recherche participative de notre faculté telles que le  réseau national autrichien de recherche sur l’ingénierie des systèmes rigoureux  (ARiSE) financé par le Fonds scientifique autrichien, le  Vienna Center for Logic and Algorithms  (VCLA).

Quels sujets puis-je découvrir dans le programme LogiCS?

Le programme LogiCS comprend trois domaines principaux. Vous en apprendrez davantage sur chacun d’entre eux et effectuerez des recherches sur des sujets interdisciplinaires spécialisés en leur sein:

  • La logique de calcul couvre les fondements théoriques et mathématiques, qui sont une condition préalable pour que la logique soit l’outil puissant que nous déployons dans les domaines d’application. Nous nous concentrons ici sur la théorie de la preuve (élimination des coupes, exploration de preuves, correspondance Curry-Howard, interpolants), déduction automatisée (résolution, réfutation, démonstration de théorèmes), les logiques non classiques (logiques sous-structurelles, logiques à valeurs multiples, raisonnement juridique, logiques déontiques , logique modale et temporelle), la complexité de calcul (analyse de complexité, complexité paramétrée, méthodes de décomposition) et la satisfaction des contraintes (SAT, QSAT, CSP).
  • La vérification utilise la logique pour modéliser, analyser et construire des programmes informatiques. Ce domaine concerne les méthodes logiques et les outils automatisés pour raisonner sur le comportement et l’exactitude des systèmes complexes basés sur l’état, tels que les conceptions logicielles et matérielles ainsi que les systèmes hybrides. Cela va de la vérification de modèles, de l’analyse et de l’abstraction de programmes à de nouveaux domaines interdisciplinaires tels que la localisation de défauts, la réparation de programmes, la synthèse de programmes et l’analyse de systèmes biologiques.
  • Les bases de données et l’intelligence artificielle utilisent la logique pour modéliser, stocker, analyser et prévoir des informations sur le monde extérieur, par exemple les mégadonnées, Internet et les sources de connaissances spécifiques au domaine. Nous étudions ici un grand nombre de sujets, y compris les langages de requête basés sur des concepts logiques (tels que Datalog, des variantes de SQL, XML et SPARQL), de nouvelles méthodes théoriques de base de données (comme les mappages de schémas, l’extraction et l’intégration d’informations, l’interrogation d’ontologies), programmation logique, représentation et raisonnement des connaissances (ontologies, programmation par ensemble de réponses, changement de croyance, systèmes multi-contextes, gestion des incohérences, argumentation, planification, raisonnement préférentiel).

Nous nous concentrons particulièrement sur la conception de méthodes logiques dans des domaines d’application émergents. En particulier, vous aurez l’occasion d’appliquer la logique pour résoudre des problèmes difficiles dans les domaines suivants:

  • Sécurité et confidentialité: Les failles et vulnérabilités de sécurité affectent pratiquement toutes les infrastructures informatiques, et leurs conséquences dévastatrices touchent chaque utilisateur d’Internet, comme en témoignent les récentes vulnérabilités de haut niveau dans TLS, les applications mobiles, les puces Intel ou les contrats Ethereum. La logique est un outil essentiel pour modéliser rigoureusement la sémantique des systèmes complexes, qui peuvent être déterministes ou probabilistes, et pour spécifier les propriétés de sécurité attendues (par exemple, en termes de sécurité, de vivacité ou d’hyper-propriétés). En outre, il constitue le fondement de l’analyse formelle de la sécurité (par exemple, les systèmes de types et l’interprétation des abstractions), de la surveillance (par exemple, la multiexécution sécurisée) et des techniques de synthèse (par exemple, la compilation sécurisée).
  • Systèmes cyberphysiques: Les systèmes cyberphysiques sont des systèmes d’ingénierie, physiques et biologiques dont les opérations sont intégrées, surveillées et / ou contrôlées par un noyau informatique. Le comportement de CPS est une hybridation entièrement intégrée de l’action computationnelle (logique) et physique. La recherche liée à ce domaine d’application comprend l’analyse formelle des systèmes hybrides, la vérification des modèles symboliques et stochastiques, les langages de spécification basés sur la logique pour les comportements émergents spatio-temporels, la synthèse des paramètres, l’exploration des exigences, l’attaque contradictoire des composants logiciels d’apprentissage automatique, la vérification de l’exécution pour les propriétés de sûreté et de sécurité, et la synthèse de contrôleurs robustes.
  • Systèmes distribués: Les systèmes distribués sont omniprésents de nos jours: outre les instances traditionnelles comme les fermes de serveurs et les réseaux locaux, ils constituent l’épine dorsale de divers domaines émergents, tels que les circuits numériques intégrés à très grande échelle (VLSI), qui peuvent être considérés comme de très grands systèmes distribués mis en œuvre sur un seul morceau de silicium, et l’Internet des objets. Étant donné que bon nombre de ces applications sont essentielles à la sécurité, que les défaillances matérielles doivent être considérées comme faisant partie du fonctionnement normal et que les contraintes sévères en matière de ressources et d’énergie sont souvent inévitables, les méthodes de conception et d’analyse basées sur la logique sont essentielles pour établir la vision des systèmes de bâtiment qui sont corrects par construction. Recherche dans des domaines tels que la vérification assistée par ordinateur, la conception basée sur des modèles et, finalement,

Pour plus d’informations, veuillez consulter Admission .{:}{:en}

We are recruiting up to 12 doctoral candidates with a negotiable starting date. Apply by June 12, 2020!
For more information please see Admission.

The LogiCS doctoral program is a PhD degree program funded by the Austrian Science Fund (FWF) and run jointly by the three Austrian universities; the TU Wien (Vienna University of Technology), Graz University of Technology and Johannes Kepler University Linz. This program is aimed at highly motivated students who want to work in the field of Logical Methods in Computer Science.

Why study Logical Methods in Computer Science?

LogiCS offers an international program characterized by the unique combination of disciplines where logical methods decisively impact practical computer science.

While many of the basic questions in computer science are now well understood, its role in science, technology, and everyday results in ever new challenges and big open research questions that require computers to perform non-trivial reasoning tasks.

Logic plays a key role in this evolving phase of computer science, similar to the role of calculus in the development of physics and engineering,

Logic is a powerful reasoning tool. Originally invented as an aid for sound argumentation, it reached maturity in the form of mathematical logic and analytic philosophy in the early 20th century, with significant contributions from Vienna.

We continue this tradition, using logic as a tool that enables computer programs to reason about the world. These reasoning tasks allow a natural classification into two broad areas: we can use logic to reason about the outside world, as well as to reason about computer programs themselves. This is reflected in our three core areas of research:

  • In Databases and Artificial Intelligence, we use logic to model, store, analyze and predict information about the outside world including the Internet, different kinds of data sources, big data, and domain specific knowledge sources.
  • In Verification, we use logic is used to model and analyze the behavior of computer programs, ensuring their correctness, from simple programs to complex software and hardware designs.
  • The logical and algorithmic questions which underlie both application areas are studied in the area of Computational Logic.

We aim at developing new logical methods in these areas, and applying them to solving problems in emergent areas like Security and PrivacyCyber-Physical Systems, and Distributed Systems.

You can read more about the areas that constitute the program here.

Why join the LogiCS program in Austria?

Vienna has a prominent history in mathematics, computer science, and logic research (Kurt GödelVienna Circle, …). Additionally, it has repeatedly been ranked number 1 in the Mercer Quality of Living Survey.

The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching, and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college, as well as visiting professors and frequent guests.

The program is complemented by our faculty’s participation research initiatives such as the Austrian-wide National Research Network on Rigorous Systems Engineering (ARiSE) funded by the Austrian Science Fund, the Vienna Center for Logic and Algorithms (VCLA).

Which topics can I learn about in the LogiCS program?

The LogiCS program has three core areas. You will learn about all of them, and carry out research in specialized interdisciplinary topics within them:

  • Computational Logic covers the theoretical and mathematical foundations, which are a prerequisite for logic to be the powerful tool that we deploy in application areas. Our focus here is proof theory (cut elimination, proof mining, Curry-Howard correspondence, interpolants), automated deduction (resolution, refutation, theorem proving), non-classical logics (substructural logics, multi-valued logics, juridical reasoning, deontic logics, modal and temporal logics), computational complexity (complexity analysis, parameterized complexity, decomposition methods) and constraint satisfaction (SAT, QSAT, CSP).
  • Verification employs logic to model, analyze, and construct computer programs. This area is concerned with logical methods and automated tools for reasoning about the behavior and correctness of complex state-based systems, such as software and hardware designs as well as hybrid systems. It ranges from model checking, program analysis and abstraction to new interdisciplinary areas such as fault localization, program repair, program synthesis, and the analysis of biological systems.
  • Databases and Artificial Intelligence uses logic to model, store, analyze and predict information about the outside world, for example, big data, the internet, and domain-specific knowledge sources. Here we study a large number of subjects, including query languages based on logical concepts (such as Datalog, variants of SQL, XML, and SPARQL), novel database-theoretical methods (like schema mappings, information extraction and integration, querying ontologies), logic programming, knowledge representation and reasoning (ontologies, answer-set programming, belief change, multi-context systems, inconsistency handling, argumentation, planning, preferential reasoning).

We are particularly focused on the design of logical methods in emergent application domains. In particular, you will have the opportunity of applying logic to solve challenging problems in the following areas:

  • Security and Privacy: Security flaws and vulnerabilities affect virtually all IT infrastructures, and their devastating consequences touch each Internet user, as witnessed by recent high-profile vulnerabilities in TLS, mobile apps, Intel chips, or Ethereum contracts. Logic is a crucial tool to rigorously model the semantics of complex systems, which can be deterministic or probabilistic, and to specify the expected security properties (e.g., in terms of safety, liveness, or hyper-properties). Furthermore, it constitutes the foundation of formal security analysis (e.g., type systems and abstraction interpretation), monitoring (e.g., secure multiexecution), and synthesis techniques (e.g., secure compilation). The overarching goal of this research discipline is to develop formal methods that are capable to automatically verify security and privacy properties across all layers of modern IT infrastructures (e.g., mobile apps, browsers, cryptographic protocols, cloud services, and blockchain technologies) and to aid software developers in the design of provably secure and privacy-preserving systems.
  • Cyber-Physical Systems: Cyber-physical systems are engineering, physical and biological systems whose operations are integrated, monitored, and/or controlled by a computational core. The behavior of CPS is a fully-integrated hybridisation of computational (logical) and physical action. The research related to this application domain includes formal analysis for hybrid-systems, symbolic and stochastic model checking, logic-based specification languages for spatio-temporal emergent behaviors, parameter synthesis, mining of requirements, adversarial attack of machine learning software components, runtime verification for safety and security properties, and synthesis of robust controllers.
  • Distributed Systems: Distributed systems are omnipresent nowadays: besides traditional instances like server farms and local area networks, they constitute the backbone of various emerging domains, such as digital very-large scale integrated (VLSI) circuits, which can be seen as very large distributed systems implemented on a single piece of silicon, and the Internet-of-Things. Given that many of those applications are safety-critical, that hardware faults must be considered part of normal operation, and that severe resource and energy constraints are often inevitable, logic-based design and analysis methods are instrumental for establishing the vision of building systems that are correct by construction. Research in areas such as computer-aided verification, model-based design and, ultimately, synthesis for concurrent and distributed systems shall develop the scientific basis, the methods, and the tools that make this vision a reality.

{:}{:ar}

لمزيد من المعلومات يرجى الاطلاع على القبول .

و المنطق برنامج الدكتوراه هو برنامج درجة الدكتوراه بتمويل من صندوق العلوم النمساوية (FWF) والتي يشترك في إدارتها الجامعات النمساوية الثلاث؛ ال TU Wien (جامعة فيينا للتكنولوجيا) ، جامعة غراتس للتكنولوجيا وجامعة يوهانس كيبلر لينز . يهدف هذا البرنامج إلى الطلاب المتحمسين للغاية الذين يرغبون في العمل في مجال الأساليب المنطقية في علوم الكمبيوتر.

لماذا دراسة الأساليب المنطقية في علوم الكمبيوتر؟

تقدم LogiCS برنامجًا دوليًا يتميز بمزيج فريد من التخصصات حيث تؤثر الأساليب المنطقية بشكل حاسم على علوم الكمبيوتر العملية.

في حين أن العديد من الأسئلة الأساسية في علوم الكمبيوتر أصبحت الآن مفهومة جيدًا ، فإن دورها في العلوم والتكنولوجيا والنتائج اليومية ينتج عنه تحديات جديدة دائمًا وأسئلة بحثية مفتوحة كبيرة تتطلب أجهزة الكمبيوتر لأداء مهام الاستدلال غير التافهة .

يلعب المنطق دورًا رئيسيًا في هذه المرحلة المتطورة من علوم الكمبيوتر ، على غرار دور حساب التفاضل والتكامل في تطوير الفيزياء والهندسة ،

المنطق هو أداة قوية للتفكير. تم اختراعه في الأصل كمساعد للحجج السليمة ، ووصل إلى النضج في شكل المنطق الرياضي والفلسفة التحليلية في أوائل القرن العشرين ، مع مساهمات كبيرة من فيينا.

نواصل هذا التقليد ، باستخدام المنطق كأداة تمكن برامج الكمبيوتر من التفكير في العالم. تسمح مهام التفكير هذه بالتصنيف الطبيعي إلى مجالين عريضين: يمكننا استخدام المنطق للتفكير في العالم الخارجي ، وكذلك التفكير في برامج الكمبيوتر نفسها. ينعكس هذا في مجالات بحثنا الأساسية الثلاثة:

  • في قواعد البيانات والذكاء الاصطناعي ، نستخدم المنطق لنمذجة وتخزين وتحليل وتحليل والتنبؤ بالمعلومات حول العالم الخارجي بما في ذلك الإنترنت وأنواع مختلفة من مصادر البيانات والبيانات الضخمة ومصادر المعرفة الخاصة بالمجال.
  • في التحقق ، نستخدم المنطق لنمذجة وتحليل سلوك برامج الكمبيوتر ، وضمان صحتها ، من البرامج البسيطة إلى البرامج المعقدة وتصاميم الأجهزة.
  • تتم دراسة الأسئلة المنطقية والخوارزمية التي تكمن في مجالي التطبيق في مجال المنطق الحسابي .

نحن نهدف إلى تطوير طرق منطقية جديدة في هذه المجالات ، وتطبيقها على حل المشكلات في المجالات الناشئة مثل الأمان والخصوصية ، والأنظمة الفيزيائية السيبرانية ، والأنظمة الموزعة .

يمكنك قراءة المزيد عن المجالات التي تشكل البرنامج هنا .

لماذا تنضم إلى برنامج LogiCS في النمسا؟

تمتلك فيينا تاريخًا بارزًا في الرياضيات وعلوم الكمبيوتر وأبحاث المنطق ( Kurt Gödel ، Vienna Circle ،…). بالإضافة إلى ذلك، مرارا وتكرارا في المرتبة رقم 1 في الجودة ميرسر مسح المعيشة .

ل أعضاء هيئة التدريس المنطق تضم 15 الباحثين الشهير مع سجلات قوية في البحث والتدريس، وتقديم المشورة وتكملها 15 الأعضاء المنتسبين  الذين مواصلة تعزيز أنشطة البحث والتدريس في الكلية، وكذلك الأساتذة الزائرين والضيوف متكررة .

يتم استكمال البرنامج بمبادرات البحث المشاركة بالكلية مثل  شبكة البحث الوطنية في جميع أنحاء النمسا حول هندسة النظم الصارمة  (ARiSE) الممولة من صندوق العلوم النمساوي ،  مركز فيينا للمنطق والخوارزميات  (VCLA).

ما المواضيع التي يمكنني التعرف عليها في برنامج LogiCS؟

يحتوي برنامج LogiCS على ثلاثة مجالات أساسية. سوف تتعلم عنهم جميعًا ، وتجري بحثًا في موضوعات متخصصة متعددة التخصصات داخلهم:

  • يغطي المنطق الحسابي الأسس النظرية والرياضية ، وهي شرط أساسي لكي يكون المنطق الأداة القوية التي ننشرها في مجالات التطبيق. ينصب تركيزنا هنا على نظرية الإثبات (قطع القطع ، التعدين البرهان ، مراسلات كاري-هاورد ، interpolants) ، الاستنتاج الآلي (القرار ، التفنيد ، إثبات النظرية) ، المنطق غير الكلاسيكي (المنطق تحت البني ، المنطق متعدد القيم ، المنطق القانوني ، منطق deontic ، والمنطق مشروط والزمني) ، التعقيد الحسابي (تحليل التعقيد ، التعقيد المحدد ، طرق التحلل) ورضا القيد (SAT ، QSAT ، CSP).
  • يستخدم التحقق المنطق لتصميم برامج الكمبيوتر وتحليلها وإنشائها. يهتم هذا المجال بالأساليب المنطقية والأدوات الآلية للاستدلال حول سلوك وصحة الأنظمة المستندة إلى الحالة المعقدة ، مثل تصميم البرامج والأجهزة وكذلك الأنظمة الهجينة. وهي تتراوح من فحص النموذج وتحليل البرنامج وتجريده إلى مجالات جديدة متعددة التخصصات مثل توطين الخطأ وإصلاح البرنامج وتجميع البرنامج وتحليل النظم البيولوجية.
  • تستخدم قواعد البيانات والذكاء الاصطناعي المنطق لنمذجة المعلومات حول العالم الخارجي وتخزينها وتحليلها والتنبؤ بها ، على سبيل المثال ، البيانات الضخمة والإنترنت ومصادر المعرفة الخاصة بالمجال. هنا ندرس عددًا كبيرًا من الموضوعات ، بما في ذلك لغات الاستعلام استنادًا إلى المفاهيم المنطقية (مثل Datalog ، ومتغيرات SQL ، XML ، و SPARQL) ، وأساليب نظرية قواعد البيانات الجديدة (مثل تعيينات المخطط ، واستخراج المعلومات ودمجها ، والاستعلام عن علم الوجود) ، البرمجة المنطقية ، تمثيل المعرفة والاستدلال (علم الوجود ، برمجة مجموعة الإجابات ، تغيير المعتقدات ، الأنظمة متعددة السياقات ، معالجة التناقض ، الجدال ، التخطيط ، التفكير التفضيلي).

نحن نركز بشكل خاص على تصميم الطرق المنطقية في مجالات التطبيق الناشئة. على وجه الخصوص ، ستتاح لك الفرصة لتطبيق المنطق لحل المشكلات الصعبة في المجالات التالية:

  • الأمن والخصوصية: تؤثر العيوب والثغرات الأمنية على جميع البنى التحتية لتقنية المعلومات تقريبًا ، وتؤثر عواقبها المدمرة على كل مستخدم للإنترنت ، كما تشهد على ذلك نقاط الضعف البارزة الأخيرة في TLS أو تطبيقات الجوال أو رقائق Intel أو عقود Ethereum. المنطق هو أداة حاسمة لنمذجة دلالات الأنظمة المعقدة بدقة ، والتي يمكن أن تكون حتمية أو احتمالية ، ولتحديد خصائص الأمان المتوقعة (على سبيل المثال ، من حيث السلامة ، والحيوية ، أو الخصائص المفرطة). علاوة على ذلك ، فإنه يشكل أساس التحليل الأمني ​​الرسمي (على سبيل المثال ، أنظمة النوع وتفسير التجريد) ، والرصد (على سبيل المثال ، التنفيذ المتعدد الآمن) ، وتقنيات التجميع (على سبيل المثال ، التجميع الآمن).
  • الأنظمة الفيزيائية السيبرانية: الأنظمة الفيزيائية السيبرانية هي أنظمة هندسية وفيزيائية وبيولوجية يتم دمج عملياتها و / أو مراقبتها و / أو التحكم فيها بواسطة قلب حسابي. سلوك CPS هو تهجين متكامل تمامًا للعمل الحسابي (المنطقي) والجسدي. يتضمن البحث المتعلق بمجال التطبيق هذا تحليلاً رسميًا للأنظمة الهجينة ، والتحقق من النماذج الرمزية والرموز العشوائية ، ولغات المواصفات القائمة على المنطق للسلوكيات الناشئة الزمانية المكانية ، وتركيب المعلمات ، واستخراج المتطلبات ، والهجوم المعادي لمكونات برامج تعلم الآلة ، والتحقق من وقت التشغيل لخصائص السلامة والأمن ، وتركيب وحدات تحكم قوية.
  • الانظمة الموزعة: الأنظمة الموزعة موجودة في كل مكان في الوقت الحاضر: إلى جانب الحالات التقليدية مثل مزارع الخوادم وشبكات المناطق المحلية ، فإنها تشكل العمود الفقري لمختلف المجالات الناشئة ، مثل الدوائر الرقمية المتكاملة واسعة النطاق (VLSI) ، والتي يمكن رؤيتها على أنها أنظمة موزعة كبيرة جدًا على قطعة واحدة من السليكون وإنترنت الأشياء. وبالنظر إلى أن العديد من هذه التطبيقات أمر بالغ الأهمية للسلامة ، فإن أعطال الأجهزة يجب أن تعتبر جزءًا من التشغيل العادي ، وأن قيود الموارد والطاقة الشديدة غالبًا ما تكون حتمية ، وأساليب التصميم والتحليل القائمة على المنطق مفيدة لتحديد رؤية أنظمة البناء التي صحيحة عن طريق البناء. البحث في مجالات مثل التحقق بمساعدة الكمبيوتر ، والتصميم القائم على النموذج ، وفي النهاية ،

{:}

LEAVE A REPLY

Please enter your comment!
Please enter your name here