本コースは、ソフトウェア開発管理者としての立場から、品質の高いソフトウェアを効率よく開発するために、形式手法導入の計画立案を以下の観点から開始できるようになるためのコースです。 1）形式手法の有用性を理解する。 2）形式手法を円滑に導入するために考慮しておくべき事項について理解する。
IPA 独立行政法人 情報処理推進機構：形式手法入門－管理者向け半日コース
本コースは、ソフトウェア開発管理者としての立場から、品質の高いソフトウェアを効率よく開発するために、形式手法導入の計画立案を以下の観点から開始できるようになるためのコースです。 1）形式手法の有用性を理解する。 2）形式手法を円滑に導入するために考慮しておくべき事項について理解する。
formal-proof カテゴリーの記事一覧 - falsandtruのメモ帳
TypeScriptでIDやエンコーディングなど特別なセマンティクスを持つ値にプリミティブ型を維持したまま個別の属性を与えることで型安全な専用の値を作る。言語の型システムをどのように機能させているかについての説明は省略する。 IDは次のように作れる。 nam…
「要求仕様問題」と次の課題
いわゆる「要求仕様の問題」が発生する1つの側面として、要求仕様の「曖昧さ」がある。開発の指針であるはずの要求仕様が曖昧なため、後続の工程に悪い影響を与え、指針としての役割を果たしていないというものだ。本稿では、要求仕様の曖昧さを回避する方法について述べる。 厳密な要求仕様が要求される背景 曖昧さを回避する方法を論じる前に、まず要求仕様を厳密にしなければならない背景を説明する。「曖昧ではない厳密な要求仕様書」の記述法といえば、真っ先に取り上げられるのが形式手法だ。しかし、精密な制御が求められるにもかかわらず、形式手法を用いなくてよい開発対象もある。例えば複写機やプリンターなどの機能を1台にまとめた「複合機」もその1つ。複写機は我が国の輸出を支える重要な製品だが、開発において厳密な形式手法で仕様を記述をしているという話を聞いたことがない。複写機は精密な制御を行う製品だが、多少の瑕疵は許されてい
要求仕様 | 株式会社ジェーエフピー
構文化手法 SLPを「構文化手法」と命名しました。 ここで「構文化」とは、特定の規則にのっとり文を作ることを指します。SLPでは、文を主語（や目的語）と述語で作っていただきます。これを文の最小単位としています。単位文と呼んでいます。 非機能要件は別途SLPで書いておけば、他のプロジェクトにても使い回しができます。ついでながら、SLPには「単位機能結合」という機能があり、他のSLP文書との統合も可能です。複数人の作業をまとめることができます。また他のファイルの文要素（メンバー名、状態名）を読む込む機能もありますので、ここでも使い回しが可能です。 稼働環境やタイミングチャートなどは図で書くのが普通です。図は分かり易く効果的です。SLPは図も書けると欲張りません。図形表現の豊かな他のソフトをお使いください。SLPではこれらのファイルとリンクを張ってもらい、これらを統合的に管理できます。 ところで
ニュースリリース：2013年4月16日：日立
印刷される方はこちらをご覧ください（PDF形式、495kバイト） このニュースリリース記載の情報(製品価格、製品仕様、サービスの内容、発売日、お問い合わせ先、URL等)は、発表日現在の情報です。予告なしに変更され、検索日と情報が異なる可能性もありますので、あらかじめご了承ください。なお、最新のお問い合わせ先は、お問い合わせ一覧をご覧下さい。 2013年4月16日 株式会社日立製作所 日立オートモティブシステムズ株式会社 形式手法を用いた自動車制御ソフトウェアの高信頼検査技術を開発 従来比で10倍規模の量産ソフトウェアに適用 株式会社日立製作所(執行役社長:中西 宏明／以下、日立)と日立オートモティブシステムズ株式会社(取締役会長兼CEO:大沼 邦彦／以下、日立オートモティブシステムズ)はこのたび共同で、自動車制御システムの品質を向上させるための、形式手法を用いた高信頼ソフトウェア検査技術を
ディペンダブル・システムのための形式手法の実践ポータル
このサイトは、形式手法の普及促進を目的として、経済産業省「新世代情報セキュリティ研究開発事業」の成果やその後の関連動向等を掲載しています。
オブジェクト指向と形式仕様 | BIPROGY技報 | BIPROGY株式会社
オブジェクト・モデリングへの期待岩田裕道 オブジェクト・モデリングは，企業におけるオブジェクト指向（OO）技術へのシフトのための最も重要なキーである．拡張性，再利用性，保守性にすぐれたソフトウェアを作り出すためのキーはモデルとアーキテクチャである．モデリングとアーキテクチャ設計はそれぞれ異なるスキルを必要とし，従ってその開発者の役割が異なる．オブジェクト・モデルは，OO技術を使って作られる．OO技術の本質は適切なカプセルとインタフェースの識別，および共通性への着目である．一方，新たな技術への挑戦は新たな課題への挑戦でもある．本稿では，これらの課題についても触れたい．また，OMGにおける統一モデリング言語（UML）の制定は，OO技術特にオブジェクト・モデリングの普及に弾みをつけるであろう． ダウンロード【PDF】（98.1 KB）別ウィンドウで開く ビジネス・アプリケーション向けオブジェクト
「誰でも使える形式手法」関連の最新 ニュース・レビュー・解説 記事 まとめ - ITmedia Keywords
誰でも使える形式手法（5）： VDMを用いた仕様記述・検証 ～ 仕様検証編 ～ 要求を仕様としてモデル化し、VDMで仕様を記述してきた本連載もいよいよ大詰め！ 今回は“仕様の検証”について詳しく解説する。（2009/2/20） 誰でも使える形式手法（4）： VDMを用いた仕様記述・検証 ～ 仕様記述編 ～ 今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する！（2009/1/21） 誰でも使える形式手法（3）： VDMを用いた仕様記述・検証 ～ モデリング編 ～ 今回は「LEGO Mindstorms NXT」を題材に、要求の分析からVDMを前提としたモデリング、UMLの記述までの流れを詳しく解説する。（2008/11/19） 誰でも使える形式手法（2）： VDMはソフトウェア開発でこう使う！ “V
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ウィリアムのいたずらの、まちあるき、たべあるき
PowerPoint プレゼンテーション
ArtistDesign NoE - UML&FM’2009
テーマ：車載ソフトウェアプラットフォーム
UP4ALL Inc - uppaal.com
レンタコーチ商品情報