Formal methods
http://dbpedia.org/resource/Formal_methods an entity of type: WikicatSoftwareDevelopmentPhilosophies
Informatikan, bereziki software ingeniaritzan eta , metodo formalak software sistemen eta hardware sistemen egiaztapenerako, zehaztapenerako eta garapenerako teknika matematiko zehatzen multzoa da. Ingeniaritzan, analisi matematiko egoki bat erabiltzeak diseinuaren fidagarritasunarekin eta sendotasunarekin lagundu dezake, horregatik dira hain erabilgarriak metodo formalak.
rdf:langString
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.
rdf:langString
Metode formal, dalam ilmu komputer dan rekayasa peranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil. Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan.
rdf:langString
컴퓨터 과학, 특히 소프트웨어 공학과 컴퓨터공학에서 정형 기법(영어: formal methods) 또는 형식 수법은 소프트웨어와 하드웨어 시스템의 , 개발, 을 위한 특정한 종류의 수학적 기반 기술이다. 소프트웨어, 하드웨어 디자인의 정형 기법의 이용은 다른 공학 분야처럼 적절한 수학적 분석을 수행하면 디자인의 신뢰성과 내구성에 도움이 될 수 있다는 기대에서 비롯된다. 정형 기법은 매우 다양한 이론 전산학 기초의 응용(특히 논리 계산, 형식 언어, 오토마타 이론, , 더 나아가 소프트웨어와 하드웨어 명세 및 검증의 문제에 대한 형 체계, 대수적 자료형)이라고 말할 수 있다.
rdf:langString
Metody formalne (ang. formal methods) – oparte na matematyce podejścia do specyfikacji, projektowania i weryfikacji oprogramowania lub systemów informatycznych. Użycie notacji i języków ze zdefiniowanym matematycznym znaczeniem pozwala precyzyjnie określić, co system informatyczny powinien robić, jakie mają być jego właściwości oraz zweryfikować poprawność działania systemu.
rdf:langString
形式手法(けいしきしゅほう、英: formal methods)は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。
rdf:langString
Een formele methode is een op wiskunde en formele logica gebaseerde methode om software en hardwaresystemen 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.
rdf:langString
Formella metoder är ett område inom datavetenskapen som handlar om att modellera och i form av matematisk terminologi specificera och verifiera olika egenskaper hos datorsystem, vilket omfattar såväl hårdvaru- som programvarusystem.
rdf:langString
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 de que, como em outras disciplinas de engenharia, possam contribuir para a confiabilidade e robustez de um projeto executando análises matemáticas apropriadas. Entretanto, o alto custo do uso dos métodos formais faz com que, de modo geral, sejam usados apenas no desenvolvimento de sistemas de alta-integridade, nos quais há alta probabilidade de as falhas provocarem perda de vidas ou sério prejuízo.
rdf:langString
形式化方法,中文也稱形式方法、正規方法。在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的、开发和验证。将方法用于软件和硬件设计,是期望能够像其它一样,使用适当的数学分析以提高设计的可靠性和強健性。但是,由于采用形式化方法的成本高意味着它们通常只用于开发注重的高度整合的系统。
rdf:langString
Формальні методи (англ. Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (англ. verification) програмного забезпечення та комп'ютерного обладнання. Цей підхід особливо важливий для вбудованих систем, для яких важливими є надійність або безпека, для захисту від помилок у процесі розробки. Застосування формальних методів особливо ефективне на ранніх етапах написання вимог та специфікацій, але, вони також можуть застосовуватися для повністю формальної розробки реалізації (наприклад, програми).
rdf:langString
في علم الحاسوب، على وجه الخصوص هندسة البرمجيات وهندسة الحاسوب، تعد الطرق الشكلية نوعًا خاصًا من أنواع التقنيات القائمة على الحساب من أجل والتطوير من أنظمة البرمجيات . والدافع وراء استخدام الطرق الشكلية لتصميم البرمجيات والأجهزة هو التوقع بأن تنفيذ التحليل الحسابي المناسب، كما هو الحال في الأنظمة الهندسية الأخرى، يمكن أن يساهم في زيادة اعتمادية وقوة التصميم.
rdf:langString
In computer science, formal methods are mathematically rigorous 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.
rdf:langString
Der Begriff Formale Methode bezeichnet in der Informatik eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zur Modellierung und mathematisch rigorosen Überprüfung von Computersystemen. Die Anwendung von Formalen Methoden zur Analyse von Software und Hardware ist motiviert von der Erwartung, dass wie in anderen ingenieurswissenschaftlichen Disziplinen eine angemesse mathematische Analyse zur Zuverlässigkeit und zur Stabilität eines Systems beitragen kann.
rdf:langString
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
rdf:langString
In ingegneria informatica e ingegneria del software, i metodi formali sono un insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware. L'impiego di metodi formali nella progettazione di software e hardware è motivato dall'assunzione che, come avviene in altre discipline ingegneristiche, lo svolgersi di una corretta analisi matematica contribuisca a rendere la progettazione più robusta e affidabile.
rdf:langString
В информатике и инженерии программного обеспечения формальными методами (англ. formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. Использование формальных методов для проектирования программного и аппаратного обеспечения обусловлено ожиданиями того, что, как и в других инженерных областях, использование математического анализа может существенно поднять надёжность систем. При этом формальные методы довольно сложны, требуют специальной подготовки, временных и ресурсных вложений, и при этом нередко основываются на не всегда достижимых в реальных условиях предположениях. Это приводит к тому, что формальные методы чаще всего находят применение в проектировании высокоточных систем, где
rdf:langString
rdf:langString
Formal methods
rdf:langString
طريقة شكلية
rdf:langString
Formale Methode
rdf:langString
Método formal
rdf:langString
Metodo formalak
rdf:langString
Metode formal
rdf:langString
Metodi formali
rdf:langString
Méthode formelle (informatique)
rdf:langString
정형 기법
rdf:langString
形式手法
rdf:langString
Formele methoden
rdf:langString
Metody formalne
rdf:langString
Формальные методы
rdf:langString
Métodos formais
rdf:langString
Формальні методи
rdf:langString
Formella metoder
rdf:langString
形式化方法
xsd:integer
161883
xsd:integer
1123844461
rdf:langString
InternetArchiveBot
rdf:langString
November 2022
rdf:langString
yes
rdf:langString
في علم الحاسوب، على وجه الخصوص هندسة البرمجيات وهندسة الحاسوب، تعد الطرق الشكلية نوعًا خاصًا من أنواع التقنيات القائمة على الحساب من أجل والتطوير من أنظمة البرمجيات . والدافع وراء استخدام الطرق الشكلية لتصميم البرمجيات والأجهزة هو التوقع بأن تنفيذ التحليل الحسابي المناسب، كما هو الحال في الأنظمة الهندسية الأخرى، يمكن أن يساهم في زيادة اعتمادية وقوة التصميم. وأفضل وصف للطرق الشكلية هو أنها تطبيق يتميز بالتنوع واسع النطاق بشكل كبير لأساسيات المعلوماتية النظرية، على وجه الخصوص حسابات واللغات الشكلية ونظرية التشغيل الذاتي ، ولكن كذلك نظام الأنواع للمشكلات فيما يتعلق بمواصفات الأجهزة والتحقق منها.
rdf:langString
Der Begriff Formale Methode bezeichnet in der Informatik eine Vielzahl von natur- und ingenieurswissenschaftlichen Techniken zur Modellierung und mathematisch rigorosen Überprüfung von Computersystemen. Die Anwendung von Formalen Methoden zur Analyse von Software und Hardware ist motiviert von der Erwartung, dass wie in anderen ingenieurswissenschaftlichen Disziplinen eine angemesse mathematische Analyse zur Zuverlässigkeit und zur Stabilität eines Systems beitragen kann. Formale Methoden bauen auf einer sehr breiten Basis von Konzepten aus der Theoretischen Informatik auf, wie z. B. Logik, Formale Sprachen, Automatentheorie, Formale Semantik und Typsysteme.
rdf:langString
In computer science, formal methods are mathematically rigorous 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. Formal methods employ a variety of theoretical computer science fundamentals, including logic calculi, formal languages, automata theory, control theory, program semantics, type systems, and type theory.
rdf:langString
Informatikan, bereziki software ingeniaritzan eta , metodo formalak software sistemen eta hardware sistemen egiaztapenerako, zehaztapenerako eta garapenerako teknika matematiko zehatzen multzoa da. Ingeniaritzan, analisi matematiko egoki bat erabiltzeak diseinuaren fidagarritasunarekin eta sendotasunarekin lagundu dezake, horregatik dira hain erabilgarriak metodo formalak.
rdf:langString
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.
rdf:langString
Metode formal, dalam ilmu komputer dan rekayasa peranti lunak, adalah suatu pemodelan matematika, yang dapat digunakan untuk menjembatani (spesifikasi formal) pembuatan, pengembangan dan verifikasi perangkat keras dan peranti lunak, yang dapat digunakan dari perancangan awal sampai pengujian hasil. Penggunaan metode formal untuk perancangan peranti lunak dan perangkat keras didasari atas suatu pengharapan, sebagaimana terdapat dalam disiplin ilmu-ilmu rekayasa lainnya, dengan melaksanakan analisis matematis yang sesuai dapat berkontribusi pada kepercayaan (reliabilitas) dan ketahanan (robusitas) suatu rancangan.
rdf:langString
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet). Ces méthodes permettent d'obtenir une très forte assurance de l'absence de bug dans les logiciels (Evaluation Assurance Level, Safety Integrity Level). Elles sont utilisées dans le développement des logiciels les plus critiques. Leur amélioration et l'élargissement de leurs champs d'application pratique sont la motivation de nombreuses recherches scientifiques en informatique.
rdf:langString
컴퓨터 과학, 특히 소프트웨어 공학과 컴퓨터공학에서 정형 기법(영어: formal methods) 또는 형식 수법은 소프트웨어와 하드웨어 시스템의 , 개발, 을 위한 특정한 종류의 수학적 기반 기술이다. 소프트웨어, 하드웨어 디자인의 정형 기법의 이용은 다른 공학 분야처럼 적절한 수학적 분석을 수행하면 디자인의 신뢰성과 내구성에 도움이 될 수 있다는 기대에서 비롯된다. 정형 기법은 매우 다양한 이론 전산학 기초의 응용(특히 논리 계산, 형식 언어, 오토마타 이론, , 더 나아가 소프트웨어와 하드웨어 명세 및 검증의 문제에 대한 형 체계, 대수적 자료형)이라고 말할 수 있다.
rdf:langString
In ingegneria informatica e ingegneria del software, i metodi formali sono un insieme di tecniche matematicamente rigorose per la specifica, sviluppo e verifica di sistemi software e hardware. L'impiego di metodi formali nella progettazione di software e hardware è motivato dall'assunzione che, come avviene in altre discipline ingegneristiche, lo svolgersi di una corretta analisi matematica contribuisca a rendere la progettazione più robusta e affidabile. I metodi formali sono solitamente descritti come l'applicazione di una gran varietà di fondamenti di informatica, in particolare il calcolo logico, i linguaggi formali, la teoria degli automi e la semantica dei programmi, a problemi di specifica e verifica di software e hardware.
rdf:langString
Metody formalne (ang. formal methods) – oparte na matematyce podejścia do specyfikacji, projektowania i weryfikacji oprogramowania lub systemów informatycznych. Użycie notacji i języków ze zdefiniowanym matematycznym znaczeniem pozwala precyzyjnie określić, co system informatyczny powinien robić, jakie mają być jego właściwości oraz zweryfikować poprawność działania systemu.
rdf:langString
形式手法(けいしきしゅほう、英: formal methods)は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。
rdf:langString
Een formele methode is een op wiskunde en formele logica gebaseerde methode om software en hardwaresystemen 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.
rdf:langString
Formella metoder är ett område inom datavetenskapen som handlar om att modellera och i form av matematisk terminologi specificera och verifiera olika egenskaper hos datorsystem, vilket omfattar såväl hårdvaru- som programvarusystem.
rdf:langString
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 de que, como em outras disciplinas de engenharia, possam contribuir para a confiabilidade e robustez de um projeto executando análises matemáticas apropriadas. Entretanto, o alto custo do uso dos métodos formais faz com que, de modo geral, sejam usados apenas no desenvolvimento de sistemas de alta-integridade, nos quais há alta probabilidade de as falhas provocarem perda de vidas ou sério prejuízo.
rdf:langString
В информатике и инженерии программного обеспечения формальными методами (англ. formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. Использование формальных методов для проектирования программного и аппаратного обеспечения обусловлено ожиданиями того, что, как и в других инженерных областях, использование математического анализа может существенно поднять надёжность систем. При этом формальные методы довольно сложны, требуют специальной подготовки, временных и ресурсных вложений, и при этом нередко основываются на не всегда достижимых в реальных условиях предположениях. Это приводит к тому, что формальные методы чаще всего находят применение в проектировании высокоточных систем, где важность безопасности оправдывает любые средства. Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления , формальных языков, теории автоматов, формальной семантики, систем типов и алгебраических типов данных.
rdf:langString
形式化方法,中文也稱形式方法、正規方法。在计算机科学和软件工程领域,形式化方法是基于数学的特种技术,适合于软件和硬件系统的、开发和验证。将方法用于软件和硬件设计,是期望能够像其它一样,使用适当的数学分析以提高设计的可靠性和強健性。但是,由于采用形式化方法的成本高意味着它们通常只用于开发注重的高度整合的系统。
rdf:langString
Формальні методи (англ. Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (англ. verification) програмного забезпечення та комп'ютерного обладнання. Цей підхід особливо важливий для вбудованих систем, для яких важливими є надійність або безпека, для захисту від помилок у процесі розробки. Застосування формальних методів особливо ефективне на ранніх етапах написання вимог та специфікацій, але, вони також можуть застосовуватися для повністю формальної розробки реалізації (наприклад, програми).
xsd:nonNegativeInteger
26032