トップ エスイー
Hot Topics 2024-3-18 第18期受講生の活動成果を公開しました 2024-02-13 2024年度の科目受講に関するパンフレットを公開しました 科目の申し込み締切日や講義日程をご確認いただけます． 2023-11-8 2024年度19期生募集パンフレット， 2024年度19期生募集ポスターを公開しました 2023-11-2 2024年度カリキュラムに関して 講義・ 講師・ 時間割を公開しました 2023-11-1 2024年度受講生募集 情報を掲載しました 2023-10-27 2024年度受講生向け講座説明会 情報を掲載しました 2023-10-5 修了生の声 2022年度 17期生8名分を掲載しました 修了生の声(対談)(2023/11/24 トップエスイー第19期生向け講座説明会にて) 15期生 富士通株式会社 鳥野剛史 15期生 株式会社NTTデータグループ 呉隆
形式手法 - Wikipedia
Z言語を使った形式仕様記述の例 形式手法（けいしきしゅほう、英: formal methods）は、ソフトウェア工学における数学を基盤としたソフトウェアおよびハードウェアシステムの仕様記述、開発、検証の技術である[1]。ソフトウェアおよびハードウェア設計への形式手法の適用は、他の工学分野と同様、適切な数学的解析を行うことで設計の信頼性と頑健性が向上するという予想によって動機付けられている[2]。 形式手法は理論計算機科学の様々な成果を基盤として応用したものであり、数理論理学、形式言語、オートマタ理論、プログラム意味論、型システム、代数的データ型などを活用して、ソフトウェアおよびハードウェアの仕様記述とその検証を行う[3]。 分類[編集] 形式手法はいくつかの水準で使用可能である: 水準0 形式仕様記述を行い、プログラム自体を非形式主義的に行う。「軽い形式手法」と呼ぶ。費用対効果が早く得るこ
)
表明 (プログラミング) - Wikipedia
この項目では、プログラミング技法について説明しています。一般的な意味については「wikt:表明」、「アサーション」をご覧ください。 表明（ひょうめい、英: assertion）とは、プログラミングにおける概念のひとつであり、そのプログラムの前提条件を示すのに使われる。アサーションとも呼ばれる。表明は、プログラムのその箇所で必ず真であるべき式の形式をとる。多くの言語ではそのような前提条件のチェックに表明を使用するが、設計上の判断を文書化するのに使う場合もある。表明が偽となった場合、プログラムにバグが潜在していることを示している。これを「表明違反; assertion failure」と呼ぶ。表明を言語構文や標準ライブラリとしてサポートするプログラミング言語も存在する。 プログラマは、開発過程でソースコードに表明を追加する。デバッグを単純化し、問題を早期に検出するためである。表明違反はバグを示
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
[pdf] ソフトウェア開発を工学にする形式手法の紹介
