Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00857464n
Noun Concept
Categories: 形式手法, 数学に関する記事, 理論計算機科学, 仕様記述言語, ソフトウェア開発哲学
JA
形式手法  フォーマルメソッド  形式的手法
JA
形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。 Wikipedia
Definitions
Relations
Sources
JA
形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である。 Wikipedia
IS A
方法
HAS KIND
操作的意味論
公理的意味論
表示的意味論
プロセス計算
BASED ON
論理学
数学
Wikipedia
JA
形式手法
Wikidata
JA
形式手法
Wikipedia Redirections
JA
フォーマルメソッド, 形式的手法
Wikidata Alias
JA
フォーマルメソッド, 形式的手法

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License