| Information | |
|---|---|
| has gloss | eng: In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems. The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. However, the high cost of using formal methods means that they are usually only used in the development of high-integrity systems, where safety or security is important. |
| lexicalization | eng: Formal Methods |
| subclass of | (noun) a way of doing something, especially a systematic way; implies an orderly logical arrangement (usually in steps) method |
| Note: 40 other instance(s) ommited in the following list | |
| has instance | e/Abstract interpretation |
| has instance | e/Assertion (computing) |
| has instance | e/Automated proof checking |
| has instance | e/Automated reasoning |
| has instance | e/Automated theorem proving |
| has instance | e/Bisimulation |
| has instance | e/CHESS model checker |
| has instance | e/Cleanroom Software Engineering |
| has instance | e/Concurrency semantics |
| has instance | e/Constraint logic programming |
| has instance | e/DREAM (software) |
| has instance | e/Dynamic program analysis |
| has instance | e/Formal equivalence checking |
| has instance | e/Formal specification |
| has instance | e/Guard (computing) |
| has instance | e/Interval temporal logic |
| has instance | e/Invariant based programming |
| has instance | e/Lexical analysis#Token |
| has instance | e/Life-critical system |
| has instance | e/Loop invariant |
| has instance | e/Loop variant |
| has instance | e/Model checking |
| has instance | e/Model-based specification |
| has instance | e/P-calculus |
| has instance | e/Postcondition |
| has instance | e/Robbins algebra |
| has instance | e/Runtime verification |
| has instance | e/Satisfiability Modulo Theories |
| has instance | e/Sequent calculus |
| has instance | e/Simulation preorder |
| has instance | e/Static timing analysis |
| has instance | e/Statistical static timing analysis |
| has instance | e/Structured analysis |
| has instance | e/Syntactic methods |
| has instance | e/fr/Modele (informatique) |
| has instance | e/ja/並行論理プログラミング |
| has instance | e/lt/Formalus verifikavimas |
| has instance | e/uk/Аксіоматична семантика |
| has instance | e/uk/Система формальна |
| has instance | e/uk/Формалізовані дані |
| Meaning | |
|---|---|
| Arabic | |
| lexicalization | ara: طرق شكلية |
| Bosnian | |
| lexicalization | bos: Formalni metodi |
| German | |
| has gloss | deu: In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zum Modellieren und zur rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der Verwendung von mathematischer Logik. |
| lexicalization | deu: Formale Methode |
| Esperanto | |
| lexicalization | epo: Formalaj manieroj |
| Persian | |
| has gloss | fas: در علوم رایانه و مهندسی نرم‌افزار، روش‌های صوری یا روش‌ها رسمی (به انگلیسی Formal methods) نوع خاصی از شگردهای ریاضی-پایه برای مشخص‌سازی، تخصیص، ایجاد، توسعه، تأیید و تحقق سامانه‌های سخت‌افزاری و نرم‌افزاری هستند. استفاده از روش‌های صوری برای طراحی سخت افزار و نرم‌افزار تحت تاثیر خواسته‌ها و انتظارات قرار می‌گیرد. مثل چهارچوب سایر مهندسی‌ها، به اجرا در آوردن تحلیل‌های ریاضی مناسب می‌تواند به استواری و قابل اعتماد بودن طرح کمک کند. به هر حال، مقیاس زیاد استفاده از روش‌های صوری به این معنا است که به طور معمول فقط در توسعه سامانه‌های بی‌نقص، جایی که ایمنی یا تضمین سامانه اهمیت دارد، استفاده می‌شود. |
| lexicalization | fas: روش‌های صوری |
| French | |
| has gloss | fra: En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur des programmes informatiques ou des matériels électroniques, afin de démontrer leur validité par rapport à une certaine spécification. |
| lexicalization | fra: Methode formelle |
| lexicalization | fra: Méthode formelle |
| Indonesian | |
| has gloss | ind: Metoda formal, dalam ilmu komputer dan rekayasa piranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan piranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil . Penggunaan metoda formal untuk perancangan piranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisa matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan . |
| lexicalization | ind: Metoda formal |
| lexicalization | ind: Metode formal |
| Japanese | |
| has gloss | jpn: 形式手法（けいしきしゅほう、）は、計算機科学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。そのアプローチは高度な信頼性（安全性やセキュリティなど）を求められるシステムでは特に重要であり、開発工程でエラーが入り込まないことを保証する。形式手法は要求仕様レベルや機能仕様レベルでは特に効果的であるが、実装レベル（例えばプログラム作成）でも完全な形式主義的開発は可能である。 |
| lexicalization | jpn: 形式手法 |
| Lithuanian | |
| has gloss | lit: Formalūs metodai yra logika bei matematika besiremiantys metodai informatikoje ir programų inžinerijoje skirti programinės ir aparatūrinės įrangos specifikavimui, modeliavimui, kūrimui ir verifikavimui. Tikimasi, kad panašiai, kaip ir kitose inžinerijos srityse, formalūs metodai leis kurti patikimesnes ir atsparesnes klaidoms sistemas. Tačiau kadangi jų taikymas yra brangus, tai jie taikomi kuriant padidinto patikimumo sistemas. |
| lexicalization | lit: Formalūs metodai |
| Malay (macrolanguage) | |
| lexicalization | msa: Kaedah formal |
| Dutch | |
| has gloss | nld: Een Formele methode is een op wiskunde en formele logica gebaseerde methode om software en hardware systemen te specificeren en te verifiëren. Het doel van (het gebruik van) formele methoden is: * het eenduidig en volledig specificeren van de werking van een te ontwerpen programma of algoritme, en * het leveren van een systematisch en sluitend bewijs van de correctheid van een programma of algoritme. |
| lexicalization | nld: formele methoden |
| Norwegian Nynorsk | |
| lexicalization | nno: Formelle metodar |
| Polish | |
| has gloss | pol: Metody formalne (ang. formal methods) - w informatyce tym terminem określa się oparte na matematyce podejścia do specyfikacji, projektowania i weryfikacji oprogramowania lub systemów informatycznych. |
| lexicalization | pol: Metody formalne |
| Portuguese | |
| has gloss | por: Na ciência da computação e engenharia de software, métodos formais são técnicas baseadas em formalismos matemáticos para a especificação, desenvolvimento e verificação dos sistemas de softwares e hardwares. Seu uso para o desenvolvimento de software e hardware é motivado pela expectativa que, como em outras disciplinas de engenharia, podem contribuir para a confiabilidade e robustez de um projeto executando análises matemáticas apropriadas . Entretanto, o alto custo do uso de métodos formais significa que eles são geralmente apenas usados no desenvolvimento de sistemas de alta-integridade, no qual há alta probabilidade das falhas conduzirem para a perda da vida ou sério prejuízo. |
| lexicalization | por: Métodos formais |
| Russian | |
| has gloss | rus: В различных сферах деятельности человека под верификацией могут подразумеваться разные понятия. Например: |
| lexicalization | rus: верификация |
| lexicalization | rus: Формальные методы |
| Slovenian | |
| lexicalization | slv: Formalne metode |
| Castilian | |
| has gloss | spa: En ingeniería de software un método formal es un camino a la construcción y análisis de modelos matemáticos que permitan una automatización del desarrollo de sistemas informáticos. Los métodos formales se caracterizan por emplear técnicas y herramientas matemáticas para lograr una facilitación a la hora de encarar la construcción o el análisis de un modelo matemático de un sistema. |
| lexicalization | spa: Metodo formal |
| lexicalization | spa: método formal |
| Turkish | |
| lexicalization | tur: Biçimsel yöntemler |
| Ukrainian | |
| has gloss | ukr: Формальні методи — в компютерних науках, основані на математиці методи написання специфікацій, розробки та перевірки програмного забезпечення та компютерного обладнання. Цей підхід особливо важливий для вбудованих систем, для яких важливими є надійність або безпека, для захисту від появи помилок в процесі розробки. Застосування формальних методів особливо ефективно на ранніх етапах написання вимог та специфікацій, але, також, можуть використовуватись для повністю формальної розробки реалізації (наприклад, програми). |
| lexicalization | ukr: Формальні методи |
| Vietnamese | |
| has gloss | vie: Trong ngành khoa học máy tính, các phương pháp hình thức là các kỹ thuật toán học cho việc đặc tả, phát triển và kiểm định các hệ thống phần mềm và phần cứng. Cách tiếp cận này đặc biệt quan trọng đối với các hệ thống cần có tính toàn vẹn cao, chẳng hạn hệ thống điều khiển lò phản ứng hạt nhân hay điều khiển tên lửa, khi an toàn hay an ninh có vai trò quan trọng, để góp phần đảm bảo rằng quá trình phát triển hệ thống sẽ không có lỗi. Các phương pháp hình thức đặc biệt hiệu quả tại giai đoạn đầu của quá trình phát triển (tại các mức yêu cầu và đặc tả hệ thống), nhưng cũng có thể được sử dụng cho một quá trình phát triển hoàn chỉnh của một hệ thống. |
| lexicalization | vie: các phương pháp hình thức |
| lexicalization | vie: Phương pháp hình thức |
| Chinese | |
| has gloss | zho: 在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的描述、开发和验证。 将形式化方法用于软件和硬件设计，是期望能够像其它工程学科一样，使用适当的数学分析以提高设计的可靠性和鲁棒性。 但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重安全性的高度整合的系统。 |
| lexicalization | zho: 形式化方法 |
| lexicalization | zho: 形式方法 |
Lexvo © 2008-2024 Gerard de Melo. Contact Legal Information / Imprint