Formal methods (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | في علم الحاسوب، على وجه الخصوص هندسة البرمجيات وهندسة الحاسوب، تعد الطرق الشكلية نوعًا خاصًا من أنواع التقنيات القائمة على الحساب من أجل والتطوير من أنظمة البرمجيات . والدافع وراء استخدام الطرق الشكلية لتصميم البرمجيات والأجهزة هو التوقع بأن تنفيذ التحليل الحسابي المناسب، كما هو الحال في الأنظمة الهندسية الأخرى، يمكن أن يساهم في زيادة اعتمادية وقوة التصميم. وأفضل وصف للطرق الشكلية هو أنها تطبيق يتميز بالتنوع واسع النطاق بشكل كبير لأساسيات المعلوماتية النظرية، على وجه الخصوص حسابات واللغات الشكلية ونظرية التشغيل الذاتي ، ولكن كذلك نظام الأنواع للمشكلات فيما يتعلق بمواصفات الأجهزة والتحقق منها. (ar) 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. (de) 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. (en) 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. (eu) 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. (es) 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. (in) 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. (fr) 컴퓨터 과학, 특히 소프트웨어 공학과 컴퓨터공학에서 정형 기법(영어: formal methods) 또는 형식 수법은 소프트웨어와 하드웨어 시스템의 , 개발, 을 위한 특정한 종류의 수학적 기반 기술이다. 소프트웨어, 하드웨어 디자인의 정형 기법의 이용은 다른 공학 분야처럼 적절한 수학적 분석을 수행하면 디자인의 신뢰성과 내구성에 도움이 될 수 있다는 기대에서 비롯된다. 정형 기법은 매우 다양한 이론 전산학 기초의 응용(특히 논리 계산, 형식 언어, 오토마타 이론, , 더 나아가 소프트웨어와 하드웨어 명세 및 검증의 문제에 대한 형 체계, 대수적 자료형)이라고 말할 수 있다. (ko) 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. (it) 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. (pl) 形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。 (ja) 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. (nl) 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. (sv) 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. (pt) В информатике и инженерии программного обеспечения формальными методами (англ. formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. Использование формальных методов для проектирования программного и аппаратного обеспечения обусловлено ожиданиями того, что, как и в других инженерных областях, использование математического анализа может существенно поднять надёжность систем. При этом формальные методы довольно сложны, требуют специальной подготовки, временных и ресурсных вложений, и при этом нередко основываются на не всегда достижимых в реальных условиях предположениях. Это приводит к тому, что формальные методы чаще всего находят применение в проектировании высокоточных систем, где важность безопасности оправдывает любые средства. Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления , формальных языков, теории автоматов, формальной семантики, систем типов и алгебраических типов данных. (ru) 形式化方法，中文也稱形式方法、正規方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的、开发和验证。将方法用于软件和硬件设计，是期望能够像其它一样，使用适当的数学分析以提高设计的可靠性和強健性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重的高度整合的系统。 (zh) Формальні методи (англ. Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (англ. verification) програмного забезпечення та комп'ютерного обладнання. Цей підхід особливо важливий для вбудованих систем, для яких важливими є надійність або безпека, для захисту від помилок у процесі розробки. Застосування формальних методів особливо ефективне на ранніх етапах написання вимог та специфікацій, але, вони також можуть застосовуватися для повністю формальної розробки реалізації (наприклад, програми). (uk) |
| dbo:wikiPageExternalLink | http://www.fmeurope.org/ https://formalmethods.wikia.org/ http://foldoc.org/formal+methods https://foldoc.org/ http://www.deploy-project.eu https://web.archive.org/web/20130404202524/http:/academic.research.microsoft.com/Keyword/14916 https://web.archive.org/web/20170713233230/http:/www.fm4industry.org/index.php/Evidence_on_Formal_Methods_uses_and_impact_on_Industry http://arxiv.org/abs/2002.07279 https://hal.inria.fr/hal-03082818/file/Garavel-terBeek-vandePol-20.pdf https://www.bsi.bund.de/SharedDocs/DE/Publikationen/Studien/formal_methods_study_875/study_875.html |
| dbo:wikiPageID | 161883 (xsd:integer) |
| dbo:wikiPageLength | 26032 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1123844461 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:QuickCheck dbr:MCRL2 dbr:Rebeca_Modeling_Language dbr:CADP dbr:Denotational_semantics dbr:Description_Logic dbr:Design_by_contract dbr:Jonathan_P._Bowen dbr:Uppaal_Model_Checker dbr:VDM_specification_language dbr:Communicating_Sequential_Processes dbr:Mathematics dbr:SPARK_(programming_language) dbr:SPIN_model_checker dbr:STMicroelectronics dbr:Esterel dbr:Next_Generation_Air_Transportation_System dbr:Object_Constraint_Language dbr:Oracle_machine dbr:Quis_custodiet_ipsos_custodes? dbr:Model_checking dbr:NASA dbr:Control_theory dbr:Correctness_(computer_science) dbr:Precondition dbr:Operational_semantics dbr:Process_calculi dbr:Logic dbr:MALPAS_Software_Static_Analysis_Toolset dbr:Siemens dbr:Common_Algebraic_Specification_Language dbr:Common_Criteria dbr:Computer_hardware dbr:Computer_science dbr:Z_User_Group dbr:Federal_Office_for_Information_Security dbr:Functional_programming dbr:Perfect_Developer dbr:Petri_net dbr:Specification_language dbr:Theoretical_computer_science dbr:Postcondition dbr:Software_engineering dbr:Automated_theorem_proving dbr:Avionics_software dbr:BCS-FACS dbr:Backus_normal_form dbr:Backus–Naur_form dbr:CRC_Press dbr:Type_theory dbr:Web_Ontology_Language dbr:Domain_theory dbr:Language_Of_Temporal_Ordering_Specification dbr:Lecture_Notes_in_Computer_Science dbr:Logic_in_computer_science dbr:ACL2 dbr:ALGOL_58 dbr:AMD dbr:ANSI/ISO_C_Specification_Language dbr:Actor_model dbr:Alstom dbr:DO-178C dbr:Dansk_Datamatik_Center dbr:Ambiguity dbr:First-order_logic dbr:Formal_semantics_of_programming_languages dbr:Formal_verification dbr:Abstract_State_Machines dbr:PAT_(model_checker) dbr:Formal_Methods_Europe dbr:Formal_language dbr:Formal_specification dbr:Formal_system dbr:Knowledge_Based_Software_Assistant dbr:Specification_and_Description_Language dbr:Mathematical_proof dbr:Predicative_programming dbr:ATMEL dbr:Ada_programming_language dbr:Atelier_B dbr:Attempto_Controlled_English dbr:Taylor_&_Francis dbr:Software_development_process dbr:Archive.org dbr:Association_for_Computing_Machinery dbc:Formal_methods dbc:Specification_languages dbc:Theoretical_computer_science dbr:Abstract_interpretation dbc:Software_development_philosophies dbc:Formal_methods_people dbr:Chapman_&_Hall dbr:John_Backus dbr:Binary_decision_diagram dbr:TLA+ dbr:Java_Modeling_Language dbr:Automated_theorem_prover dbr:Z_notation dbr:Software_design dbr:Automata_theory dbr:Axiomatic_semantics dbr:B-Method dbr:Marieke_Huisman dbr:Software_development dbr:Springer_Nature dbr:Springer_Science+Business_Media dbr:IBM dbr:Intel dbr:Microsoft_Academic_Search dbr:SeL4 dbr:Use_case dbr:Safety dbr:Security dbr:Software dbr:Universal_Systems_Language dbr:Vienna_Development_Method dbr:Natural_language dbr:Lustre_programming_language dbr:Rigorous_Approach_to_Industrial_Software_Engineering dbr:RAISE_specification_language dbr:Autonomic_System_Specification_Language dbr:Petri_nets dbr:Springer-Verlag dbr:Assertion_(computing) dbr:Finite_state_machine dbr:Formal_development dbr:Pi-calculus dbr:Process_algebra dbr:Program_refinement dbr:Program_semantics dbr:Virtual_finite_state_machine dbr:Alloy_language dbr:Michael_G._Hinchey dbr:Event_driven_finite_state_machine dbr:Type_systems |
| dbp:bot | InternetArchiveBot (en) |
| dbp:date | November 2022 (en) |
| dbp:fixAttempted | yes (en) |
| dbp:wikiPageUsesTemplate | dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Clarify dbt:Dead_link dbt:ISBN dbt:Main dbt:Refbegin dbt:Refend dbt:Reflist dbt:Short_description dbt:Unreferenced dbt:Software_engineering dbt:Computer_science |
| dct:subject | dbc:Formal_methods dbc:Specification_languages dbc:Theoretical_computer_science dbc:Software_development_philosophies |
| gold:hypernym | dbr:Kind |
| rdf:type | yago:WikicatSoftwareDevelopmentPhilosophies yago:WikicatSpecificationLanguages yago:Ability105616246 yago:Abstraction100002137 yago:Belief105941423 yago:Cognition100023271 yago:Communication100033020 yago:Content105809192 yago:Doctrine105943300 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:PsychologicalFeature100023100 yago:WikicatFormalMethods |
| rdfs:comment | 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. (eu) 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. (es) 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. (in) 컴퓨터 과학, 특히 소프트웨어 공학과 컴퓨터공학에서 정형 기법(영어: formal methods) 또는 형식 수법은 소프트웨어와 하드웨어 시스템의 , 개발, 을 위한 특정한 종류의 수학적 기반 기술이다. 소프트웨어, 하드웨어 디자인의 정형 기법의 이용은 다른 공학 분야처럼 적절한 수학적 분석을 수행하면 디자인의 신뢰성과 내구성에 도움이 될 수 있다는 기대에서 비롯된다. 정형 기법은 매우 다양한 이론 전산학 기초의 응용(특히 논리 계산, 형식 언어, 오토마타 이론, , 더 나아가 소프트웨어와 하드웨어 명세 및 검증의 문제에 대한 형 체계, 대수적 자료형)이라고 말할 수 있다. (ko) 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. (pl) 形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う。 (ja) 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. (nl) 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. (sv) 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. (pt) 形式化方法，中文也稱形式方法、正規方法。在计算机科学和软件工程领域，形式化方法是基于数学的特种技术，适合于软件和硬件系统的、开发和验证。将方法用于软件和硬件设计，是期望能够像其它一样，使用适当的数学分析以提高设计的可靠性和強健性。但是，由于采用形式化方法的成本高意味着它们通常只用于开发注重的高度整合的系统。 (zh) Формальні методи (англ. Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (англ. verification) програмного забезпечення та комп'ютерного обладнання. Цей підхід особливо важливий для вбудованих систем, для яких важливими є надійність або безпека, для захисту від помилок у процесі розробки. Застосування формальних методів особливо ефективне на ранніх етапах написання вимог та специфікацій, але, вони також можуть застосовуватися для повністю формальної розробки реалізації (наприклад, програми). (uk) في علم الحاسوب، على وجه الخصوص هندسة البرمجيات وهندسة الحاسوب، تعد الطرق الشكلية نوعًا خاصًا من أنواع التقنيات القائمة على الحساب من أجل والتطوير من أنظمة البرمجيات . والدافع وراء استخدام الطرق الشكلية لتصميم البرمجيات والأجهزة هو التوقع بأن تنفيذ التحليل الحسابي المناسب، كما هو الحال في الأنظمة الهندسية الأخرى، يمكن أن يساهم في زيادة اعتمادية وقوة التصميم. (ar) 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. (en) 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. (de) 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). (fr) 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. (it) В информатике и инженерии программного обеспечения формальными методами (англ. formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения. Использование формальных методов для проектирования программного и аппаратного обеспечения обусловлено ожиданиями того, что, как и в других инженерных областях, использование математического анализа может существенно поднять надёжность систем. При этом формальные методы довольно сложны, требуют специальной подготовки, временных и ресурсных вложений, и при этом нередко основываются на не всегда достижимых в реальных условиях предположениях. Это приводит к тому, что формальные методы чаще всего находят применение в проектировании высокоточных систем, где (ru) |
| rdfs:label | Formal methods (en) طريقة شكلية (ar) Formale Methode (de) Método formal (es) Metodo formalak (eu) Metode formal (in) Metodi formali (it) Méthode formelle (informatique) (fr) 정형 기법 (ko) 形式手法 (ja) Formele methoden (nl) Metody formalne (pl) Формальные методы (ru) Métodos formais (pt) Формальні методи (uk) Formella metoder (sv) 形式化方法 (zh) |
| owl:sameAs | freebase:Formal methods yago-res:Formal methods wikidata:Formal methods dbpedia-ar:Formal methods dbpedia-de:Formal methods dbpedia-es:Formal methods dbpedia-eu:Formal methods dbpedia-fa:Formal methods dbpedia-fr:Formal methods dbpedia-hu:Formal methods dbpedia-id:Formal methods dbpedia-it:Formal methods dbpedia-ja:Formal methods dbpedia-ko:Formal methods http://lt.dbpedia.org/resource/Formalūs_metodai dbpedia-ms:Formal methods dbpedia-nl:Formal methods dbpedia-pl:Formal methods dbpedia-pt:Formal methods dbpedia-ru:Formal methods dbpedia-sr:Formal methods dbpedia-sv:Formal methods dbpedia-tr:Formal methods dbpedia-uk:Formal methods dbpedia-vi:Formal methods dbpedia-zh:Formal methods https://global.dbpedia.org/id/8nYw |
| prov:wasDerivedFrom | wikipedia-en:Formal_methods?oldid=1123844461&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Formal_methods |
| is dbo:academicDiscipline of | dbr:Deepak_Kapur dbr:Muffy_Calder dbr:Andrei_Voronkov dbr:Steve_Reeves_(computer_scientist) dbr:He_Jifeng dbr:Alan_Bundy dbr:Alexandra_Silva dbr:Anders_P._Ravn dbr:Formal_Aspects_of_Computing dbr:John_Rushby dbr:Jim_Woodcock dbr:Lawrence_Paulson dbr:Mark_d'Inverno dbr:Martin_Henson dbr:Ilya_Sergey dbr:Michael_Butler_(computer_scientist) |
| is dbo:knownFor of | dbr:Carroll_Morgan_(computer_scientist) dbr:Hussein_Zedan dbr:Jonathan_Bowen dbr:Peter_Lucas_(computer_scientist) dbr:Robert_France dbr:Steve_Schneider_(computer_scientist) dbr:Mathai_Joseph dbr:Eric_Hehner dbr:Daniel_Jackson_(computer_scientist) dbr:Tim_Denvir dbr:Ken_Robinson_(computer_scientist) dbr:Kevin_Lano dbr:Michael_Hinchey dbr:Sergiy_Vilkomir |
| is dbo:namedAfter of | dbr:BCS-FACS |
| is dbo:wikiPageDisambiguates of | dbr:Formal |
| is dbo:wikiPageRedirects of | dbr:Formal_Methods dbr:Formal_Methods_and_Data_Intensive_Systems dbr:Formal_development dbr:Formal_method dbr:Formal_software_methods dbr:Formal_techniques |
| is dbo:wikiPageWikiLink of | dbr:Carroll_Morgan_(computer_scientist) dbr:Cas_Cremers dbr:Behavior_tree dbr:List_of_University_of_New_South_Wales_faculty dbr:List_of_University_of_Southampton_people dbr:List_of_academic_fields dbr:List_of_computer_science_conferences dbr:List_of_computer_scientists dbr:Branches_of_science dbr:David_Gries dbr:Deepak_Kapur dbr:Department_of_Computer_Science,_University_of_Manchester dbr:Design_by_contract dbr:Algebraic_semantics_(computer_science) dbr:Andrew_D._Gordon dbr:Apomorphism dbr:Hussein_Zedan dbr:Jonathan_Bowen dbr:Jose_Meseguer dbr:Joseph_Goguen dbr:List_of_University_of_Toronto_alumni dbr:Patrick_Cousot dbr:Peter_Lucas_(computer_scientist) dbr:Peter_O'Hearn dbr:Research_Institute_of_Computer_Science_and_Random_Systems dbr:Robert_France dbr:University_of_Illinois_Department_of_Computer_Science dbr:Ursula_Martin dbr:VeriFlux dbr:Don_Sannella dbr:Doron_A._Peled dbr:E-LOTOS dbr:Index_of_software_engineering_articles dbr:Innovations_in_Systems_and_Software_Engineering dbr:Input/output_automaton dbr:Insup_Lee dbr:Integrated_circuit_design dbr:International_Journal_of_Software_and_Informatics dbr:International_Symposium_on_Fundamentals_of_Computation_Theory dbr:Interval_temporal_logic dbr:Invariant_(mathematics) dbr:Jan_Bergstra dbr:Rajeev_Alur dbr:List_of_programmers dbr:Prentice_Hall_International_Series_in_Computer_Science dbr:Compiler dbr:Computer_algebra dbr:Genetic_improvement_(computer_science) dbr:OBJ_(programming_language) dbr:RM-ODP dbr:Paramorphism dbr:Cliff_Jones_(computer_scientist) dbr:Fuzzing dbr:Glossary_of_computer_science dbr:Muffy_Calder dbr:Critical_system dbr:Martyn_Thomas dbr:Andrei_Voronkov dbr:Andrew_Martin_(computer_scientist) dbr:Arnold_Allen_(mathematician) dbr:Bernhard_Steffen_(computer_scientist) dbr:Shmuel_Sagiv dbr:Simulink dbr:Steve_Reeves_(computer_scientist) dbr:Steve_Schneider_(computer_scientist) dbr:Cleanroom_software_engineering dbr:Community_Z_Tools dbr:Compiler_correctness dbr:Computer_Aided_Verification dbr:Computer_science dbr:Computer_scientist dbr:Z_User_Group dbr:Zhiming_Liu_(computer_scientist) dbr:Kristin_Yvonne_Rozier dbr:Functional_equivalence dbr:Paritosh_Pandya dbr:Perfect_Developer dbr:Programming_Research_Group dbr:Prototype_Verification_System dbr:Static_program_analysis dbr:Theoretical_computer_science dbr:Mathai_Joseph dbr:McCarthy_91_function dbr:Michael_Goldsmith_(computer_scientist) dbr:Microkernel dbr:Object-Z dbr:BCS-FACS dbr:William_McCune dbr:He_Jifeng dbr:JetBrains_MPS dbr:John_Fitzgerald_(computer_scientist) dbr:Joost-Pieter_Katoen dbr:Language_Of_Temporal_Ordering_Specification dbr:Larch_family dbr:Logic_programming dbr:Abductive_reasoning dbr:Abstract_data_type dbr:Alan_Bundy dbr:Alexandra_Silva dbr:Anders_P._Ravn dbr:DDC-I dbr:DO-178C dbr:Dansk_Datamatik_Center dbr:ECLAIR dbr:Altran_Praxis dbr:Eric_Hehner dbr:Euler_(programming_language) dbr:Formal_verification dbr:POPLmark_challenge dbr:Paris_Métro_Line_14 dbr:Daniel_Jackson_(computer_scientist) dbr:Formal_Aspects_of_Computing dbr:Formal_Methods_Europe dbr:Formal_equivalence_checking dbr:Formal_specification dbr:History_of_software_engineering dbr:John_Rushby dbr:John_V._Tucker dbr:Jos_Baeten dbr:Knowledge_Based_Software_Assistant dbr:Tim_Denvir dbr:Nikil_Dutt dbr:Refinement_(computing) dbr:Reliability_(computer_networking) dbr:Grigore_Roșu dbr:Haskell dbr:Helmut_Veith dbr:High-_and_low-level dbr:International_Conference_on_Software_Engineering_and_Formal_Methods dbr:Isabelle_(proof_assistant) dbr:J._Anthony_Hall dbr:Jeannette_Wing dbr:Jim_Davies_(computer_scientist) dbr:Abstraction_(computer_science) dbr:Jeremy_Gibbons dbr:Jim_Horning dbr:Jim_Woodcock dbr:Kaisa_Sere dbr:Ken_Robinson_(computer_scientist) dbr:Kevin_Lano dbr:Lawrence_Paulson dbr:Syntactic_methods dbr:THE_multiprogramming_system dbr:George_Necula dbr:High-level_verification dbr:High_integrity_software dbr:Jean-Raymond_Abrial dbr:Programming_tool dbr:Z_notation dbr:Dines_Bjørner dbr:Assertion_definition_language dbr:Augusto_Sampaio dbr:B-Method dbr:BCS,_The_Chartered_Institute_for_IT dbr:Mark_d'Inverno dbr:Martin_Henson dbr:Polyspace dbr:Guard_(computer_science) dbr:Illinois_Security_Lab dbr:Ilya_Sergey dbr:Michael_Backes dbr:Michael_Butler_(computer_scientist) dbr:Michael_Hinchey dbr:OCaml dbr:Ole-Johan_Dahl dbr:OpenComRTOS dbr:Radhia_Cousot dbr:Rebeca_(programming_language) dbr:Semi-formal_wear dbr:Sergiy_Vilkomir dbr:Xenix dbr:Xmonad dbr:Lustre_(programming_language) dbr:Message_Authenticator_Algorithm dbr:SAT_solver dbr:Semantics_(computer_science) dbr:Vienna_Development_Method dbr:Wang_Institute_of_Graduate_Studies dbr:Eulynx dbr:European_Joint_Conferences_on_Theory_and_Practice_of_Software dbr:Extended_ML dbr:Formal dbr:Formal_Methods dbr:List_of_software_development_philosophies dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:List_of_tools_for_static_code_analysis dbr:Software_verification_and_validation dbr:Safety-critical_system dbr:Outline_of_academic_disciplines dbr:Outline_of_computer_science dbr:Outline_of_epistemology dbr:Outline_of_formal_science dbr:Outline_of_software_engineering dbr:École_nationale_supérieure_d'informatique_pour_l'industrie_et_l'entreprise dbr:Supratik_Chakraborty dbr:Rigorous_Approach_to_Industrial_Software_Engineering dbr:State_space_enumeration dbr:Stefania_Gnesi dbr:Formal_Methods_and_Data_Intensive_Systems dbr:Formal_development dbr:Formal_method dbr:Formal_software_methods dbr:Formal_techniques |
| is dbp:discipline of | dbr:Formal_Aspects_of_Computing |
| is dbp:field of | dbr:Steve_Reeves_(computer_scientist) dbr:He_Jifeng dbr:Alan_Bundy dbr:Alexandra_Silva dbr:Jim_Woodcock dbr:Martin_Henson |
| is dbp:fields of | dbr:Deepak_Kapur dbr:Muffy_Calder dbr:Andrei_Voronkov dbr:Z_User_Group dbr:BCS-FACS dbr:Anders_P._Ravn dbr:Ilya_Sergey dbr:Michael_Butler_(computer_scientist) |
| is dbp:knownFor of | dbr:Carroll_Morgan_(computer_scientist) dbr:Peter_Lucas_(computer_scientist) dbr:Robert_France dbr:Steve_Schneider_(computer_scientist) dbr:Eric_Hehner dbr:Tim_Denvir dbr:Ken_Robinson_(computer_scientist) dbr:Kevin_Lano dbr:Sergiy_Vilkomir |
| is dbp:methods of | dbr:BCS-FACS |
| is dbp:namedAfter of | dbr:BCS-FACS |
| is dbp:subDiscipline of | dbr:Kaisa_Sere |
| is foaf:primaryTopic of | wikipedia-en:Formal_methods |